Symbol: tdx_vcpu_put
arch/x86/kvm/vmx/main.c
131
tdx_vcpu_put(vcpu);
arch/x86/kvm/vmx/x86_ops.h
137
void tdx_vcpu_put(struct kvm_vcpu *vcpu);