Home
last modified time | relevance | path

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

/dragonfly/sys/platform/vkernel64/platform/
H A Dpmap.c390 pml4_entry_t *KPML4virt; in create_pagetables() local
414 KPML4virt = (pml4_entry_t *)PHYS_TO_DMAP(KPML4phys); in create_pagetables()
419 bzero(KPML4virt, 1 * PAGE_SIZE); in create_pagetables()
437 KPML4virt[PML4PML4I] = KPML4phys; in create_pagetables()
438 KPML4virt[PML4PML4I] |= VPTE_RW | VPTE_V | VPTE_U; in create_pagetables()
441 KPML4virt[kpml4i] = KPDPphys; in create_pagetables()
442 KPML4virt[kpml4i] |= VPTE_RW | VPTE_V | VPTE_U; in create_pagetables()