Home
last modified time | relevance | path

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

/src/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.S383 movq KPML4phys,%rax
H A Dpmap.c455 u_int64_t KPML4phys; /* phys addr of kernel level 4 */ variable
1750 KPML4phys = rcr3() & 0xfffff000; /* pml4 from loader must be < 4G */ in pmap_bootstrap_la57()
1753 pt[0] = KPML4phys | X86_PG_V | X86_PG_RW | X86_PG_A | X86_PG_M; in pmap_bootstrap_la57()
1754 pt[NPML4EPG - 1] = KPML4phys | X86_PG_V | X86_PG_RW | X86_PG_A | in pmap_bootstrap_la57()
1848 KPML4phys = allocpages(firstaddr, 1); in create_pagetables()
1849 p4_p = (pml4_entry_t *)KPML4phys; in create_pagetables()
2041 p5_p[i] = KPML4phys | X86_PG_RW | X86_PG_A | in create_pagetables()
2049 p4_p[PML4PML4I] = KPML4phys; in create_pagetables()
2115 load_cr3(la57 ? KPML5phys : KPML4phys); in pmap_bootstrap()
2143 kernel_pml4 = (pml4_entry_t *)PHYS_TO_DMAP(KPML4phys); in pmap_bootstrap()
[all …]
/src/sys/amd64/include/
H A Dpmap.h273 extern u_int64_t KPML4phys; /* physical address of kernel level 4 */