142 		       u32 server, u32 priority, u32 saved_priority)  in write_xive()  argument
150 	state->server = server;  in write_xive()
166 int kvmppc_xics_set_xive(struct kvm *kvm, u32 irq, u32 server, u32 priority)  in kvmppc_xics_set_xive()  argument
182 	icp = kvmppc_xics_find_server(kvm, server);  in kvmppc_xics_set_xive()
187 		 irq, server, priority,  in kvmppc_xics_set_xive()
190 	if (write_xive(xics, ics, state, server, priority, priority))  in kvmppc_xics_set_xive()
196 int kvmppc_xics_get_xive(struct kvm *kvm, u32 irq, u32 *server, u32 *priority)  in kvmppc_xics_get_xive()  argument
214 	*server = state->server;  in kvmppc_xics_get_xive()
238 	icp = kvmppc_xics_find_server(kvm, state->server);  in kvmppc_xics_int_on()
242 	if (write_xive(xics, ics, state, state->server, state->saved_priority,  in kvmppc_xics_int_on()
264 	write_xive(xics, ics, state, state->server, MASKED, state->priority);  in kvmppc_xics_int_off()
415 	if (!icp || state->server != icp->server_num) {  in icp_deliver_irq()
416 		icp = kvmppc_xics_find_server(xics->kvm, state->server);  in icp_deliver_irq()
419 				new_irq, state->server);  in icp_deliver_irq()
619 static noinline int kvmppc_h_ipi(struct kvm_vcpu *vcpu, unsigned long server,  in kvmppc_h_ipi()  argument
630 		 vcpu->vcpu_id, server, mfrr);  in kvmppc_h_ipi()
633 	local = icp->server_num == server;  in kvmppc_h_ipi()
635 		icp = kvmppc_xics_find_server(vcpu->kvm, server);  in kvmppc_h_ipi()
704 static int kvmppc_h_ipoll(struct kvm_vcpu *vcpu, unsigned long server)  in kvmppc_h_ipoll()  argument
710 	if (icp->server_num != server) {  in kvmppc_h_ipoll()
711 		icp = kvmppc_xics_find_server(vcpu->kvm, server);  in kvmppc_h_ipoll()
1004 				   irq->number, irq->server, irq->priority,  in xics_debug_show()
1204 		val = irqp->server;  in xics_get_source()
1243 	u32 server;  in xics_set_source()  local
1259 	server = val & KVM_XICS_DESTINATION_MASK;  in xics_set_source()
1262 	    kvmppc_xics_find_server(xics->kvm, server) == NULL)  in xics_set_source()
1267 	irqp->server = server;  in xics_set_source()