156 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_earliest_exp()  local
161 	if (kvm_timer_irq_can_fire(ptimer))  in kvm_timer_earliest_exp()
162 		min_phys = kvm_timer_compute_delta(ptimer);  in kvm_timer_earliest_exp()
197 	struct arch_timer_context *ptimer;  in kvm_phys_timer_expire()  local
204 	ptimer = vcpu_ptimer(vcpu);  in kvm_phys_timer_expire()
211 	ns = kvm_timer_compute_delta(ptimer);  in kvm_phys_timer_expire()
217 	kvm_timer_update_irq(vcpu, true, ptimer);  in kvm_phys_timer_expire()
247 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_is_pending()  local
252 	return kvm_timer_should_fire(ptimer);  in kvm_timer_is_pending()
261 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_update_run()  local
269 	if (kvm_timer_should_fire(ptimer))  in kvm_timer_update_run()
295 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in phys_timer_emulate()  local
302 	if (kvm_timer_should_fire(ptimer) || !kvm_timer_irq_can_fire(ptimer)) {  in phys_timer_emulate()
307 	soft_timer_start(&timer->phys_timer, kvm_timer_compute_delta(ptimer));  in phys_timer_emulate()
319 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_update_state()  local
337 	if (kvm_timer_should_fire(ptimer) != ptimer->irq.level)  in kvm_timer_update_state()
338 		kvm_timer_update_irq(vcpu, !ptimer->irq.level, ptimer);  in kvm_timer_update_state()
375 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_schedule()  local
384 	if (kvm_timer_should_fire(vtimer) || kvm_timer_should_fire(ptimer))  in kvm_timer_schedule()
391 	if (!kvm_timer_irq_can_fire(vtimer) && !kvm_timer_irq_can_fire(ptimer))  in kvm_timer_schedule()
490 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_vcpu_load()  local
508 	if (kvm_timer_should_fire(ptimer) != ptimer->irq.level)  in kvm_timer_vcpu_load()
509 		kvm_timer_update_irq(vcpu, !ptimer->irq.level, ptimer);  in kvm_timer_vcpu_load()
515 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_should_notify_user()  local
526 	       kvm_timer_should_fire(ptimer) != plevel;  in kvm_timer_should_notify_user()
593 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_vcpu_reset()  local
602 	ptimer->cnt_ctl = 0;  in kvm_timer_vcpu_reset()
634 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_timer_vcpu_init()  local
648 	ptimer->irq.irq = default_ptimer_irq.irq;  in kvm_timer_vcpu_init()
659 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_arm_timer_set_reg()  local
672 		ptimer->cnt_ctl = value & ~ARCH_TIMER_CTRL_IT_STAT;  in kvm_arm_timer_set_reg()
675 		ptimer->cnt_cval = value;  in kvm_arm_timer_set_reg()
702 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_arm_timer_get_reg()  local
713 		return read_timer_ctl(ptimer);  in kvm_arm_timer_get_reg()
715 		return ptimer->cnt_cval;  in kvm_arm_timer_get_reg()
907 	struct arch_timer_context *ptimer = vcpu_ptimer(vcpu);  in kvm_arm_timer_set_attr()  local
924 		set_timer_irqs(vcpu->kvm, irq, ptimer->irq.irq);  in kvm_arm_timer_set_attr()