Searched refs:vtimer (Results 1 – 1 of 1) sorted by relevance
407 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu); in kvm_timer_update_run() local414 if (kvm_timer_should_fire(vtimer)) in kvm_timer_update_run()683 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu); in kvm_timer_vcpu_load_nogic() local691 kvm_timer_update_irq(vcpu, kvm_timer_should_fire(vtimer), vtimer); in kvm_timer_vcpu_load_nogic()703 if (vtimer->irq.level) in kvm_timer_vcpu_load_nogic()892 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu); in kvm_timer_should_notify_user() local903 return kvm_timer_should_fire(vtimer) != vlevel || in kvm_timer_should_notify_user()984 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu); in unmask_vtimer_irq_user() local986 if (!kvm_timer_should_fire(vtimer)) { in unmask_vtimer_irq_user()987 kvm_timer_update_irq(vcpu, false, vtimer); in unmask_vtimer_irq_user()[all …]