VPTE_U
VPTE_RW | VPTE_V | VPTE_U | VPTE_A | VPTE_M | VPTE_WIRED;
VPTE_V | VPTE_RW | VPTE_U |
VPTE_V | VPTE_RW | VPTE_U |
VPTE_RW | VPTE_V | VPTE_U;
newpte = (pt_entry_t)(pa | pte_prot(pmap, prot) | VPTE_V | VPTE_U);
newpte |= VPTE_U;
KPDvirt[i + kpdi] |= VPTE_RW | VPTE_V | VPTE_U;
KPDPvirt[i + kpdpi] |= VPTE_RW | VPTE_V | VPTE_U;
KPML4virt[PML4PML4I] |= VPTE_RW | VPTE_V | VPTE_U;
KPML4virt[kpml4i] |= VPTE_RW | VPTE_V | VPTE_U;
npte = pa | VPTE_RW | VPTE_V | VPTE_U;
npte = (vpte_t)pa | VPTE_RW | VPTE_V | VPTE_U;
npte = (vpte_t)pa | VPTE_RW | VPTE_V | VPTE_U;
VPTE_RW | VPTE_V | VPTE_U);