Searched defs:remote_domain (Results 1 – 2 of 2) sorted by relevance
53 unsigned int remote_domain, remote_port; member63 unsigned int remote_domain; member
921 int bind_interdomain_evtchn_to_irq(unsigned int remote_domain, in bind_interdomain_evtchn_to_irq()1052 int bind_interdomain_evtchn_to_irqhandler(unsigned int remote_domain, in bind_interdomain_evtchn_to_irqhandler()