IOMMU_CTX_DISABLED
if ((ctx->flags & IOMMU_CTX_DISABLED) == 0) {
ctx->flags |= IOMMU_CTX_DISABLED;
if (ctx != NULL && (ctx->flags & IOMMU_CTX_DISABLED) != 0)
KASSERT((ctx->context.flags & IOMMU_CTX_DISABLED) == 0,
KASSERT((ctx->context.flags & IOMMU_CTX_DISABLED) == 0,
KASSERT((ctx->context.flags & IOMMU_CTX_DISABLED) == 0,