43 static bool kvm_timer_irq_can_fire(struct arch_timer_context *timer_ctx);
45 				 struct arch_timer_context *timer_ctx);
46 static bool kvm_timer_should_fire(struct arch_timer_context *timer_ctx);
211 static u64 kvm_timer_compute_delta(struct arch_timer_context *timer_ctx)  in kvm_timer_compute_delta()  argument
215 	cval = timer_get_cval(timer_ctx);  in kvm_timer_compute_delta()
216 	now = kvm_phys_timer_read() - timer_get_offset(timer_ctx);  in kvm_timer_compute_delta()
231 static bool kvm_timer_irq_can_fire(struct arch_timer_context *timer_ctx)  in kvm_timer_irq_can_fire()  argument
233 	WARN_ON(timer_ctx && timer_ctx->loaded);  in kvm_timer_irq_can_fire()
234 	return timer_ctx &&  in kvm_timer_irq_can_fire()
235 		((timer_get_ctl(timer_ctx) &  in kvm_timer_irq_can_fire()
313 static bool kvm_timer_should_fire(struct arch_timer_context *timer_ctx)  in kvm_timer_should_fire()  argument
318 	if (!timer_ctx)  in kvm_timer_should_fire()
321 	index = arch_timer_ctx_index(timer_ctx);  in kvm_timer_should_fire()
323 	if (timer_ctx->loaded) {  in kvm_timer_should_fire()
344 	if (!kvm_timer_irq_can_fire(timer_ctx))  in kvm_timer_should_fire()
347 	cval = timer_get_cval(timer_ctx);  in kvm_timer_should_fire()
348 	now = kvm_phys_timer_read() - timer_get_offset(timer_ctx);  in kvm_timer_should_fire()
383 				 struct arch_timer_context *timer_ctx)  in kvm_timer_update_irq()  argument
387 	timer_ctx->irq.level = new_level;  in kvm_timer_update_irq()
388 	trace_kvm_timer_update_irq(vcpu->vcpu_id, timer_ctx->irq.irq,  in kvm_timer_update_irq()
389 				   timer_ctx->irq.level);  in kvm_timer_update_irq()
393 					  timer_ctx->irq.irq,  in kvm_timer_update_irq()
394 					  timer_ctx->irq.level,  in kvm_timer_update_irq()
395 					  timer_ctx);  in kvm_timer_update_irq()