Searched refs:timer_fired (Results 1 – 3 of 3) sorted by relevance
425 unsigned int timer_fired; member
334 vcpu->arch.timer_fired = 0; in prepare_for_halt()
1164 vcpu->arch.timer_fired = 1; in hlt_timer_fn()1928 return vcpu->arch.timer_fired; in kvm_cpu_has_pending_timer()