drivers/iommu/iommu.c

384 	u32 max_pasids = 0, bits = 0;
390 			max_pasids = ret;
394 			max_pasids = 1UL << bits;
397 	return min_t(u32, max_pasids, dev->iommu->iommu_dev->max_pasids);
475 	dev->iommu->max_pasids = dev_iommu_get_max_pasids(dev);
1663 			   dev->iommu->max_pasids ? IOMMU_HWPT_ALLOC_PASID : 0);
3370 		if (device->dev->iommu->max_pasids > 0) {
3385 		if (device->dev->iommu->max_pasids > 0) {
3408 		if (device->dev->iommu->max_pasids > 0)
3454 		 * (max_pasids = 0). These devices cannot issue transactions
3457 		if ((device->dev->iommu->max_pasids > 0) &&
3458 		    (pasid >= device->dev->iommu->max_pasids)) {
3612 	/* max_pasids == 0 means that the device does not support PASID */
3613 	if (!dev->iommu->max_pasids)
3617 	 * max_pasids is set up by vendor driver based on number of PASID bits
3621 			      dev->iommu->max_pasids - 1, GFP_KERNEL);