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

/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dboot.c61 region_t new_rem_small; local
84 new_rem_small.start = ndks_boot.freemem[i].start;
85 new_rem_small.end = new_reg.start;
91 new_rem_small.start = new_reg.end;
92 new_rem_small.end = ndks_boot.freemem[i].end;
95 (reg_size(new_rem_small) < reg_size(rem_small)) ||
96 (reg_size(new_rem_small) == reg_size(rem_small) && reg_size(new_rem_large) < reg_size(rem_large)) ) {
98 rem_small = new_rem_small;

Completed in 28 milliseconds