149 		map->direct_vtimer = vcpu_vtimer(vcpu);  in get_timer_map()
153 		map->direct_vtimer = vcpu_vtimer(vcpu);  in get_timer_map()
368 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_update_run()
574 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_vcpu_load_nogic()
632 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_should_notify_user()
694 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in unmask_vtimer_irq_user()
729 	timer_set_ctl(vcpu_vtimer(vcpu), 0);  in kvm_timer_vcpu_reset()
733 		kvm_timer_update_irq(vcpu, false, vcpu_vtimer(vcpu));  in kvm_timer_vcpu_reset()
758 		timer_set_offset(vcpu_vtimer(tmp), cntvoff);  in update_vtimer_cntvoff()
764 	timer_set_offset(vcpu_vtimer(vcpu), cntvoff);  in update_vtimer_cntvoff()
771 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_vcpu_init()
811 		timer = vcpu_vtimer(vcpu);  in kvm_arm_timer_set_reg()
815 		timer = vcpu_vtimer(vcpu);  in kvm_arm_timer_set_reg()
819 		timer = vcpu_vtimer(vcpu);  in kvm_arm_timer_set_reg()
859 					  vcpu_vtimer(vcpu), TIMER_REG_CTL);  in kvm_arm_timer_get_reg()
862 					  vcpu_vtimer(vcpu), TIMER_REG_CNT);  in kvm_arm_timer_get_reg()
865 					  vcpu_vtimer(vcpu), TIMER_REG_CVAL);  in kvm_arm_timer_get_reg()
1085 	vtimer_irq = vcpu_vtimer(vcpu)->irq.irq;  in timer_irqs_are_valid()
1086 	ret = kvm_vgic_set_owner(vcpu, vtimer_irq, vcpu_vtimer(vcpu));  in timer_irqs_are_valid()
1096 		if (vcpu_vtimer(vcpu)->irq.irq != vtimer_irq ||  in timer_irqs_are_valid()
1109 	if (vintid == vcpu_vtimer(vcpu)->irq.irq)  in kvm_arch_timer_get_input_level()
1110 		timer = vcpu_vtimer(vcpu);  in kvm_arch_timer_get_input_level()
1192 		vcpu_vtimer(vcpu)->irq.irq = vtimer_irq;  in set_timer_irqs()
1200 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_arm_timer_set_attr()
1238 		timer = vcpu_vtimer(vcpu);  in kvm_arm_timer_get_attr()