Searched refs:virt_pd_start (Results 1 – 1 of 1) sorted by relevance

/seL4-master/src/arch/x86/32/kernel/
A D	vspace.c	340 unsigned int virt_pd_start = (PPTR_BASE >> LARGE_PAGE_BITS) - large_pages; in map_temp_boot_page() local 346 *(get_boot_pd() + virt_pd_start + i) = pde_pde_large_new( in map_temp_boot_page()

Completed in 3 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023