Searched refs:vtimer (Results 1 – 1 of 1) sorted by relevance
369 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu); in kvm_timer_update_run() local376 if (kvm_timer_should_fire(vtimer)) in kvm_timer_update_run()575 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu); in kvm_timer_vcpu_load_nogic() local583 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()633 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu); in kvm_timer_should_notify_user() local644 return kvm_timer_should_fire(vtimer) != vlevel || in kvm_timer_should_notify_user()695 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu); in unmask_vtimer_irq_user() local697 if (!kvm_timer_should_fire(vtimer)) { in unmask_vtimer_irq_user()698 kvm_timer_update_irq(vcpu, false, vtimer); in unmask_vtimer_irq_user()[all …]