Searched refs:allocated_p_region_t (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/ | ||
| H A D | boot.c | 79 } allocated_p_region_t; typedef in typeref:struct:allocated_p_region 81 BOOT_BSS static allocated_p_region_t allocated_p_regions; |
Completed in 31 milliseconds