ATTR_OSH
return ATTR_OSH;
if (s1_sh == ATTR_OSH || s2_sh == ATTR_OSH)
par |= FIELD_PREP(SYS_PAR_EL1_SH, ATTR_OSH);