apic_has_pending_timer 37 arch/x86/kvm/irq.c ret |= apic_has_pending_timer(vcpu); apic_has_pending_timer 93 arch/x86/kvm/irq.h int apic_has_pending_timer(struct kvm_vcpu *vcpu);