Searched refs:irq_from_evtchn (Results 1 – 4 of 4) sorted by relevance
305 xen_irq_lateeoi(irq_from_evtchn(port), 0); in evtchn_write()425 int irq = irq_from_evtchn(evtchn->port); in evtchn_unbind_from_user()539 disable_irq(irq_from_evtchn(unbind.port)); in evtchn_ioctl()677 disable_irq(irq_from_evtchn(evtchn->port)); in evtchn_release()
103 unsigned int irq_from_evtchn(evtchn_port_t evtchn);
333 irq_from_evtchn(i), in xen_debug_interrupt()
423 unsigned int irq_from_evtchn(evtchn_port_t evtchn) in irq_from_evtchn() function429 EXPORT_SYMBOL_GPL(irq_from_evtchn);