kvm_pit_timer_intr_post   57 arch/x86/kvm/i8254.h void kvm_pit_timer_intr_post(struct kvm_vcpu *vcpu, int vec);
kvm_pit_timer_intr_post   93 arch/x86/kvm/irq.c 	kvm_pit_timer_intr_post(vcpu, vec);