Searched refs:KPML4phys (Results 1 – 6 of 6) sorted by relevance
268 movq KPML4phys, %rax
244 pml4 = (uint64_t *)PHYS_TO_DMAP(KPML4phys) + ii; in minidumpsys()371 pml4 = (uint64_t *)PHYS_TO_DMAP(KPML4phys) + ii; in minidumpsys()
394 movq KPML4phys,%rax
423 u_int64_t KPML4phys; /* phys addr of kernel level 4 */ variable1655 KPML4phys = allocpages(firstaddr, 1); in create_pagetables()1750 p4_p = (pml4_entry_t *)KPML4phys; in create_pagetables()1751 p4_p[PML4PML4I] = KPML4phys; in create_pagetables()1766 kernel_pml4 = (pml4_entry_t *)PHYS_TO_DMAP(KPML4phys); in create_pagetables()1826 load_cr3(KPML4phys); in pmap_bootstrap()1840 kernel_pmap->pm_cr3 = KPML4phys; in pmap_bootstrap()2086 v_pml5[pmap_pml5e_index(UPT_MAX_ADDRESS)] = KPML4phys | X86_PG_V | in pmap_bootstrap_la57()4141 pm_pml5[pmap_pml5e_index(UPT_MAX_ADDRESS)] = KPML4phys | X86_PG_V | in pmap_pinit_pml5()
307 extern u_int64_t KPML4phys; /* physical address of kernel level 4 */
380 ctxt->ctrlreg[3] = KPML4phys; in start_xen_ap()