ATTR_S1_PXN
(range->attrs & ATTR_S1_PXN) != 0 ? '-' : 'x',
attrs |= ATTR_S1_PXN;
new_l3 |= ATTR_S1_AP(ATTR_S1_AP_USER) | ATTR_S1_PXN;
new_l2 |= ATTR_S1_AP(ATTR_S1_AP_USER) | ATTR_S1_PXN;
l3e |= ATTR_S1_AP(ATTR_S1_AP_USER) | ATTR_S1_PXN;
l3_val |= ATTR_S1_AP(ATTR_S1_AP_USER) | ATTR_S1_PXN;
bits |= ATTR_S1_PXN;
#define ATTR_S1_XN (ATTR_S1_PXN | ATTR_S1_UXN)
(!is_el0 && (pte & ATTR_S1_PXN) != 0))