kvm_apic_timer_intr_post   92 arch/x86/kvm/irq.c 	kvm_apic_timer_intr_post(vcpu, vec);
kvm_apic_timer_intr_post   45 arch/x86/kvm/lapic.h void kvm_apic_timer_intr_post(struct kvm_vcpu *vcpu, int vec);