Symbol: free_gcr3_table
drivers/iommu/amd/iommu.c
2251
free_gcr3_table(&dev_data->gcr3_info);
drivers/iommu/amd/iommu.c
2267
free_gcr3_table(gcr3_info);