Symbol: apic_has_pending_timer
arch/x86/kvm/irq.c
32
r = apic_has_pending_timer(vcpu);
arch/x86/kvm/irq.h
122
int apic_has_pending_timer(struct kvm_vcpu *vcpu);