kvm_lapic_switch_to_hv_timer 1804 arch/x86/kvm/lapic.c EXPORT_SYMBOL_GPL(kvm_lapic_switch_to_hv_timer);
kvm_lapic_switch_to_hv_timer  234 arch/x86/kvm/lapic.h void kvm_lapic_switch_to_hv_timer(struct kvm_vcpu *vcpu);
kvm_lapic_switch_to_hv_timer 7444 arch/x86/kvm/vmx/vmx.c 		kvm_lapic_switch_to_hv_timer(vcpu);