Symbol: vmx_vcpu_put
arch/x86/kvm/vmx/main.c
135
vmx_vcpu_put(vcpu);
arch/x86/kvm/vmx/x86_ops.h
28
void vmx_vcpu_put(struct kvm_vcpu *vcpu);