ESR_EL1
ctxt_sys_reg(ctxt, ESR_EL1) = read_sysreg_el1(SYS_ESR);
write_sysreg_el1(ctxt_sys_reg(ctxt, ESR_EL1), SYS_ESR);
vcpu_write_sys_reg(vcpu, fsr, ESR_EL1);
return ESR_EL1;
case ESR_EL1:
MAPPED_EL2_SYSREG(ESR_EL2, ESR_EL1, NULL );
case ESR_EL1: val = read_sysreg_s(SYS_ESR_EL12); break;
case ESR_EL1: write_sysreg_s(val, SYS_ESR_EL12); break;
{ SYS_DESC(SYS_ESR_EL1), access_vm_reg, reset_unknown, ESR_EL1 },
{ Op1( 0), CRn( 5), CRm( 0), Op2( 0), access_vm_reg, NULL, ESR_EL1 },
MAPPED_EL2_SYSREG(ESR_EL2, ESR_EL1);