Symbol: iommu_bad
sys/dev/acpi/acpidmar.c
2448
if (iommu_bad(dom->iommu))
sys/dev/acpi/acpidmar.c
712
if (iommu_bad(iommu)) {
sys/dev/acpi/acpidmar.c
780
if (iommu_bad(iommu))