Searched defs:remote_domain (Results 1 – 2 of 2) sorted by relevance
54 unsigned int remote_domain, remote_port; member64 unsigned int remote_domain; member
1182 static int bind_interdomain_evtchn_to_irq_chip(unsigned int remote_domain, in bind_interdomain_evtchn_to_irq_chip()1199 int bind_interdomain_evtchn_to_irq_lateeoi(unsigned int remote_domain, in bind_interdomain_evtchn_to_irq_lateeoi()1346 unsigned int remote_domain, evtchn_port_t remote_port, in bind_interdomain_evtchn_to_irqhandler_chip()1366 int bind_interdomain_evtchn_to_irqhandler_lateeoi(unsigned int remote_domain, in bind_interdomain_evtchn_to_irqhandler_lateeoi()
