VIRQ_TIMER        342 arch/x86/xen/time.c 	irq = bind_virq_to_irqhandler(VIRQ_TIMER, cpu, xen_timer_interrupt,
VIRQ_TIMER        174 drivers/xen/events/events_2l.c 	irq = irq_from_virq(cpu, VIRQ_TIMER);