369 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_update_run()  local
376 	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()  local
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()
633 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_should_notify_user()  local
644 	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()  local
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()
772 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_vcpu_init()  local
775 	vtimer->vcpu = vcpu;  in kvm_timer_vcpu_init()
785 	hrtimer_init(&vtimer->hrtimer, CLOCK_MONOTONIC, HRTIMER_MODE_ABS_HARD);  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()
793 	vtimer->host_timer_irq = host_vtimer_irq;  in kvm_timer_vcpu_init()
796 	vtimer->host_timer_irq_flags = host_vtimer_irq_flags;  in kvm_timer_vcpu_init()
1311 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_arm_timer_set_attr()  local
1332 		set_timer_irqs(vcpu->kvm, vtimer->irq.irq, irq);  in kvm_arm_timer_set_attr()