Symbol: tdx_mr_deinit
drivers/virt/coco/tdx-guest/tdx-guest.c
434
tdx_mr_deinit(tdx_attr_groups[0]);
drivers/virt/coco/tdx-guest/tdx-guest.c
445
tdx_mr_deinit(tdx_attr_groups[0]);