Symbol: evtchn_from_irq
drivers/xen/events/events_base.c
1571
set_priority.port = evtchn_from_irq(irq);
drivers/xen/events/events_base.c
2046
evtchn_port_t evtchn = evtchn_from_irq(irq);
drivers/xen/events/events_base.c
2059
evtchn_port_t evtchn = evtchn_from_irq(irq);
drivers/xen/events/events_base.c
436
*evtchn = evtchn_from_irq(irq);
drivers/xen/events/events_base.c
541
evtchn_port_t evtchn = evtchn_from_irq(irq);