Searched refs:DMAR_CTX_DISABLED (Results 1 – 3 of 3) sorted by relevance
684 KASSERT((ctx->flags & DMAR_CTX_DISABLED) == 0, in dmar_free_ctx_locked()711 KASSERT((ctx->flags & DMAR_CTX_DISABLED) == 0, in dmar_free_ctx_locked()
260 if ((ctx->flags & DMAR_CTX_DISABLED) == 0) { in dmar_instantiate_ctx()261 ctx->flags |= DMAR_CTX_DISABLED; in dmar_instantiate_ctx()
144 #define DMAR_CTX_DISABLED 0x0002 /* Device is disabled, the macro