Searched refs:VIRQ_TIMER (Results 1 – 6 of 6) sorted by relevance
25 | Timer (* #define VIRQ_TIMER 0 *)
26 | Timer (* #define VIRQ_TIMER 0 *)
345 send_guest_vcpu_virq(v, VIRQ_TIMER); in send_timer_event()
181 #define VIRQ_TIMER 0 /* V. Timebase update, and/or requested timeout. */ macro
134 case VIRQ_TIMER: in virq_is_global()
2170 send_guest_vcpu_virq(v, VIRQ_TIMER); in send_timer_event()
Completed in 662 milliseconds