Home | History | Annotate | Download | only in linux

Lines Matching refs:wwm_u

121 		(mutex->wwm_state == WW_CTX && mutex->wwm_u.ctx == ctx)),
152 pr("%-13s: %p\n", "owner", mutex->wwm_u.owner);
159 pr("%-13s: %p\n", "context", mutex->wwm_u.ctx);
161 mutex->wwm_u.ctx->wwx_owner);
168 pr("%-13s: %p\n", "context", mutex->wwm_u.ctx);
170 mutex->wwm_u.ctx->wwx_owner);
366 KASSERT(mutex->wwm_u.ctx != ctx);
367 KASSERTMSG((ctx->wwx_class == mutex->wwm_u.ctx->wwx_class),
369 ctx->wwx_class, mutex->wwm_u.ctx->wwx_class);
370 KASSERTMSG((mutex->wwm_u.ctx->wwx_ticket != ctx->wwx_ticket),
373 mutex->wwm_u.ctx->wwx_ticket, mutex->wwm_u.ctx);
384 mutex->wwm_u.ctx == ctx)
391 KASSERT(mutex->wwm_u.ctx == ctx);
420 KASSERT(mutex->wwm_u.ctx != ctx);
421 KASSERTMSG((ctx->wwx_class == mutex->wwm_u.ctx->wwx_class),
423 ctx->wwx_class, mutex->wwm_u.ctx->wwx_class);
424 KASSERTMSG((mutex->wwm_u.ctx->wwx_ticket != ctx->wwx_ticket),
427 mutex->wwm_u.ctx->wwx_ticket, mutex->wwm_u.ctx);
439 mutex->wwm_u.ctx == ctx) {
456 KASSERT(ret != 0 || mutex->wwm_u.ctx == ctx);
478 mutex->wwm_u.owner = curlwp;
481 KASSERTMSG((mutex->wwm_u.owner != curlwp),
486 KASSERT(mutex->wwm_u.ctx != NULL);
490 KASSERTMSG((mutex->wwm_u.ctx->wwx_owner != curlwp),
499 KASSERT(mutex->wwm_u.owner == curlwp);
525 mutex->wwm_u.owner = curlwp;
528 KASSERTMSG((mutex->wwm_u.owner != curlwp),
537 KASSERT(mutex->wwm_u.ctx != NULL);
541 KASSERTMSG((mutex->wwm_u.ctx->wwx_owner != curlwp),
554 KASSERT(mutex->wwm_u.owner == curlwp);
610 mutex->wwm_u.ctx = ctx;
614 KASSERTMSG((mutex->wwm_u.owner != curlwp),
629 KASSERT(mutex->wwm_u.ctx != NULL);
630 KASSERT((mutex->wwm_u.ctx == ctx) ||
631 (mutex->wwm_u.ctx->wwx_owner != curlwp));
633 if (mutex->wwm_u.ctx == ctx) {
649 if (mutex->wwm_u.ctx->wwx_ticket < ctx->wwx_ticket) {
654 KASSERTMSG((ctx->wwx_class == mutex->wwm_u.ctx->wwx_class),
656 ctx->wwx_class, mutex->wwm_u.ctx->wwx_class);
669 KASSERT(mutex->wwm_u.ctx == ctx);
730 mutex->wwm_u.ctx = ctx;
734 KASSERTMSG((mutex->wwm_u.owner != curlwp),
757 KASSERT(mutex->wwm_u.ctx != NULL);
758 KASSERT((mutex->wwm_u.ctx == ctx) ||
759 (mutex->wwm_u.ctx->wwx_owner != curlwp));
761 if (mutex->wwm_u.ctx == ctx) {
777 if (mutex->wwm_u.ctx->wwx_ticket < ctx->wwx_ticket) {
782 KASSERTMSG((ctx->wwx_class == mutex->wwm_u.ctx->wwx_class),
784 ctx->wwx_class, mutex->wwm_u.ctx->wwx_class);
801 KASSERT(mutex->wwm_u.ctx == ctx);
853 mutex->wwm_u.ctx = ctx;
856 KASSERTMSG((mutex->wwm_u.owner != curlwp),
871 KASSERT(mutex->wwm_u.ctx != NULL);
872 KASSERTMSG((mutex->wwm_u.ctx->wwx_owner != curlwp),
883 KASSERT(mutex->wwm_u.ctx == ctx);
931 mutex->wwm_u.ctx = ctx;
934 KASSERTMSG((mutex->wwm_u.owner != curlwp),
957 KASSERT(mutex->wwm_u.ctx != NULL);
958 KASSERTMSG((mutex->wwm_u.ctx->wwx_owner != curlwp),
973 KASSERT(mutex->wwm_u.ctx == ctx);
997 mutex->wwm_u.owner = curlwp;
1017 (mutex->wwm_u.owner != curlwp)),
1020 (mutex->wwm_u.ctx->wwx_owner != curlwp)),
1024 (mutex->wwm_u.ctx->wwx_owner != curlwp)),
1051 KASSERT(mutex->wwm_u.ctx != NULL);
1052 KASSERTMSG((mutex->wwm_u.ctx->wwx_owner == curlwp),
1054 mutex, mutex->wwm_u.ctx, mutex->wwm_u.ctx->wwx_owner,
1056 KASSERT(mutex->wwm_u.ctx->wwx_acquired != ~0U);
1057 mutex->wwm_u.ctx->wwx_acquired--;
1058 mutex->wwm_u.ctx = NULL;
1079 mutex->wwm_u.owner = NULL;
1091 mutex->wwm_u.ctx = ctx;
1125 ctx = mutex->wwm_u.ctx;