Symbol: iommu_flush_ctx
sys/dev/acpi/acpidmar.c
1853
iommu_flush_ctx(iommu, CTX_GLOBAL, 0, 0, 0);
sys/dev/acpi/acpidmar.c
2368
iommu_flush_ctx(iommu, CTX_DEVICE, dom->did, sid, 0);
sys/dev/acpi/acpidmar.c
354
void iommu_flush_ctx(struct iommu_softc *, int, int, int, int);