Home
last modified time | relevance | path

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

/freebsd/sys/amd64/amd64/
H A Dminidump_machdep.c196 pml4 = (uint64_t *)PHYS_TO_DMAP(KPML4phys) + ii; in cpu_minidumpsys()
328 pml4 = (uint64_t *)PHYS_TO_DMAP(KPML4phys) + ii; in cpu_minidumpsys()
H A Dcpu_switch.S392 movq KPML4phys,%rax
H A Dpmap.c448 u_int64_t KPML4phys; /* phys addr of kernel level 4 */ variable
1729 KPML4phys = allocpages(firstaddr, 1); in create_pagetables()
1868 p4_p = (pml4_entry_t *)KPML4phys; in create_pagetables()
1869 p4_p[PML4PML4I] = KPML4phys; in create_pagetables()
1906 kernel_pml4 = (pml4_entry_t *)PHYS_TO_DMAP(KPML4phys); in create_pagetables()
1969 load_cr3(KPML4phys); in pmap_bootstrap()
1983 kernel_pmap->pm_cr3 = KPML4phys; in pmap_bootstrap()
2228 v_pml5[pmap_pml5e_index(UPT_MAX_ADDRESS)] = KPML4phys | X86_PG_V | in pmap_bootstrap_la57()
4377 pm_pml5[pmap_pml5e_index(UPT_MAX_ADDRESS)] = KPML4phys | X86_PG_V | in pmap_pinit_pml5()
/freebsd/sys/amd64/include/
H A Dpmap.h327 extern u_int64_t KPML4phys; /* physical address of kernel level 4 */