xive_rm_h_eoi     651 arch/powerpc/kvm/book3s_hv_builtin.c 			return xive_rm_h_eoi(vcpu, xirr);
xive_rm_h_eoi     276 arch/powerpc/kvm/book3s_xive.h extern int xive_rm_h_eoi(struct kvm_vcpu *vcpu, unsigned long xirr);