AMD_IOMMU_DEVTBL_ENTRY_SZ
&iommu->aiomt_devtbl[entry * AMD_IOMMU_DEVTBL_ENTRY_SZ];
[i * AMD_IOMMU_DEVTBL_ENTRY_SZ];
if ((deviceid + 1) * AMD_IOMMU_DEVTBL_ENTRY_SZ >
[deviceid * AMD_IOMMU_DEVTBL_ENTRY_SZ];
if ((deviceid + 1) * AMD_IOMMU_DEVTBL_ENTRY_SZ >
[deviceid * AMD_IOMMU_DEVTBL_ENTRY_SZ];
if ((deviceid + 1) * AMD_IOMMU_DEVTBL_ENTRY_SZ >
[deviceid * AMD_IOMMU_DEVTBL_ENTRY_SZ];