Searched refs:VIRQ_TIMER (Results 1 – 4 of 4) sorted by relevance
88 #define VIRQ_TIMER 0 /* V. Timebase update, and/or requested timeout. */ macro
177 irq = irq_evtchn_from_virq(cpu, VIRQ_TIMER, &evtchn); in evtchn_2l_handle_events()
358 irq = bind_virq_to_irqhandler(VIRQ_TIMER, cpu, xen_timer_interrupt, in xen_setup_timer()
5732 event channel port/priority for the VIRQ_TIMER of the vCPU, as well