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.