aboutsummaryrefslogtreecommitdiff
path: root/src/common/include/region_alloc.h
Commit message (Collapse)AuthorAgeFilesLines
* Factorize region allocator between kernel and user processes (same code was ↵Alex Auvolat2015-03-141-0/+32
there twice)