FAR_EL2
vcpu_write_sys_reg(vcpu, addr, FAR_EL2);
write_sysreg_el1(__vcpu_sys_reg(vcpu, FAR_EL2), SYS_FAR);
__vcpu_assign_sys_reg(vcpu, FAR_EL2, read_sysreg_el1(SYS_FAR));
vcpu_write_sys_reg(vcpu, addr, FAR_EL2);
return FAR_EL2;
vcpu_write_sys_reg(vcpu, vcpu->arch.fault.far_el2, FAR_EL2);
MAPPED_EL2_SYSREG(FAR_EL2, FAR_EL1, NULL );
EL2_REG_REDIR(FAR_EL2, reset_val, 0),
SYS_REG(FAR_EL2),
MAPPED_EL2_SYSREG(FAR_EL2, FAR_EL1);