Searched refs:KPDphys (Results 1 – 1 of 1) sorted by relevance
424 static u_int64_t KPDphys; /* phys addr of kernel level 2 */ variable1704 KPDphys = allocpages(firstaddr, nkpdpe); in create_pagetables()1717 pd_p = (pd_entry_t *)KPDphys; in create_pagetables()1746 pdp_p[i + KPDPI] = (KPDphys + ptoa(i)) | X86_PG_RW | X86_PG_V; in create_pagetables()