Symbol: virq_from_irq
drivers/xen/events/events_base.c
1988
BUG_ON(virq_from_irq(info) != virq);
drivers/xen/events/events_base.c
978
per_cpu(virq_to_irq, cpu)[virq_from_irq(info)] = -1;