ATTR_S2_S2AP_WRITE
((tpte & ATTR_S2_S2AP(ATTR_S2_S2AP_WRITE)) ==
ATTR_S2_S2AP(ATTR_S2_S2AP_WRITE)))
~ATTR_S2_S2AP(ATTR_S2_S2AP_WRITE);
clear = ATTR_S2_S2AP(ATTR_S2_S2AP_WRITE);
mask = ATTR_S2_S2AP(ATTR_S2_S2AP_WRITE);
val = ATTR_S2_S2AP(ATTR_S2_S2AP_WRITE);
val |= ATTR_S2_S2AP(ATTR_S2_S2AP_WRITE);
return ((pte & ATTR_S2_S2AP(ATTR_S2_S2AP_WRITE)) ==
ATTR_S2_S2AP(ATTR_S2_S2AP_WRITE));
new_l3 |= ATTR_S2_S2AP(ATTR_S2_S2AP_WRITE);