Searched refs:vtimer (Results 1 – 1 of 1) sorted by relevance
281 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu); in kvm_timer_update_run() local288 if (kvm_timer_should_fire(vtimer)) in kvm_timer_update_run()497 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu); in kvm_timer_vcpu_load_nogic() local505 kvm_timer_update_irq(vcpu, kvm_timer_should_fire(vtimer), vtimer); in kvm_timer_vcpu_load_nogic()517 if (vtimer->irq.level) in kvm_timer_vcpu_load_nogic()555 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu); in kvm_timer_should_notify_user() local566 return kvm_timer_should_fire(vtimer) != vlevel || in kvm_timer_should_notify_user()616 struct arch_timer_context *vtimer = vcpu_vtimer(vcpu); in unmask_vtimer_irq_user() local618 if (!kvm_timer_should_fire(vtimer)) { in unmask_vtimer_irq_user()619 kvm_timer_update_irq(vcpu, false, vtimer); in unmask_vtimer_irq_user()[all …]