150 		map->direct_vtimer = vcpu_vtimer(vcpu);  in get_timer_map()
154 		map->direct_vtimer = vcpu_vtimer(vcpu);  in get_timer_map()
250 	struct arch_timer_context *ctx = vcpu_vtimer(vcpu);  in wfit_delay_ns()
383 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_update_run()
590 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_vcpu_load_nogic()
648 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_should_notify_user()
709 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in unmask_vtimer_irq_user()
744 	timer_set_ctl(vcpu_vtimer(vcpu), 0);  in kvm_timer_vcpu_reset()
748 		kvm_timer_update_irq(vcpu, false, vcpu_vtimer(vcpu));  in kvm_timer_vcpu_reset()
773 		timer_set_offset(vcpu_vtimer(tmp), cntvoff);  in update_vtimer_cntvoff()
779 	timer_set_offset(vcpu_vtimer(vcpu), cntvoff);  in update_vtimer_cntvoff()
786 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_vcpu_init()
826 		timer = vcpu_vtimer(vcpu);  in kvm_arm_timer_set_reg()
830 		timer = vcpu_vtimer(vcpu);  in kvm_arm_timer_set_reg()
834 		timer = vcpu_vtimer(vcpu);  in kvm_arm_timer_set_reg()
874 					  vcpu_vtimer(vcpu), TIMER_REG_CTL);  in kvm_arm_timer_get_reg()
877 					  vcpu_vtimer(vcpu), TIMER_REG_CNT);  in kvm_arm_timer_get_reg()
880 					  vcpu_vtimer(vcpu), TIMER_REG_CVAL);  in kvm_arm_timer_get_reg()
1209 	vtimer_irq = vcpu_vtimer(vcpu)->irq.irq;  in timer_irqs_are_valid()
1210 	ret = kvm_vgic_set_owner(vcpu, vtimer_irq, vcpu_vtimer(vcpu));  in timer_irqs_are_valid()
1220 		if (vcpu_vtimer(vcpu)->irq.irq != vtimer_irq ||  in timer_irqs_are_valid()
1236 	if (vintid == vcpu_vtimer(vcpu)->irq.irq)  in kvm_arch_timer_get_input_level()
1237 		timer = vcpu_vtimer(vcpu);  in kvm_arch_timer_get_input_level()
1320 		vcpu_vtimer(vcpu)->irq.irq = vtimer_irq;  in set_timer_irqs()
1328 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_arm_timer_set_attr()
1366 		timer = vcpu_vtimer(vcpu);  in kvm_arm_timer_get_attr()