kvmppc_xics_find_server
icp = kvmppc_xics_find_server(xics->kvm, state->server);
icp = kvmppc_xics_find_server(vcpu->kvm, server);
if (kvmppc_xics_find_server(vcpu->kvm, server_num))
kvmppc_xics_find_server(xics->kvm, server) == NULL)
icp = kvmppc_xics_find_server(kvm, server);
icp = kvmppc_xics_find_server(kvm, state->server);
icp = kvmppc_xics_find_server(xics->kvm, state->server);
icp = kvmppc_xics_find_server(vcpu->kvm, server);
icp = kvmppc_xics_find_server(vcpu->kvm, server);