intel_pasid_free_table 5107 drivers/iommu/intel-iommu.c 		intel_pasid_free_table(info->dev);
intel_pasid_free_table   83 drivers/iommu/intel-pasid.h void intel_pasid_free_table(struct device *dev);