Symbol: __avic_vcpu_put
arch/x86/kvm/svm/avic.c
1146
__avic_vcpu_put(vcpu, kvm_vcpu_is_blocking(vcpu) ? AVIC_START_BLOCKING :
arch/x86/kvm/svm/avic.c
1187
__avic_vcpu_put(vcpu, AVIC_DEACTIVATE);
arch/x86/kvm/svm/avic.c
1213
__avic_vcpu_put(vcpu, AVIC_START_BLOCKING);