150 		map->direct_vtimer = vcpu_vtimer(vcpu);  in get_timer_map()
154 		map->direct_vtimer = vcpu_vtimer(vcpu);  in get_timer_map()
369 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_update_run()
575 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_vcpu_load_nogic()
633 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_should_notify_user()
695 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in unmask_vtimer_irq_user()
730 	timer_set_ctl(vcpu_vtimer(vcpu), 0);  in kvm_timer_vcpu_reset()
734 		kvm_timer_update_irq(vcpu, false, vcpu_vtimer(vcpu));  in kvm_timer_vcpu_reset()
759 		timer_set_offset(vcpu_vtimer(tmp), cntvoff);  in update_vtimer_cntvoff()
765 	timer_set_offset(vcpu_vtimer(vcpu), cntvoff);  in update_vtimer_cntvoff()
772 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_timer_vcpu_init()
812 		timer = vcpu_vtimer(vcpu);  in kvm_arm_timer_set_reg()
816 		timer = vcpu_vtimer(vcpu);  in kvm_arm_timer_set_reg()
820 		timer = vcpu_vtimer(vcpu);  in kvm_arm_timer_set_reg()
860 					  vcpu_vtimer(vcpu), TIMER_REG_CTL);  in kvm_arm_timer_get_reg()
863 					  vcpu_vtimer(vcpu), TIMER_REG_CNT);  in kvm_arm_timer_get_reg()
866 					  vcpu_vtimer(vcpu), TIMER_REG_CVAL);  in kvm_arm_timer_get_reg()
1195 	vtimer_irq = vcpu_vtimer(vcpu)->irq.irq;  in timer_irqs_are_valid()
1196 	ret = kvm_vgic_set_owner(vcpu, vtimer_irq, vcpu_vtimer(vcpu));  in timer_irqs_are_valid()
1206 		if (vcpu_vtimer(vcpu)->irq.irq != vtimer_irq ||  in timer_irqs_are_valid()
1219 	if (vintid == vcpu_vtimer(vcpu)->irq.irq)  in kvm_arch_timer_get_input_level()
1220 		timer = vcpu_vtimer(vcpu);  in kvm_arch_timer_get_input_level()
1303 		vcpu_vtimer(vcpu)->irq.irq = vtimer_irq;  in set_timer_irqs()
1311 	struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);  in kvm_arm_timer_set_attr()
1349 		timer = vcpu_vtimer(vcpu);  in kvm_arm_timer_get_attr()