Home
last modified time | relevance | path

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

/dragonfly/sys/platform/vkernel64/platform/
H A Dpmap.c396 int kpdi = pmap_pde_index(ptov_offset); in create_pagetables() local
426 KPDvirt[i + kpdi] = KPTphys + (i << PAGE_SHIFT); in create_pagetables()
427 KPDvirt[i + kpdi] |= VPTE_RW | VPTE_V | VPTE_U; in create_pagetables()