iommu_flush_cache
iommu_flush_cache(iommu, va, VTD_PAGE_SIZE);
iommu_flush_cache(iommu, &iommu->qi[tail], sizeof(*qi));
iommu_flush_cache(iommu, &iommu->qi[tail], sizeof(qi));
iommu_flush_cache(iommu, &iommu->root[bus],
iommu_flush_cache(iommu, ctx, sizeof(struct context_entry));
iommu_flush_cache(iommu, iommu->evt_tbl + head, sz);
iommu_flush_cache(iommu, iommu->cmd_tbl + tail, sz);
iommu_flush_cache(iommu, (void *)wv, sizeof(uint64_t) * 2);
iommu_flush_cache(iommu, (void *)wv, sizeof(uint64_t) * 2);
void iommu_flush_cache(struct iommu_softc *, void *, size_t);
iommu_flush_cache(iommu, pte, sizeof(*pte));
iommu_flush_cache(iommu, pte, sizeof(*pte));
iommu_flush_cache(iommu, &pte[idx], sizeof(pte[idx]));
iommu_flush_cache(iommu, &pte[idx], sizeof(pte[idx]));