Symbol: tdx_vm_destroy
arch/x86/kvm/vmx/main.c
55
return tdx_vm_destroy(kvm);
arch/x86/kvm/vmx/x86_ops.h
127
void tdx_vm_destroy(struct kvm *kvm);