Symbol: ivhd_iommu_init
sys/dev/acpi/acpidmar.c
2679
int ivhd_iommu_init(struct acpidmar_softc *, struct iommu_softc *,
sys/dev/acpi/acpidmar.c
3308
ivhd_iommu_init(sc, iommu, ivhd);