Symbol: free_tdx_memlist
arch/x86/virt/vmx/tdx/tdx.c
1222
free_tdx_memlist(&tdx_memlist);
arch/x86/virt/vmx/tdx/tdx.c
326
free_tdx_memlist(tmb_list);