SYS_IFSR32_EL2
case IFSR32_EL2: val = read_sysreg_s(SYS_IFSR32_EL2); break;
case IFSR32_EL2: write_sysreg_s(val, SYS_IFSR32_EL2); break;
{ SYS_DESC(SYS_IFSR32_EL2), undef_access, reset_unknown, IFSR32_EL2 },