FAR_TO_FIPA_OFFSET
ipa |= FAR_TO_FIPA_OFFSET(kvm_vcpu_get_hfar(&hyp_vcpu->vcpu));
fault_ipa |= FAR_TO_FIPA_OFFSET(kvm_vcpu_get_hfar(vcpu));
addr |= FAR_TO_FIPA_OFFSET(kvm_vcpu_get_hfar(vcpu));
fault_ipa |= FAR_TO_FIPA_OFFSET(kvm_vcpu_get_hfar(vcpu));
ipa |= FAR_TO_FIPA_OFFSET(kvm_vcpu_get_hfar(vcpu));