Symbol: ivhd_invalidate_iommu_all
sys/dev/acpi/acpidmar.c
3267
ivhd_invalidate_iommu_all(iommu);
sys/dev/acpi/amd_iommu.h
353
int ivhd_invalidate_iommu_all(struct iommu_softc *);