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

/barrelfish-2018-10-04/kernel/arch/x86_32/
H A Dinit.c198 static union x86_32_ptable_entry boot_pdir[X86_32_PTABLE_SIZE] variable in typeref:union:x86_32_ptable_entry
206 static union x86_32_ptable_entry boot_pdir[X86_32_PTABLE_SIZE] variable in typeref:union:x86_32_ptable_entry
212 static union x86_32_pdir_entry boot_pdir[X86_32_PTABLE_SIZE] variable in typeref:union:x86_32_pdir_entry
253 (lpaddr_t)boot_pdir);
254 paging_x86_32_map_large(&boot_pdir[X86_32_PDIR_BASE(base)], base,
275 paging_x86_32_map_large(&boot_pdir[X86_32_PDIR_BASE(base)], base,
281 paging_x86_32_map_large(&boot_pdir[X86_32_PDIR_BASE(vbase)], base,
287 paging_x86_32_map_table(&boot_pdir[X86_32_PDIR_BASE(base)],
296 paging_x86_32_map_table(&boot_pdir[X86_32_PDIR_BASE(vbase)],
302 paging_x86_32_context_switch((lpaddr_t)boot_pdir);
[all...]
/barrelfish-2018-10-04/kernel/arch/k1om/
H A Dinit.c209 static union x86_64_ptable_entry boot_pdir[PTABLE_SIZE] variable in typeref:union:x86_64_ptable_entry
271 paging_x86_64_map_table(&boot_pdpt[X86_64_PDPT_BASE(base)], (lpaddr_t)boot_pdir);
272 paging_x86_64_map_large(&boot_pdir[X86_64_PDIR_BASE(base)], base, PTABLE_PRESENT
/barrelfish-2018-10-04/kernel/arch/x86_64/
H A Dinit.c201 static union x86_64_ptable_entry boot_pdir[PTABLE_SIZE] variable in typeref:union:x86_64_ptable_entry
256 paging_x86_64_map_table(&boot_pdpt[X86_64_PDPT_BASE(base)], (lpaddr_t)boot_pdir);
257 paging_x86_64_map_large(&boot_pdir[X86_64_PDIR_BASE(base)], base, PTABLE_PRESENT

Completed in 38 milliseconds