282 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_update_run()  local
290 	if (kvm_timer_should_fire(ptimer))  in kvm_timer_update_run()
556 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_should_notify_user()  local
567 	       kvm_timer_should_fire(ptimer) != plevel;  in kvm_timer_should_notify_user()
694 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_vcpu_init()  local
698 	ptimer->cntvoff = 0;  in kvm_timer_vcpu_init()
704 	hrtimer_init(&ptimer->hrtimer, CLOCK_MONOTONIC, HRTIMER_MODE_ABS);  in kvm_timer_vcpu_init()
706 	ptimer->hrtimer.function = kvm_hrtimer_expire;  in kvm_timer_vcpu_init()
709 	ptimer->irq.irq = default_ptimer_irq.irq;  in kvm_timer_vcpu_init()
712 	ptimer->host_timer_irq = host_ptimer_irq;  in kvm_timer_vcpu_init()
715 	ptimer->host_timer_irq_flags = host_ptimer_irq_flags;  in kvm_timer_vcpu_init()
718 	ptimer->vcpu = vcpu;  in kvm_timer_vcpu_init()
1120 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_arm_timer_set_attr()  local
1137 		set_timer_irqs(vcpu->kvm, irq, ptimer->irq.irq);  in kvm_arm_timer_set_attr()