Symbol: free_dev_table
drivers/iommu/amd/init.c
1748
free_dev_table(pci_seg);
drivers/iommu/amd/init.c
1777
free_dev_table(pci_seg);