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 = PHYS_TO_DMAP(KPML4phys); in cpu_minidumpsys()
328 pml4 = PHYS_TO_DMAP(KPML4phys); in cpu_minidumpsys()
H A Dcpu_switch.S419 movq KPML4phys,%rax
H A Dpmap.c467 u_int64_t KPML4phys; /* phys addr of kernel level 4 */ variable
1763 KPML4phys = rcr3() & 0xfffff000; /* pml4 from loader must be < 4G */ in pmap_bootstrap_la57()
1766 pt[0] = KPML4phys | X86_PG_V | X86_PG_RW | X86_PG_A | X86_PG_M; in pmap_bootstrap_la57()
1767 pt[NPML4EPG - 1] = KPML4phys | X86_PG_V | X86_PG_RW | X86_PG_A | in pmap_bootstrap_la57()
1861 KPML4phys = allocpages(firstaddr, 1); in create_pagetables()
1862 p4_p = (pml4_entry_t *)KPML4phys; in create_pagetables()
2054 p5_p[i] = KPML4phys | X86_PG_RW | X86_PG_A | in create_pagetables()
2062 p4_p[PML4PML4I] = KPML4phys; in create_pagetables()
2128 load_cr3(la57 ? KPML5phys : KPML4phys); in pmap_bootstrap()
2156 kernel_pml4 = PHYS_TO_DMAP(KPML4phys); in pmap_bootstrap()
[all …]
/freebsd/sys/amd64/include/
H A Dpmap.h273 extern u_int64_t KPML4phys; /* physical address of kernel level 4 */