PTE1_V
#define PTE1_PROMOTE (PTE1_V | PTE1_A | PTE1_NM | PTE1_S | PTE1_NG | \
npte1 = (fpte2 & PTE1_FRAME) | ATTR_TO_L1(fpte2) | PTE1_V;
PTE1_V, flags, m);
rv = (pte1 & (PTE1_A | PTE1_V)) == (PTE1_A | PTE1_V);
#define PTE1_AP_COMMON (PTE1_V | PTE1_S)