kvmppc_xive_find_server  320 arch/powerpc/kvm/book3s_xive.c 	vcpu = kvmppc_xive_find_server(kvm, server);
kvmppc_xive_find_server  359 arch/powerpc/kvm/book3s_xive.c 	vcpu = kvmppc_xive_find_server(kvm, *server);
kvmppc_xive_find_server  580 arch/powerpc/kvm/book3s_xive_native.c 	vcpu = kvmppc_xive_find_server(kvm, server);
kvmppc_xive_find_server  725 arch/powerpc/kvm/book3s_xive_native.c 	vcpu = kvmppc_xive_find_server(kvm, server);
kvmppc_xive_find_server  332 arch/powerpc/kvm/book3s_xive_template.c 		vcpu = kvmppc_xive_find_server(vcpu->kvm, server);
kvmppc_xive_find_server  613 arch/powerpc/kvm/book3s_xive_template.c 	vcpu = kvmppc_xive_find_server(vcpu->kvm, server);