Searched defs:remote_domain (Results 1 - 2 of 2) sorted by relevance

/freebsd-9.3-release/sys/dev/xen/xenpci/
H A Devtchn.c152 bind_listening_port_to_irqhandler(unsigned int remote_domain, argument
194 bind_interdomain_evtchn_to_irqhandler(unsigned int remote_domain, argument
/freebsd-9.3-release/sys/xen/evtchn/
H A Devtchn.c309 bind_listening_port_to_irq(unsigned int remote_domain, int * port) argument
324 bind_interdomain_evtchn_to_irq(unsigned int remote_domain, argument
472 bind_listening_port_to_irqhandler(unsigned int remote_domain, argument
497 bind_interdomain_evtchn_to_irqhandler(unsigned int remote_domain, argument

Completed in 98 milliseconds