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