AMD_IOMMU_MAX_DEVICEID
for (j = 0; j < AMD_IOMMU_MAX_DEVICEID; j++)
for (i = 0; i <= AMD_IOMMU_MAX_DEVICEID; i++) {