Searched refs:KPTphys (Results 1 – 3 of 3) sorted by relevance
65 extern pt_entry_t *KPTphys;
163 uint64_t KPTphys; variable412 KPTphys = allocpages(firstaddr, nkpt); in create_pagetables()417 KPTvirt = (pt_entry_t *)PHYS_TO_DMAP(KPTphys); in create_pagetables()426 KPDvirt[i + kpdi] = KPTphys + (i << PAGE_SHIFT); in create_pagetables()
250 static uint64_t KPTphys; variable938 KPTphys = allocpages(firstaddr, nkpt_phys); /* KVA start */ in create_pagetables()990 ((pd_entry_t *)KPDphys)[i] = KPTphys + (i << PAGE_SHIFT); in create_pagetables()