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

/seL4-refos-master/kernel/src/kernel/
H A Dboot.c688 static inline pptr_t ceiling_kernel_window(pptr_t p) function
730 avail_reg[i].end = ceiling_kernel_window(avail_reg[i].end);
731 avail_reg[i].start = ceiling_kernel_window(avail_reg[i].start);

Completed in 20 milliseconds