Searched refs:remote_domain (Results 1 – 4 of 4) sorted by relevance
54 unsigned int remote_domain, remote_port; member64 unsigned int remote_domain; member
32 int bind_interdomain_evtchn_to_irq(unsigned int remote_domain,34 int bind_interdomain_evtchn_to_irqhandler(unsigned int remote_domain,
500 u->restrict_domid != bind.remote_domain) in evtchn_ioctl()503 bind_interdomain.remote_dom = bind.remote_domain; in evtchn_ioctl()531 alloc_unbound.remote_dom = bind.remote_domain; in evtchn_ioctl()
910 int bind_interdomain_evtchn_to_irq(unsigned int remote_domain, in bind_interdomain_evtchn_to_irq() argument916 bind_interdomain.remote_dom = remote_domain; in bind_interdomain_evtchn_to_irq()1041 int bind_interdomain_evtchn_to_irqhandler(unsigned int remote_domain, in bind_interdomain_evtchn_to_irqhandler() argument1050 irq = bind_interdomain_evtchn_to_irq(remote_domain, remote_port); in bind_interdomain_evtchn_to_irqhandler()
