145 		       u32 server, u32 priority, u32 saved_priority)  in write_xive()  argument
153 	state->server = server;  in write_xive()
169 int kvmppc_xics_set_xive(struct kvm *kvm, u32 irq, u32 server, u32 priority)  in kvmppc_xics_set_xive()  argument
185 	icp = kvmppc_xics_find_server(kvm, server);  in kvmppc_xics_set_xive()
190 		 irq, server, priority,  in kvmppc_xics_set_xive()
193 	if (write_xive(xics, ics, state, server, priority, priority))  in kvmppc_xics_set_xive()
199 int kvmppc_xics_get_xive(struct kvm *kvm, u32 irq, u32 *server, u32 *priority)  in kvmppc_xics_get_xive()  argument
217 	*server = state->server;  in kvmppc_xics_get_xive()
241 	icp = kvmppc_xics_find_server(kvm, state->server);  in kvmppc_xics_int_on()
245 	if (write_xive(xics, ics, state, state->server, state->saved_priority,  in kvmppc_xics_int_on()
267 	write_xive(xics, ics, state, state->server, MASKED, state->priority);  in kvmppc_xics_int_off()
418 	if (!icp || state->server != icp->server_num) {  in icp_deliver_irq()
419 		icp = kvmppc_xics_find_server(xics->kvm, state->server);  in icp_deliver_irq()
422 				new_irq, state->server);  in icp_deliver_irq()
623 static noinline int kvmppc_h_ipi(struct kvm_vcpu *vcpu, unsigned long server,  in kvmppc_h_ipi()  argument
634 		 vcpu->vcpu_id, server, mfrr);  in kvmppc_h_ipi()
637 	local = icp->server_num == server;  in kvmppc_h_ipi()
639 		icp = kvmppc_xics_find_server(vcpu->kvm, server);  in kvmppc_h_ipi()
708 static int kvmppc_h_ipoll(struct kvm_vcpu *vcpu, unsigned long server)  in kvmppc_h_ipoll()  argument
714 	if (icp->server_num != server) {  in kvmppc_h_ipoll()
715 		icp = kvmppc_xics_find_server(vcpu->kvm, server);  in kvmppc_h_ipoll()
1009 				   irq->number, irq->server, irq->priority,  in xics_debug_show()
1220 		val = irqp->server;  in xics_get_source()
1259 	u32 server;  in xics_set_source()  local
1275 	server = val & KVM_XICS_DESTINATION_MASK;  in xics_set_source()
1278 	    kvmppc_xics_find_server(xics->kvm, server) == NULL)  in xics_set_source()
1283 	irqp->server = server;  in xics_set_source()