Symbol: iommu_flush_tlb_page
sys/dev/acpi/acpidmar.c
373
void iommu_flush_tlb_page(struct iommu_softc *, int, bus_addr_t);
sys/dev/acpi/acpidmar.c
507
iommu_flush_tlb_page(iommu, dom->did, addr);