kvm_lapic_switch_to_sw_timer 1816 arch/x86/kvm/lapic.c EXPORT_SYMBOL_GPL(kvm_lapic_switch_to_sw_timer);
kvm_lapic_switch_to_sw_timer  233 arch/x86/kvm/lapic.h void kvm_lapic_switch_to_sw_timer(struct kvm_vcpu *vcpu);
kvm_lapic_switch_to_sw_timer 7425 arch/x86/kvm/vmx/vmx.c 		kvm_lapic_switch_to_sw_timer(vcpu);