apic_has_pending_timer   25 arch/x86/kvm/irq.c 		return apic_has_pending_timer(vcpu);
apic_has_pending_timer  112 arch/x86/kvm/irq.h int apic_has_pending_timer(struct kvm_vcpu *vcpu);