Searched refs:KPDphys (Results 1 – 2 of 2) sorted by relevance
139 static uint64_t KPDphys; /* phys addr of kernel level 2 */ variable411 KPDphys = allocpages(firstaddr, NKPDPE); in create_pagetables()416 KPDvirt = (pd_entry_t *)PHYS_TO_DMAP(KPDphys); in create_pagetables()432 KPDPvirt[i + kpdpi] = KPDphys + (i << PAGE_SHIFT); in create_pagetables()
251 static uint64_t KPDphys; /* phys addr of kernel level 2 */ variable941 KPDphys = allocpages(firstaddr, nkpd_phys); /* kernel PD pages */ in create_pagetables()990 ((pd_entry_t *)KPDphys)[i] = KPTphys + (i << PAGE_SHIFT); in create_pagetables()991 ((pd_entry_t *)KPDphys)[i] |= in create_pagetables()1019 KPDphys + (i << PAGE_SHIFT); in create_pagetables()