Searched refs:KPDPphys (Results 1 – 2 of 2) sorted by relevance
277 extern u_int64_t KPDPphys; /* physical address of kernel level 3 */
384 u_int64_t KPDPphys; /* phys addr of kernel level 3 */ variable1472 KPDPphys = allocpages(firstaddr, NKPML4E); in create_pagetables()1518 pdp_p = (pdp_entry_t *)(KPDPphys + ptoa(KPML4I - KPML4BASE)); in create_pagetables()1578 p4_p[KPML4BASE + i] = KPDPphys + ptoa(i); in create_pagetables()3435 pm_pml4[KPML4BASE + i] = (KPDPphys + ptoa(i)) | X86_PG_RW | in pmap_pinit_pml4()