kvm_timer_intr_post   85 arch/x86/kvm/irq.h void kvm_timer_intr_post(struct kvm_vcpu *vcpu, int vec);
kvm_timer_intr_post 1608 arch/x86/kvm/svm.c 	kvm_timer_intr_post(vcpu, intr_vector);
kvm_timer_intr_post 2911 arch/x86/kvm/vmx.c 		kvm_timer_intr_post(vcpu, vector);