virq_from_irq     620 drivers/xen/events/events_base.c 			per_cpu(virq_to_irq, cpu)[virq_from_irq(irq)] = -1;
virq_from_irq    1459 drivers/xen/events/events_base.c 		BUG_ON(virq_from_irq(irq) != virq);