384 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_update_run()  local
392 	if (kvm_timer_should_fire(ptimer))  in kvm_timer_update_run()
649 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_should_notify_user()  local
660 	       kvm_timer_should_fire(ptimer) != plevel;  in kvm_timer_should_notify_user()
787 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_vcpu_init()  local
790 	ptimer->vcpu = vcpu;  in kvm_timer_vcpu_init()
794 	timer_set_offset(ptimer, 0);  in kvm_timer_vcpu_init()
800 	hrtimer_init(&ptimer->hrtimer, CLOCK_MONOTONIC, HRTIMER_MODE_ABS_HARD);  in kvm_timer_vcpu_init()
802 	ptimer->hrtimer.function = kvm_hrtimer_expire;  in kvm_timer_vcpu_init()
805 	ptimer->irq.irq = default_ptimer_irq.irq;  in kvm_timer_vcpu_init()
808 	ptimer->host_timer_irq = host_ptimer_irq;  in kvm_timer_vcpu_init()
811 	ptimer->host_timer_irq_flags = host_ptimer_irq_flags;  in kvm_timer_vcpu_init()
1329 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_arm_timer_set_attr()  local
1346 		set_timer_irqs(vcpu->kvm, irq, ptimer->irq.irq);  in kvm_arm_timer_set_attr()