irq_from_virq     174 drivers/xen/events/events_2l.c 	irq = irq_from_virq(cpu, VIRQ_TIMER);
irq_from_virq      90 include/xen/events.h int irq_from_virq(unsigned int cpu, unsigned int virq);