kvmppc_h_xirr     888 arch/powerpc/kvm/book3s_xics.c 		res = kvmppc_h_xirr(vcpu);
kvmppc_h_xirr     903 arch/powerpc/kvm/book3s_xics.c 		res = kvmppc_h_xirr(vcpu);