VPTE_V
0 | VPTE_RW | VPTE_V);
#define pmap_pde_v(pte) ((*(pd_entry_t *)pte & VPTE_V) != 0)
#define pmap_pte_v(pte) ((*(pt_entry_t *)pte & VPTE_V) != 0)
VPTE_RW | VPTE_V | VPTE_U | VPTE_A | VPTE_M | VPTE_WIRED;
while ((*pmap_pde(kernel_pmap, kernel_vm_end) & VPTE_V) != 0) {
VPTE_V | VPTE_RW | VPTE_U |
if ((*pde & VPTE_V) != 0) {
VPTE_V | VPTE_RW | VPTE_U |
VPTE_RW | VPTE_V | VPTE_U;
if ((*pte & VPTE_V) == 0)
if ((*pml4e & VPTE_V) == 0) {
if ((*pdpe & VPTE_V) == 0) {
if ((*pml4e & VPTE_V) == 0) {
if ((*pdpe & VPTE_V) == 0) {
newpte = (pt_entry_t)(pa | pte_prot(pmap, prot) | VPTE_V | VPTE_U);
if ((*pml4e & VPTE_V) == 0)
if ((*pte & VPTE_V) == 0) {
if (pdpe == NULL || (*pdpe & VPTE_V) == 0)
if (pde == NULL || (*pde & VPTE_V) == 0)
if ((*pml4e & VPTE_V) == 0) {
if ((*pdpe & VPTE_V) == 0) {
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;
if (*pte & VPTE_V)
npte = (vpte_t)pa | VPTE_RW | VPTE_V | VPTE_U;
if (*pte & VPTE_V)
npte = (vpte_t)pa | VPTE_RW | VPTE_V | VPTE_U;
VPTE_RW | VPTE_V | VPTE_U);
if ((pte & VPTE_V) == 0)
if ((pte & VPTE_V) == 0) {
if ((vpte & VPTE_V) == 0) {
if ((vpte & VPTE_V) == 0)