SYS_PAR_EL1_ATTR
s1_parattr = FIELD_GET(SYS_PAR_EL1_ATTR, s1_par);
par = FIELD_PREP(SYS_PAR_EL1_ATTR, final_attr);
par |= FIELD_PREP(SYS_PAR_EL1_ATTR,
par |= FIELD_PREP(SYS_PAR_EL1_ATTR, 0); /* nGnRnE */
par |= FIELD_PREP(SYS_PAR_EL1_ATTR, mair);
GUEST_ASSERT_EQ(FIELD_GET(SYS_PAR_EL1_ATTR, par), MAIR_ATTR_NORMAL); \