ATTR_S2_XN_ALL
ATTR_S2_XN(ATTR_S2_XN_ALL));
val |= ATTR_S2_XN(ATTR_S2_XN_ALL);
new_l3 |= ATTR_S2_XN(ATTR_S2_XN_ALL);