amd_iommu_max_pasid  175 drivers/iommu/amd_iommu_init.c u32 amd_iommu_max_pasid __read_mostly = ~0;
amd_iommu_max_pasid 1772 drivers/iommu/amd_iommu_init.c 		amd_iommu_max_pasid = min(amd_iommu_max_pasid, max_pasid);
amd_iommu_max_pasid 1774 drivers/iommu/amd_iommu_init.c 		BUG_ON(amd_iommu_max_pasid & ~PASID_MASK);
amd_iommu_max_pasid  746 drivers/iommu/amd_iommu_types.h extern u32 amd_iommu_max_pasid;