Symbol: ivhd_invalidate_page
sys/dev/acpi/acpidmar.c
1441
if (ivhd_invalidate_page(iommu, did, iova) < 0)
sys/dev/acpi/acpidmar.c
363
static int ivhd_invalidate_page(struct iommu_softc *, int, bus_addr_t);