51 static bool kvm_timer_irq_can_fire(struct arch_timer_context *timer_ctx);
53 				 struct arch_timer_context *timer_ctx);
54 static bool kvm_timer_should_fire(struct arch_timer_context *timer_ctx);
122 static u64 kvm_timer_compute_delta(struct arch_timer_context *timer_ctx)  in kvm_timer_compute_delta()  argument
126 	cval = timer_ctx->cnt_cval;  in kvm_timer_compute_delta()
127 	now = kvm_phys_timer_read() - timer_ctx->cntvoff;  in kvm_timer_compute_delta()
142 static bool kvm_timer_irq_can_fire(struct arch_timer_context *timer_ctx)  in kvm_timer_irq_can_fire()  argument
144 	return !(timer_ctx->cnt_ctl & ARCH_TIMER_CTRL_IT_MASK) &&  in kvm_timer_irq_can_fire()
145 		(timer_ctx->cnt_ctl & ARCH_TIMER_CTRL_ENABLE);  in kvm_timer_irq_can_fire()
221 static bool kvm_timer_should_fire(struct arch_timer_context *timer_ctx)  in kvm_timer_should_fire()  argument
225 	if (timer_ctx->loaded) {  in kvm_timer_should_fire()
235 	if (!kvm_timer_irq_can_fire(timer_ctx))  in kvm_timer_should_fire()
238 	cval = timer_ctx->cnt_cval;  in kvm_timer_should_fire()
239 	now = kvm_phys_timer_read() - timer_ctx->cntvoff;  in kvm_timer_should_fire()
274 				 struct arch_timer_context *timer_ctx)  in kvm_timer_update_irq()  argument
278 	timer_ctx->irq.level = new_level;  in kvm_timer_update_irq()
279 	trace_kvm_timer_update_irq(vcpu->vcpu_id, timer_ctx->irq.irq,  in kvm_timer_update_irq()
280 				   timer_ctx->irq.level);  in kvm_timer_update_irq()
284 					  timer_ctx->irq.irq,  in kvm_timer_update_irq()
285 					  timer_ctx->irq.level,  in kvm_timer_update_irq()
286 					  timer_ctx);  in kvm_timer_update_irq()