Searched refs:irq_from_evtchn (Results 1 – 3 of 3) sorted by relevance
300 xen_irq_lateeoi(irq_from_evtchn(port), 0); in evtchn_write()420 int irq = irq_from_evtchn(evtchn->port); in evtchn_unbind_from_user()533 disable_irq(irq_from_evtchn(unbind.port)); in evtchn_ioctl()654 disable_irq(irq_from_evtchn(evtchn->port)); in evtchn_release()
104 unsigned int irq_from_evtchn(evtchn_port_t evtchn);
418 unsigned int irq_from_evtchn(evtchn_port_t evtchn) in irq_from_evtchn() function422 EXPORT_SYMBOL_GPL(irq_from_evtchn);
