Searched refs:wwx_ticket (Results 1 – 2 of 2) sorted by relevance
62 if (ctx_a->wwx_ticket < ctx_b->wwx_ticket) in ww_acquire_ctx_compare()64 if (ctx_a->wwx_ticket > ctx_b->wwx_ticket) in ww_acquire_ctx_compare()76 if (ctx->wwx_ticket < ticket) in ww_acquire_ctx_compare_key()78 if (ctx->wwx_ticket > ticket) in ww_acquire_ctx_compare_key()96 ctx->wwx_ticket = atomic64_inc_return(&class->wwc_ticket); in ww_acquire_init()370 KASSERTMSG((mutex->wwm_u.ctx->wwx_ticket != ctx->wwx_ticket), in ww_mutex_lock_wait()372 ctx->wwx_ticket, ctx, in ww_mutex_lock_wait()373 mutex->wwm_u.ctx->wwx_ticket, mutex->wwm_u.ctx); in ww_mutex_lock_wait()378 ctx->wwx_ticket, ctx, collision->wwx_ticket, collision); in ww_mutex_lock_wait()424 KASSERTMSG((mutex->wwm_u.ctx->wwx_ticket != ctx->wwx_ticket), in ww_mutex_lock_wait_sig()[all …]
55 uint64_t wwx_ticket; member