ESR_ELx_ISS
u64 iss = ESR_ELx_ISS(esr);
iss = ESR_ELx_ISS(read_sysreg_s(SYS_AFSR1_EL2));
GUEST_ASSERT_EQ(ESR_ELx_ISS(esr), EXPECTED_SERROR_ISS);