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

/seL4-mcs-10.1.1/src/arch/x86/kernel/
H A Dboot.c261 vptr_t extra_bi_frame_vptr; local
287 extra_bi_frame_vptr = bi_frame_vptr + BIT(PAGE_BITS);
307 it_v_reg.end = ROUND_UP(extra_bi_frame_vptr + extra_bi_size, PAGE_BITS);
422 pptr_to_paddr((void*)(extra_bi_region.start - extra_bi_frame_vptr))

Completed in 31 milliseconds