kvm_lapic_restart_hv_timer  237 arch/x86/kvm/lapic.h void kvm_lapic_restart_hv_timer(struct kvm_vcpu *vcpu);
kvm_lapic_restart_hv_timer 3527 arch/x86/kvm/x86.c 			kvm_lapic_restart_hv_timer(vcpu);