Symbol: VIRQ_TIMER
arch/x86/xen/time.c
360
irq = bind_virq_to_irqhandler(VIRQ_TIMER, cpu, xen_timer_interrupt,
drivers/xen/events/events_2l.c
177
irq = irq_evtchn_from_virq(cpu, VIRQ_TIMER, &evtchn);