1189 					       evtchn_port_t remote_port,  in bind_interdomain_evtchn_to_irq_chip()  argument
1196 	bind_interdomain.remote_port = remote_port;  in bind_interdomain_evtchn_to_irq_chip()
1206 				   evtchn_port_t remote_port)  in bind_interdomain_evtchn_to_irq()  argument
1208 	return bind_interdomain_evtchn_to_irq_chip(remote_domain, remote_port,  in bind_interdomain_evtchn_to_irq()
1214 					   evtchn_port_t remote_port)  in bind_interdomain_evtchn_to_irq_lateeoi()  argument
1216 	return bind_interdomain_evtchn_to_irq_chip(remote_domain, remote_port,  in bind_interdomain_evtchn_to_irq_lateeoi()
1359 		unsigned int remote_domain, evtchn_port_t remote_port,  in bind_interdomain_evtchn_to_irqhandler_chip()  argument
1365 	irq = bind_interdomain_evtchn_to_irq_chip(remote_domain, remote_port,  in bind_interdomain_evtchn_to_irqhandler_chip()
1380 					  evtchn_port_t remote_port,  in bind_interdomain_evtchn_to_irqhandler()  argument
1387 				remote_port, handler, irqflags, devname,  in bind_interdomain_evtchn_to_irqhandler()
1393 						  evtchn_port_t remote_port,  in bind_interdomain_evtchn_to_irqhandler_lateeoi()  argument
1400 				remote_port, handler, irqflags, devname,  in bind_interdomain_evtchn_to_irqhandler_lateeoi()