Home
last modified time | relevance | path

Searched refs:KPDphys (Results 1 – 2 of 2) sorted by relevance

/dragonfly/sys/platform/vkernel64/platform/
H A Dpmap.c139 static uint64_t KPDphys; /* phys addr of kernel level 2 */ variable
411 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()
/dragonfly/sys/platform/pc64/x86_64/
H A Dpmap.c251 static uint64_t KPDphys; /* phys addr of kernel level 2 */ variable
941 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()