iommu_attach
void iommu_attach(device_t, device_t, void *);
iommu_match, iommu_attach, NULL, NULL);
static void iommu_attach(device_t, device_t, void *);