Searched defs:mem_region (Results 1 - 3 of 3) sorted by relevance
/barrelfish-2018-10-04/include/barrelfish_kpi/ | ||
H A D | init.h | 138 struct mem_region { struct |
/barrelfish-2018-10-04/usr/drivers/cpuboot/arch/armv7/ | ||
H A D | boot_arch.c | 73 struct mem_region *mem_region; member in struct:module_blob |
/barrelfish-2018-10-04/usr/drivers/cpuboot/arch/armv8/ | ||
H A D | boot_arch.c | 256 struct mem_region *mem_region; member in struct:module_blob |
Completed in 42 milliseconds