pit_has_pending_timer   36 arch/x86/kvm/irq.c 	ret = pit_has_pending_timer(vcpu);
pit_has_pending_timer   92 arch/x86/kvm/irq.h int pit_has_pending_timer(struct kvm_vcpu *vcpu);