> > + ret = init_tdx_module(); > > + if (ret == -ENODEV) { > > + pr_info("TDX module is not loaded.\n"); > > tdx_module_status should be set to TDX_MODULE_NONE here. Thanks. Will fix. > > > + goto out; > > + } -- Thanks, -Kai
> > + ret = init_tdx_module(); > > + if (ret == -ENODEV) { > > + pr_info("TDX module is not loaded.\n"); > > tdx_module_status should be set to TDX_MODULE_NONE here. Thanks. Will fix. > > > + goto out; > > + } -- Thanks, -Kai