Searched refs:KPML4phys (Results 1 – 5 of 5) sorted by relevance
198 pml4 = (uint64_t *)PHYS_TO_DMAP(KPML4phys) + ii; in cpu_minidumpsys()330 pml4 = (uint64_t *)PHYS_TO_DMAP(KPML4phys) + ii; in cpu_minidumpsys()
394 movq KPML4phys,%rax
426 u_int64_t KPML4phys; /* phys addr of kernel level 4 */ variable1683 KPML4phys = allocpages(firstaddr, 1); in create_pagetables()1814 p4_p = (pml4_entry_t *)KPML4phys; in create_pagetables()1815 p4_p[PML4PML4I] = KPML4phys; in create_pagetables()1838 kernel_pml4 = (pml4_entry_t *)PHYS_TO_DMAP(KPML4phys); in create_pagetables()1899 load_cr3(KPML4phys); in pmap_bootstrap()1913 kernel_pmap->pm_cr3 = KPML4phys; in pmap_bootstrap()2146 v_pml5[pmap_pml5e_index(UPT_MAX_ADDRESS)] = KPML4phys | X86_PG_V | in pmap_bootstrap_la57()4212 pm_pml5[pmap_pml5e_index(UPT_MAX_ADDRESS)] = KPML4phys | X86_PG_V | in pmap_pinit_pml5()
379 ctxt->ctrlreg[3] = KPML4phys; in start_xen_ap()
324 extern u_int64_t KPML4phys; /* physical address of kernel level 4 */