Home
last modified time | relevance | path

Searched refs:bind_interdomain_evtchn_to_irq_chip (Results 1 – 1 of 1) sorted by relevance

/drivers/xen/events/
Devents_base.c1238 static int bind_interdomain_evtchn_to_irq_chip(unsigned int remote_domain, in bind_interdomain_evtchn_to_irq_chip() function
1258 return bind_interdomain_evtchn_to_irq_chip(remote_domain, remote_port, in bind_interdomain_evtchn_to_irq_lateeoi()
1408 irq = bind_interdomain_evtchn_to_irq_chip(remote_domain, remote_port, in bind_interdomain_evtchn_to_irqhandler_chip()