ivhd_iommu_init
int ivhd_iommu_init(struct acpidmar_softc *, struct iommu_softc *,
ivhd_iommu_init(sc, iommu, ivhd);