RPTE_EAA_R
htobe64((oldpte | RPTE_EAA_R) & ~(PG_M | PG_RW))))
if (!atomic_cmpset_long(firstpte, htobe64(newpde), htobe64((newpde | RPTE_EAA_R) & ~RPTE_EAA_W)))
if (!atomic_cmpset_long(pte, htobe64(oldpte), htobe64((oldpte | RPTE_EAA_R) & ~RPTE_EAA_W)))
newpte |= RPTE_EAA_R;
newpde |= RPTE_EAA_R;
pa |= RPTE_EAA_R;
newpde |= RPTE_EAA_R;
pbits |= RPTE_EAA_R;
attr_bits = RPTE_EAA_R | RPTE_EAA_W | RPTE_EAA_P | PG_M | PG_A;
htobe64((oldpte | RPTE_EAA_R) & ~(PG_RW | PG_M))))
pteval = pa | RPTE_EAA_R | RPTE_EAA_W | RPTE_EAA_P | PG_M | PG_A;
newl3 = (pml3_entry_t)(pa | RPTE_EAA_P | RPTE_EAA_R | RPTE_EAA_W);
MPASS((pte) & (RPTE_EAA_R | RPTE_EAA_W | RPTE_EAA_X)); \
*pte = htobe64(pa | RPTE_VALID | RPTE_LEAF | RPTE_EAA_R | \
if ((newpte & (RPTE_EAA_R|RPTE_EAA_X)) == 0)