Searched refs:mr_consumed (Results 1 - 4 of 4) sorted by relevance

/barrelfish-2018-10-04/usr/init/
H A Dmem_alloc.c82 assert(!bi->regions[i].mr_consumed);
87 bi->regions[i].mr_consumed = true;
/barrelfish-2018-10-04/include/barrelfish_kpi/
H A Dinit.h142 bool mr_consumed;///< Flag for user code to mark region consumed member in struct:mem_region
/barrelfish-2018-10-04/usr/mem_serv/
H A Dmem_serv.c347 if (bi->regions[i].mr_consumed) {
431 if (bi->regions[i].mr_consumed) {
/barrelfish-2018-10-04/kernel/
H A Dstartup.c108 regions[*regions_index].mr_consumed = false;

Completed in 46 milliseconds