Lines Matching refs:wwx_acquired
97 ctx->wwx_acquired = 0;
132 KASSERTMSG((ctx->wwx_acquired == 0), "ctx %p still holds %u locks",
133 ctx, ctx->wwx_acquired);
135 ctx->wwx_acquired = ~0U; /* Fail if called again. */
598 KASSERTMSG((ctx->wwx_acquired != ~0U),
671 ctx->wwx_acquired++;
718 KASSERTMSG((ctx->wwx_acquired != ~0U),
803 ctx->wwx_acquired++;
839 KASSERTMSG((ctx->wwx_acquired != ~0U),
841 KASSERTMSG((ctx->wwx_acquired == 0),
843 ctx, ctx->wwx_acquired);
885 ctx->wwx_acquired++;
917 KASSERTMSG((ctx->wwx_acquired != ~0U),
919 KASSERTMSG((ctx->wwx_acquired == 0),
921 ctx, ctx->wwx_acquired);
975 ctx->wwx_acquired++;
1056 KASSERT(mutex->wwm_u.ctx->wwx_acquired != ~0U);
1057 mutex->wwm_u.ctx->wwx_acquired--;