kvm_inject_pending_timer_irqs   86 arch/x86/kvm/irq.h void kvm_inject_pending_timer_irqs(struct kvm_vcpu *vcpu);
kvm_inject_pending_timer_irqs 2848 arch/x86/kvm/x86.c 	kvm_inject_pending_timer_irqs(vcpu);