kvm_inject_pit_timer_irqs   56 arch/x86/kvm/i8254.h void kvm_inject_pit_timer_irqs(struct kvm_vcpu *vcpu);
kvm_inject_pit_timer_irqs   85 arch/x86/kvm/irq.c 	kvm_inject_pit_timer_irqs(vcpu);