On Fri, 2023-01-06 at 16:47 -0800, Dave Hansen wrote: > On 12/8/22 22:52, Kai Huang wrote: > > @@ -574,6 +774,11 @@ static int init_tdx_module(void) > > * Return error before all steps are done. > > */ > > ret = -EINVAL; > > + if (ret) > > + tdmrs_free_pamt_all(&tdmr_list); > > + else > > + pr_info("%lu pages allocated for PAMT.\n", > > + tdmrs_count_pamt_pages(&tdmr_list)); > > Could you please convert this to megabytes or kilobytes? dmesg is for > humans and humans don't generally know how large their systems or DIMMs > are in pages without looking or grabbing a calculator. Will convert to print out kilobytes.