Symbol: free_gcr3_tbl_level1
drivers/iommu/amd/iommu.c
1919
free_gcr3_tbl_level1(ptr);
drivers/iommu/amd/iommu.c
1928
free_gcr3_tbl_level1(gcr3_info->gcr3_tbl);