Searched defs:mr_consumed (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/include/barrelfish_kpi/ | ||
| H A D | init.h | 155 bool mr_consumed;///< Flag for user code to mark region consumed member in struct:mem_region |
Completed in 32 milliseconds