42 static bool kvm_timer_irq_can_fire(struct arch_timer_context *timer_ctx);
44 				 struct arch_timer_context *timer_ctx);
45 static bool kvm_timer_should_fire(struct arch_timer_context *timer_ctx);
210 static u64 kvm_timer_compute_delta(struct arch_timer_context *timer_ctx)  in kvm_timer_compute_delta()  argument
214 	cval = timer_get_cval(timer_ctx);  in kvm_timer_compute_delta()
215 	now = kvm_phys_timer_read() - timer_get_offset(timer_ctx);  in kvm_timer_compute_delta()
230 static bool kvm_timer_irq_can_fire(struct arch_timer_context *timer_ctx)  in kvm_timer_irq_can_fire()  argument
232 	WARN_ON(timer_ctx && timer_ctx->loaded);  in kvm_timer_irq_can_fire()
233 	return timer_ctx &&  in kvm_timer_irq_can_fire()
234 		((timer_get_ctl(timer_ctx) &  in kvm_timer_irq_can_fire()
312 static bool kvm_timer_should_fire(struct arch_timer_context *timer_ctx)  in kvm_timer_should_fire()  argument
317 	if (!timer_ctx)  in kvm_timer_should_fire()
320 	index = arch_timer_ctx_index(timer_ctx);  in kvm_timer_should_fire()
322 	if (timer_ctx->loaded) {  in kvm_timer_should_fire()
343 	if (!kvm_timer_irq_can_fire(timer_ctx))  in kvm_timer_should_fire()
346 	cval = timer_get_cval(timer_ctx);  in kvm_timer_should_fire()
347 	now = kvm_phys_timer_read() - timer_get_offset(timer_ctx);  in kvm_timer_should_fire()
382 				 struct arch_timer_context *timer_ctx)  in kvm_timer_update_irq()  argument
386 	timer_ctx->irq.level = new_level;  in kvm_timer_update_irq()
387 	trace_kvm_timer_update_irq(vcpu->vcpu_id, timer_ctx->irq.irq,  in kvm_timer_update_irq()
388 				   timer_ctx->irq.level);  in kvm_timer_update_irq()
392 					  timer_ctx->irq.irq,  in kvm_timer_update_irq()
393 					  timer_ctx->irq.level,  in kvm_timer_update_irq()
394 					  timer_ctx);  in kvm_timer_update_irq()