FAR_EL1
ctxt_sys_reg(ctxt, FAR_EL1) = read_sysreg_el1(SYS_FAR);
write_sysreg_el1(ctxt_sys_reg(ctxt, FAR_EL1), SYS_FAR);
far = vcpu_read_sys_reg(vcpu, FAR_EL1);
vcpu_write_sys_reg(vcpu, far, FAR_EL1);
return FAR_EL1;
case FAR_EL1:
MAPPED_EL2_SYSREG(FAR_EL2, FAR_EL1, NULL );
case FAR_EL1: val = read_sysreg_s(SYS_FAR_EL12); break;
case FAR_EL1: write_sysreg_s(val, SYS_FAR_EL12); break;
{ SYS_DESC(SYS_FAR_EL1), access_vm_reg, reset_unknown, FAR_EL1 },
{ AA32(LO), Op1( 0), CRn( 6), CRm( 0), Op2( 0), access_vm_reg, NULL, FAR_EL1 },
{ AA32(HI), Op1( 0), CRn( 6), CRm( 0), Op2( 2), access_vm_reg, NULL, FAR_EL1 },
MAPPED_EL2_SYSREG(FAR_EL2, FAR_EL1);