ATTR_S1_IDX_MASK
index = range->attrs & ATTR_S1_IDX_MASK;
return (block & (ATTR_S1_AP_MASK | ATTR_S1_XN | ATTR_S1_IDX_MASK |
mask = ATTR_S1_IDX_MASK;
old_mode_mask = ATTR_S1_IDX_MASK;