kvm_timer_pending
if (!kvm_timer_pending(vtimer)) {
return kvm_timer_pending(ctx);
if (kvm_timer_pending(ctx))
v ^= kvm_timer_pending(vcpu_vtimer(vcpu)) ? KVM_ARM_DEV_EL1_VTIMER : 0;
v ^= kvm_timer_pending(vcpu_ptimer(vcpu)) ? KVM_ARM_DEV_EL1_PTIMER : 0;
static bool kvm_timer_pending(struct arch_timer_context *timer_ctx);
bool pending = kvm_timer_pending(ctx);
bool pending = kvm_timer_pending(ctx);
bool pending = kvm_timer_pending(vtimer);