iommu_free_ctx_locked
iommu_free_ctx_locked(unit, ctx);
iommu_free_ctx_locked(iommu, dmat->ctx);
void iommu_free_ctx_locked(struct iommu_unit *iommu, struct iommu_ctx *ctx);