PTE_V
#define PTE_KERN (PTE_V | PTE_R | PTE_W | PTE_A | PTE_D)
return (((pa & PTE_RPGN) >> PAGE_SHIFT) << PTE_PPN0_S) | PTE_V;
pte = VP_Lx(pted->pted_pte) | attr | access_bits | PTE_V;