iommu_find_device
ddi_walk_devs(ddi_root_node(), iommu_find_device, (void *)B_TRUE);
ddi_walk_devs(ddi_root_node(), iommu_find_device, (void *)B_FALSE);