kvm_timer_should_fire
return kvm_timer_should_fire(ctx);
if (kvm_timer_should_fire(ctx))
if (kvm_timer_should_fire(vtimer))
if (kvm_timer_should_fire(ptimer))
static bool kvm_timer_should_fire(struct arch_timer_context *timer_ctx);
bool should_fire = kvm_timer_should_fire(ctx);
kvm_timer_update_irq(vcpu, kvm_timer_should_fire(ctx), ctx);
kvm_timer_update_irq(vcpu, kvm_timer_should_fire(vtimer), vtimer);
return kvm_timer_should_fire(vtimer) != vlevel ||
kvm_timer_should_fire(ptimer) != plevel;
if (!kvm_timer_should_fire(vtimer)) {