remote_domain     911 drivers/xen/events/events_base.c int bind_interdomain_evtchn_to_irq(unsigned int remote_domain,
remote_domain     917 drivers/xen/events/events_base.c 	bind_interdomain.remote_dom  = remote_domain;
remote_domain    1042 drivers/xen/events/events_base.c int bind_interdomain_evtchn_to_irqhandler(unsigned int remote_domain,
remote_domain    1051 drivers/xen/events/events_base.c 	irq = bind_interdomain_evtchn_to_irq(remote_domain, remote_port);
remote_domain     500 drivers/xen/evtchn.c 		    u->restrict_domid != bind.remote_domain)
remote_domain     503 drivers/xen/evtchn.c 		bind_interdomain.remote_dom  = bind.remote_domain;
remote_domain     531 drivers/xen/evtchn.c 		alloc_unbound.remote_dom = bind.remote_domain;
remote_domain      54 include/uapi/xen/evtchn.h 	unsigned int remote_domain, remote_port;
remote_domain      64 include/uapi/xen/evtchn.h 	unsigned int remote_domain;
remote_domain      33 include/xen/events.h int bind_interdomain_evtchn_to_irq(unsigned int remote_domain,
remote_domain      35 include/xen/events.h int bind_interdomain_evtchn_to_irqhandler(unsigned int remote_domain,