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

/seL4-master/src/arch/x86/32/kernel/
A D	vspace.c	341 unsigned int virt_pg_start = PPTR_BASE - (large_pages << LARGE_PAGE_BITS); in map_temp_boot_page() local 359 invalidateLocalTranslationSingle(virt_pg_start + pg_offset); in map_temp_boot_page() 364 replacement_vaddr = (void *)(virt_pg_start + offset_in_page); in map_temp_boot_page()

Completed in 3 milliseconds

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