free_gcr3_tbl_level1 1851 drivers/iommu/amd_iommu.c 		free_gcr3_tbl_level1(ptr);
free_gcr3_tbl_level1 1860 drivers/iommu/amd_iommu.c 		free_gcr3_tbl_level1(domain->gcr3_tbl);