94 	vtimer = vcpu_vtimer(vcpu);  in kvm_arch_timer_handler()
155 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_earliest_exp()
246 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_is_pending()
260 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_update_run()
318 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_update_state()
344 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in vtimer_save_state()
374 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_schedule()
404 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in vtimer_restore_state()
456 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_vcpu_load_gic()
468 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_vcpu_load_nogic()
489 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_vcpu_load()
514 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_should_notify_user()
567 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in unmask_vtimer_irq_user()
592 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_vcpu_reset()
620 		vcpu_vtimer(tmp)->cntvoff = cntvoff;  in update_vtimer_cntvoff()
626 	vcpu_vtimer(vcpu)->cntvoff = cntvoff;  in update_vtimer_cntvoff()
633 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_vcpu_init()
658 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_arm_timer_set_reg()
703 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_arm_timer_get_reg()
795 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_vcpu_terminate()
807 	vtimer_irq = vcpu_vtimer(vcpu)->irq.irq;  in timer_irqs_are_valid()
808 	ret = kvm_vgic_set_owner(vcpu, vtimer_irq, vcpu_vtimer(vcpu));  in timer_irqs_are_valid()
818 		if (vcpu_vtimer(vcpu)->irq.irq != vtimer_irq ||  in timer_irqs_are_valid()
831 	if (vintid == vcpu_vtimer(vcpu)->irq.irq)  in kvm_arch_timer_get_input_level()
832 		timer = vcpu_vtimer(vcpu);  in kvm_arch_timer_get_input_level()
842 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_enable()
898 		vcpu_vtimer(vcpu)->irq.irq = vtimer_irq;  in set_timer_irqs()
906 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_arm_timer_set_attr()
944 		timer = vcpu_vtimer(vcpu);  in kvm_arm_timer_get_attr()