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

/seL4-mcs-10.1.1/src/arch/x86/kernel/
H A Dboot.c75 #define NUM_RESERVED_REGIONS (MAX_NUM_FREEMEM_REG + CONFIG_MAX_NUM_IOAPIC + MAX_NUM_DRHU + 2) macro
77 p_region_t regs[NUM_RESERVED_REGIONS];
142 if (allocated_p_regions.cur_pos + 1 == NUM_RESERVED_REGIONS) {
158 if (i + 1 == NUM_RESERVED_REGIONS) {

Completed in 67 milliseconds