max_pde          1930 drivers/iommu/intel-iommu.c 	int pds, max_pde;
max_pde          1932 drivers/iommu/intel-iommu.c 	max_pde = table->max_pasid >> PASID_PDE_SHIFT;
max_pde          1933 drivers/iommu/intel-iommu.c 	pds = find_first_bit((unsigned long *)&max_pde, MAX_NR_PASID_BITS);
max_pde           178 drivers/iommu/intel-pasid.c 	int i, max_pde;
max_pde           192 drivers/iommu/intel-pasid.c 	max_pde = pasid_table->max_pasid >> PASID_PDE_SHIFT;
max_pde           193 drivers/iommu/intel-pasid.c 	for (i = 0; i < max_pde; i++) {