Searched refs:irq_from_evtchn (Results 1 – 2 of 2) sorted by relevance
295 xen_irq_lateeoi(irq_from_evtchn(port), 0); in evtchn_write()415 int irq = irq_from_evtchn(evtchn->port); in evtchn_unbind_from_user()432 irq = irq_from_evtchn(evtchn); in evtchn_bind_interdom_next_vcpu()560 disable_irq(irq_from_evtchn(unbind.port)); in evtchn_ioctl()679 disable_irq(irq_from_evtchn(evtchn->port)); in evtchn_release()
385 unsigned int irq_from_evtchn(evtchn_port_t evtchn) in irq_from_evtchn() function389 EXPORT_SYMBOL_GPL(irq_from_evtchn);