PTE2_V
pte2 = pa | ATTR_TO_L2(pte1) | PTE2_V;
if (*head & PTE2_V)
if (va & PTE2_V)
#define PTE2_PROMOTE (PTE2_V | PTE2_A | PTE2_NM | PTE2_S | PTE2_NG | \
if ((fpte2 & ((PTE2_FRAME & PTE1_OFFSET) | PTE2_A | PTE2_V)) !=
(PTE2_A | PTE2_V)) {
fpte2_fav = (fpte2 & (PTE2_FRAME | PTE2_A | PTE2_V));
if ((pte2 & (PTE2_FRAME | PTE2_A | PTE2_V)) != fpte2_fav) {
npte2 = pte1_pa(opte1) | ATTR_TO_L2(opte1) | PTE2_V;
if (opte2 & PTE2_V) {
rv = (pte2 & (PTE2_A | PTE2_V)) == (PTE2_A | PTE2_V);
if ((opte2 & PTE2_V)) {
return (pte2 & PTE2_V);
#define PTE2_AP_COMMON (PTE2_V | PTE2_S)