PTE_V
#define PTE_USER (PTE_V | PTE_U)
#define PTE_KERN (PTE_V | PTE_G)
return (pte & PTE_V) != 0;
return PTE_V | PA_TO_PTE(pa);
return PTE_V | PA_TO_PTE(pa);
return (pde & (PTE_X | PTE_W | PTE_R | PTE_V)) == PTE_V;
(pte & PTE_V) ? 'V' : '.');