140 		       u32 server, u32 priority, u32 saved_priority)  in write_xive()  argument
148 	state->server = server;  in write_xive()
163 int kvmppc_xics_set_xive(struct kvm *kvm, u32 irq, u32 server, u32 priority)  in kvmppc_xics_set_xive()  argument
179 	icp = kvmppc_xics_find_server(kvm, server);  in kvmppc_xics_set_xive()
184 		 irq, server, priority,  in kvmppc_xics_set_xive()
187 	if (write_xive(xics, ics, state, server, priority, priority))  in kvmppc_xics_set_xive()
193 int kvmppc_xics_get_xive(struct kvm *kvm, u32 irq, u32 *server, u32 *priority)  in kvmppc_xics_get_xive()  argument
211 	*server = state->server;  in kvmppc_xics_get_xive()
235 	icp = kvmppc_xics_find_server(kvm, state->server);  in kvmppc_xics_int_on()
239 	if (write_xive(xics, ics, state, state->server, state->saved_priority,  in kvmppc_xics_int_on()
261 	write_xive(xics, ics, state, state->server, MASKED, state->priority);  in kvmppc_xics_int_off()
412 	if (!icp || state->server != icp->server_num) {  in icp_deliver_irq()
413 		icp = kvmppc_xics_find_server(xics->kvm, state->server);  in icp_deliver_irq()
416 				new_irq, state->server);  in icp_deliver_irq()
604 static noinline int kvmppc_h_ipi(struct kvm_vcpu *vcpu, unsigned long server,  in kvmppc_h_ipi()  argument
615 		 vcpu->vcpu_id, server, mfrr);  in kvmppc_h_ipi()
618 	local = icp->server_num == server;  in kvmppc_h_ipi()
620 		icp = kvmppc_xics_find_server(vcpu->kvm, server);  in kvmppc_h_ipi()
689 static int kvmppc_h_ipoll(struct kvm_vcpu *vcpu, unsigned long server)  in kvmppc_h_ipoll()  argument
695 	if (icp->server_num != server) {  in kvmppc_h_ipoll()
696 		icp = kvmppc_xics_find_server(vcpu->kvm, server);  in kvmppc_h_ipoll()
959 				   irq->number, irq->server, irq->priority,  in xics_debug_show()
1170 		val = irqp->server;  in xics_get_source()
1200 	u32 server;  in xics_set_source()  local
1216 	server = val & KVM_XICS_DESTINATION_MASK;  in xics_set_source()
1219 	    kvmppc_xics_find_server(xics->kvm, server) == NULL)  in xics_set_source()
1224 	irqp->server = server;  in xics_set_source()