Lines Matching defs:timer_ctx
41 static bool kvm_timer_irq_can_fire(struct arch_timer_context *timer_ctx);
43 struct arch_timer_context *timer_ctx);
44 static bool kvm_timer_should_fire(struct arch_timer_context *timer_ctx);
256 static u64 kvm_counter_compute_delta(struct arch_timer_context *timer_ctx,
259 u64 now = kvm_phys_timer_read() - timer_get_offset(timer_ctx);
267 &timer_ctx->ns_frac);
274 static u64 kvm_timer_compute_delta(struct arch_timer_context *timer_ctx)
276 return kvm_counter_compute_delta(timer_ctx, timer_get_cval(timer_ctx));
279 static bool kvm_timer_irq_can_fire(struct arch_timer_context *timer_ctx)
281 WARN_ON(timer_ctx && timer_ctx->loaded);
282 return timer_ctx &&
283 ((timer_get_ctl(timer_ctx) &
381 static bool kvm_timer_should_fire(struct arch_timer_context *timer_ctx)
386 if (!timer_ctx)
389 index = arch_timer_ctx_index(timer_ctx);
391 if (timer_ctx->loaded) {
414 if (!kvm_timer_irq_can_fire(timer_ctx))
417 cval = timer_get_cval(timer_ctx);
418 now = kvm_phys_timer_read() - timer_get_offset(timer_ctx);
447 struct arch_timer_context *timer_ctx)
451 timer_ctx->irq.level = new_level;
452 trace_kvm_timer_update_irq(vcpu->vcpu_id, timer_irq(timer_ctx),
453 timer_ctx->irq.level);
457 timer_irq(timer_ctx),
458 timer_ctx->irq.level,
459 timer_ctx);