Symbol: tdx_vcpu_free
arch/x86/kvm/vmx/main.c
79
tdx_vcpu_free(vcpu);
arch/x86/kvm/vmx/x86_ops.h
132
void tdx_vcpu_free(struct kvm_vcpu *vcpu);