Searched refs:kpml4i (Results 1 – 1 of 1) sorted by relevance
394 int kpml4i = pmap_pml4e_index(ptov_offset); in create_pagetables() local441 KPML4virt[kpml4i] = KPDPphys; in create_pagetables()442 KPML4virt[kpml4i] |= VPTE_RW | VPTE_V | VPTE_U; in create_pagetables()