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);