Symbol: avic_vcpu_put
arch/x86/kvm/svm/svm.c
1435
avic_vcpu_put(vcpu);
arch/x86/kvm/svm/svm.h
844
void avic_vcpu_put(struct kvm_vcpu *vcpu);