SYS_PAR_EL1_SH
par |= FIELD_PREP(SYS_PAR_EL1_SH,
combine_sh(FIELD_GET(SYS_PAR_EL1_SH, s1_par),
par |= FIELD_PREP(SYS_PAR_EL1_SH, ATTR_NSH);
par |= FIELD_PREP(SYS_PAR_EL1_SH, ATTR_OSH);
par |= FIELD_PREP(SYS_PAR_EL1_SH, sh);
GUEST_ASSERT_EQ(FIELD_GET(SYS_PAR_EL1_SH, par), PTE_SHARED >> 8); \