Re: [PATCH v5 06/22] x86/virt/tdx: Add skeleton to initialize TDX on demand

[Kai Huang]

> > +	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