PASID_MIN        5271 drivers/iommu/intel-iommu.c 		pasid = intel_pasid_alloc_id(domain, PASID_MIN,
PASID_MIN          35 drivers/iommu/intel-pasid.c 	min = max_t(int, start, PASID_MIN);