Symbol: iommu_bad
sys/dev/acpi/acpidmar.c
2601
if (iommu_bad(dom->iommu))
sys/dev/acpi/acpidmar.c
727
if (iommu_bad(iommu)) {
sys/dev/acpi/acpidmar.c
793
if (iommu_bad(iommu))