Symbol: tdx_module_shutdown
arch/x86/virt/vmx/tdx/seamldr.c
287
ret = tdx_module_shutdown();
arch/x86/virt/vmx/tdx/tdx.h
113
int tdx_module_shutdown(void);