156 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_earliest_exp()
204 	ptimer = vcpu_ptimer(vcpu);  in kvm_phys_timer_expire()
247 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_is_pending()
261 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_update_run()
295 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in phys_timer_emulate()
319 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_update_state()
375 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_schedule()
490 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_vcpu_load()
515 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_should_notify_user()
593 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_vcpu_reset()
634 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_vcpu_init()
638 	vcpu_ptimer(vcpu)->cntvoff = 0;  in kvm_timer_vcpu_init()
659 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_arm_timer_set_reg()
702 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_arm_timer_get_reg()
812 	ptimer_irq = vcpu_ptimer(vcpu)->irq.irq;  in timer_irqs_are_valid()
813 	ret = kvm_vgic_set_owner(vcpu, ptimer_irq, vcpu_ptimer(vcpu));  in timer_irqs_are_valid()
819 		    vcpu_ptimer(vcpu)->irq.irq != ptimer_irq)  in timer_irqs_are_valid()
899 		vcpu_ptimer(vcpu)->irq.irq = ptimer_irq;  in set_timer_irqs()
907 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_arm_timer_set_attr()
947 		timer = vcpu_ptimer(vcpu);  in kvm_arm_timer_get_attr()