Symbol: device_pasid_table_teardown
drivers/iommu/intel/pasid.c
762
device_pasid_table_teardown(dev, PCI_BUS_NUM(alias), alias & 0xff);
drivers/iommu/intel/pasid.c
772
device_pasid_table_teardown(dev, info->bus, info->devfn);