iommu_flush_ctx
iommu_flush_ctx(iommu, CTX_GLOBAL, 0, 0, 0);
iommu_flush_ctx(iommu, CTX_DEVICE, dom->did, sid, 0);
void iommu_flush_ctx(struct iommu_softc *, int, int, int, int);