433 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_update_run()  local
440 	if (kvm_timer_should_fire(vtimer))  in kvm_timer_update_run()
679 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_vcpu_load_nogic()  local
687 	kvm_timer_update_irq(vcpu, kvm_timer_should_fire(vtimer), vtimer);  in kvm_timer_vcpu_load_nogic()
699 	if (vtimer->irq.level)  in kvm_timer_vcpu_load_nogic()
863 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_should_notify_user()  local
874 	return kvm_timer_should_fire(vtimer) != vlevel ||  in kvm_timer_should_notify_user()
917 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in unmask_vtimer_irq_user()  local
919 	if (!kvm_timer_should_fire(vtimer)) {  in unmask_vtimer_irq_user()
920 		kvm_timer_update_irq(vcpu, false, vtimer);  in unmask_vtimer_irq_user()
922 			set_timer_irq_phys_active(vtimer, false);  in unmask_vtimer_irq_user()