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

/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dboot.c81 BOOT_BSS static allocated_p_region_t allocated_p_regions; variable
88 for (i = 1; i < allocated_p_regions.cur_pos;) {
89 if (allocated_p_regions.regs[i - 1].end == allocated_p_regions.regs[i].start) {
91 allocated_p_regions.regs[i - 1].end = allocated_p_regions.regs[i].end;
93 for (j = i; j < allocated_p_regions.cur_pos - 1; j++) {
94 allocated_p_regions.regs[j] = allocated_p_regions.regs[j + 1];
96 allocated_p_regions
[all...]

Completed in 34 milliseconds