kvm_lapic_switch_to_hv_timer - Linux

Symbol: kvm_lapic_switch_to_hv_timer

arch/x86/kvm/lapic.h

void kvm_lapic_switch_to_hv_timer(struct kvm_vcpu *vcpu);

arch/x86/kvm/x86.c

kvm_lapic_switch_to_hv_timer(vcpu);