Searched refs:vtimer (Results 1 – 1 of 1) sorted by relevance
376 if (kvm_timer_should_fire(vtimer)) in kvm_timer_update_run()583 kvm_timer_update_irq(vcpu, kvm_timer_should_fire(vtimer), vtimer); in kvm_timer_vcpu_load_nogic()595 if (vtimer->irq.level) in kvm_timer_vcpu_load_nogic()644 return kvm_timer_should_fire(vtimer) != vlevel || in kvm_timer_should_notify_user()697 if (!kvm_timer_should_fire(vtimer)) { in unmask_vtimer_irq_user()698 kvm_timer_update_irq(vcpu, false, vtimer); in unmask_vtimer_irq_user()700 set_timer_irq_phys_active(vtimer, false); in unmask_vtimer_irq_user()775 vtimer->vcpu = vcpu; in kvm_timer_vcpu_init()787 vtimer->hrtimer.function = kvm_hrtimer_expire; in kvm_timer_vcpu_init()790 vtimer->irq.irq = default_vtimer_irq.irq; in kvm_timer_vcpu_init()[all …]
Completed in 6 milliseconds