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);