amd_iommu_get_num_iommus
for (i = 0; i < amd_iommu_get_num_iommus(); i++) {
int amd_iommu_get_num_iommus(void);