Symbol: ivhd_flush_devtab
sys/dev/acpi/acpidmar.c
2326
ivhd_flush_devtab(iommu, sid);
sys/dev/acpi/acpidmar.c
3097
ivhd_flush_devtab(iommu, 0x2303);
sys/dev/acpi/amd_iommu.h
352
int ivhd_flush_devtab(struct iommu_softc *, int);