AFSR1_EL1
ctxt_sys_reg(ctxt, AFSR1_EL1) = read_sysreg_el1(SYS_AFSR1);
write_sysreg_el1(ctxt_sys_reg(ctxt, AFSR1_EL1), SYS_AFSR1);
case AFSR1_EL1:
MAPPED_EL2_SYSREG(AFSR1_EL2, AFSR1_EL1, NULL );
case AFSR1_EL1: val = read_sysreg_s(SYS_AFSR1_EL12); break;
case AFSR1_EL1: write_sysreg_s(val, SYS_AFSR1_EL12); break;
{ SYS_DESC(SYS_AFSR1_EL1), access_vm_reg, reset_unknown, AFSR1_EL1 },
{ Op1( 0), CRn( 5), CRm( 1), Op2( 1), access_vm_reg, NULL, AFSR1_EL1 },
MAPPED_EL2_SYSREG(AFSR1_EL2, AFSR1_EL1);