Searched refs:EXT_IRQ_CPU_TIMER (Results 1 – 3 of 3) sorted by relevance
19 #define EXT_IRQ_CPU_TIMER 0x1005 macro
265 if ((eic == EXT_IRQ_CLK_COMP || eic == EXT_IRQ_CPU_TIMER) && in handle_external_interrupt()273 case EXT_IRQ_CPU_TIMER: in handle_external_interrupt()
263 rc = put_guest_lc(vcpu, EXT_IRQ_CPU_TIMER, in __deliver_cpu_timer()