Home
last modified time | relevance | path

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

/freebsd-12.1/sys/amd64/amd64/
H A Dmpboot.S255 movq KPML4phys, %rax
H A Dminidump_machdep.c248 pml4 = (uint64_t *)PHYS_TO_DMAP(KPML4phys) + ii; in minidumpsys()
369 pml4 = (uint64_t *)PHYS_TO_DMAP(KPML4phys) + ii; in minidumpsys()
H A Dcpu_switch.S395 movq KPML4phys,%rax
H A Dpmap.c385 u_int64_t KPML4phys; /* phys addr of kernel level 4 */ variable
1471 KPML4phys = allocpages(firstaddr, 1); in create_pagetables()
1566 p4_p = (pml4_entry_t *)KPML4phys; in create_pagetables()
1567 p4_p[PML4PML4I] = KPML4phys; in create_pagetables()
1637 load_cr3(KPML4phys); in pmap_bootstrap()
1650 kernel_pmap->pm_pml4 = (pdp_entry_t *)PHYS_TO_DMAP(KPML4phys); in pmap_bootstrap()
1651 kernel_pmap->pm_cr3 = KPML4phys; in pmap_bootstrap()
3394 pmap->pm_pml4 = (pml4_entry_t *)PHYS_TO_DMAP(KPML4phys); in pmap_pinit0()
3396 pmap->pm_cr3 = KPML4phys; in pmap_pinit0()
/freebsd-12.1/sys/amd64/include/
H A Dpmap.h278 extern u_int64_t KPML4phys; /* physical address of kernel level 4 */
/freebsd-12.1/sys/x86/xen/
H A Dpv.c380 ctxt->ctrlreg[3] = KPML4phys; in start_xen_ap()