FAR_TO_FIPA_OFFSET
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));