kvm_inject_pending_timer_irqs  156 arch/x86/kvm/irq.c EXPORT_SYMBOL_GPL(kvm_inject_pending_timer_irqs);
kvm_inject_pending_timer_irqs  105 arch/x86/kvm/irq.h void kvm_inject_pending_timer_irqs(struct kvm_vcpu *vcpu);
kvm_inject_pending_timer_irqs 8403 arch/x86/kvm/x86.c 			kvm_inject_pending_timer_irqs(vcpu);