intel_pasid_max_id 3225 drivers/iommu/intel-iommu.c 			intel_pasid_max_id = min_t(u32, temp,
intel_pasid_max_id 3226 drivers/iommu/intel-iommu.c 						   intel_pasid_max_id);
intel_pasid_max_id   28 drivers/iommu/intel-pasid.c u32 intel_pasid_max_id = PASID_MAX;
intel_pasid_max_id   36 drivers/iommu/intel-pasid.c 	max = min_t(int, end, intel_pasid_max_id);
intel_pasid_max_id  151 drivers/iommu/intel-pasid.c 				  intel_pasid_max_id);
intel_pasid_max_id   78 drivers/iommu/intel-pasid.h extern u32 intel_pasid_max_id;
intel_pasid_max_id  314 drivers/iommu/intel-svm.c 		if (pasid_max > intel_pasid_max_id)
intel_pasid_max_id  315 drivers/iommu/intel-svm.c 			pasid_max = intel_pasid_max_id;