kvm_set_pending_timer 1566 arch/x86/kvm/lapic.c 	kvm_set_pending_timer(vcpu);
kvm_set_pending_timer  263 arch/x86/kvm/x86.h void kvm_set_pending_timer(struct kvm_vcpu *vcpu);