Symbol: TDX_MODULE_INITIALIZED
arch/x86/virt/vmx/tdx/tdx.c
1172
tdx_module_status = TDX_MODULE_INITIALIZED;
arch/x86/virt/vmx/tdx/tdx.c
1206
case TDX_MODULE_INITIALIZED:
arch/x86/virt/vmx/tdx/tdx.c
1475
if (tdx_module_status == TDX_MODULE_INITIALIZED)