257 	ETHR_ASSERT(*queue == tse_start && tse_end->next == tse_start);  in dequeue()
299 	ETHR_ASSERT(type == ETHR_RWMUTEX_TYPE_EXTREMELY_FREQUENT_READ);  in rwmutex_freqread_rdrs_add()
300 	ETHR_ASSERT(ethr_atomic32_read(&rwmtx->tdata.ra[ix].data.readers) == 0);  in rwmutex_freqread_rdrs_add()
301 	ETHR_ASSERT(inc == 1);  in rwmutex_freqread_rdrs_add()
319 	ETHR_ASSERT(rwmtx->type == ETHR_RWMUTEX_TYPE_EXTREMELY_FREQUENT_READ);  in rwmutex_freqread_rdrs_inc()
320 	ETHR_ASSERT(ethr_atomic32_read(&rwmtx->tdata.ra[ix].data.readers) == 0);  in rwmutex_freqread_rdrs_inc()
340 	ETHR_ASSERT(rwmtx->type == ETHR_RWMUTEX_TYPE_EXTREMELY_FREQUENT_READ);
341 	ETHR_ASSERT(ethr_atomic32_read(&rwmtx->tdata.ra[ix].data.readers) == 1);
361 	ETHR_ASSERT(rwmtx->type == ETHR_RWMUTEX_TYPE_EXTREMELY_FREQUENT_READ);  in rwmutex_freqread_rdrs_dec_read()
362 	ETHR_ASSERT(ethr_atomic32_read(&rwmtx->tdata.ra[ix].data.readers) == 1);  in rwmutex_freqread_rdrs_dec_read()
381 	ETHR_ASSERT(rwmtx->type == ETHR_RWMUTEX_TYPE_EXTREMELY_FREQUENT_READ);  in rwmutex_freqread_rdrs_dec_read_relb()
382 	ETHR_ASSERT(ethr_atomic32_read(&rwmtx->tdata.ra[ix].data.readers) == 1);  in rwmutex_freqread_rdrs_dec_read_relb()
396 	ETHR_ASSERT(res >= 0);  in rwmutex_freqread_rdrs_read()
399 	ETHR_ASSERT(ix == 0 ? res >= 0 : (res == 0 || res == 1));  in rwmutex_freqread_rdrs_read()
402 	ETHR_ASSERT(0);  in rwmutex_freqread_rdrs_read()
422     ETHR_ASSERT(tse->iflgs & ETHR_TS_EV_BUSY);  in event_wait()
442 	ETHR_ASSERT(mtxb->q);  in event_wait()
451 	    ETHR_ASSERT(is_rwmtx);  in event_wait()
452 	    ETHR_ASSERT(rwmtx->rq_end);  in event_wait()
479 		ETHR_ASSERT(is_rwmtx);  in event_wait()
514 	    ETHR_ASSERT(is_rwmtx);  in event_wait()
515 	    ETHR_ASSERT(!rwmtx->rq_end);  in event_wait()
538     ETHR_ASSERT(!(transfer_read_lock && need_try_complete_runlock));  in event_wait()
541 	ETHR_ASSERT(((ethr_rwmutex *) mtxb)->type  in event_wait()
555 	    ETHR_ASSERT(((ethr_rwmutex *) mtxb)->type  in event_wait()
576 	ETHR_ASSERT(act == type);  in event_wait()
596     ETHR_ASSERT(tse);  in wake_writer()
599     ETHR_ASSERT(tse->uflgs == ETHR_RWMTX_W_WAIT_FLG__);  in wake_writer()
600     ETHR_ASSERT(ethr_atomic32_read(&tse->uaflgs) == ETHR_RWMTX_W_WAIT_FLG__);  in wake_writer()
672     ETHR_ASSERT(!is_freq_read || is_rwmtx);  in write_lock_wait()
804 	ETHR_ASSERT(0);  in ethr_mutex_init_opt()
833 	ETHR_ASSERT(0);  in ethr_mutex_destroy()
837 	ETHR_ASSERT(0);  in ethr_mutex_destroy()
859     ETHR_ASSERT(tse);  in ethr_mutex_unlock_wake__()
860     ETHR_ASSERT(ethr_atomic32_read(&mtx->mtxb.flgs)  in ethr_mutex_unlock_wake__()
862     ETHR_ASSERT(initial & ETHR_RWMTX_W_WAIT_FLG__);  in ethr_mutex_unlock_wake__()
910     ETHR_ASSERT(act == 0  in enqueue_mtx()
916 	    ETHR_ASSERT(!mtx->mtxb.q);  in enqueue_mtx()
926 		ETHR_ASSERT(act == 0);  in enqueue_mtx()
933 	    ETHR_ASSERT(mtx->mtxb.q);  in enqueue_mtx()
935 	    ETHR_ASSERT(!mtx->mtxb.q);  in enqueue_mtx()
961 		ETHR_ASSERT(!mtx->mtxb.q);  in enqueue_mtx()
970 		    ETHR_ASSERT(!mtx->mtxb.q);  in enqueue_mtx()
981 			ETHR_ASSERT(mtx->mtxb.q);  in enqueue_mtx()
1001 	ETHR_ASSERT(0);  in ethr_cond_init_opt()
1043 	ETHR_ASSERT(0);  in ethr_cond_destroy()
1047 	ETHR_ASSERT(0);  in ethr_cond_destroy()
1060     ETHR_ASSERT(!ethr_not_inited__);  in ethr_cond_signal()
1061     ETHR_ASSERT(cnd);  in ethr_cond_signal()
1062     ETHR_ASSERT(cnd->initialized == ETHR_COND_INITIALIZED);  in ethr_cond_signal()
1077 	ETHR_ASSERT(tse->uflgs == ETHR_RWMTX_W_WAIT_FLG__);  in ethr_cond_signal()
1078 	ETHR_ASSERT(ethr_atomic32_read(&tse->uaflgs) == ETHR_CND_WAIT_FLG__);  in ethr_cond_signal()
1100     ETHR_ASSERT(!ethr_not_inited__);  in ethr_cond_broadcast()
1101     ETHR_ASSERT(cnd);  in ethr_cond_broadcast()
1102     ETHR_ASSERT(cnd->initialized == ETHR_COND_INITIALIZED);  in ethr_cond_broadcast()
1130 		    ETHR_ASSERT(tse_tmp->uflgs == ETHR_RWMTX_W_WAIT_FLG__);  in ethr_cond_broadcast()
1131 		    ETHR_ASSERT(ethr_atomic32_read(&tse_tmp->uaflgs)  in ethr_cond_broadcast()
1169     ETHR_ASSERT(!ethr_not_inited__);  in ethr_cond_wait()
1170     ETHR_ASSERT(cnd);  in ethr_cond_wait()
1171     ETHR_ASSERT(cnd->initialized == ETHR_COND_INITIALIZED);  in ethr_cond_wait()
1172     ETHR_ASSERT(mtx);  in ethr_cond_wait()
1173     ETHR_ASSERT(mtx->initialized == ETHR_MUTEX_INITIALIZED);  in ethr_cond_wait()
1211 	ETHR_ASSERT(act == ETHR_CND_WAIT_FLG__  in ethr_cond_wait()
1222 		ETHR_ASSERT(act == ETHR_CND_WAIT_FLG__  in ethr_cond_wait()
1241 	    ETHR_ASSERT(act == ETHR_RWMTX_W_WAIT_FLG__);  in ethr_cond_wait()
1243         ETHR_ASSERT(tse->iflgs & ETHR_TS_EV_BUSY);  in ethr_cond_wait()
1266 	ETHR_ASSERT(0);  in ethr_mutex_init()
1285 	ETHR_ASSERT(0);  in ethr_mutex_destroy()
1289 	ETHR_ASSERT(0);  in ethr_mutex_destroy()
1304 	ETHR_ASSERT(0);  in ethr_cond_init()
1323 	ETHR_ASSERT(0);  in ethr_cond_destroy()
1327 	ETHR_ASSERT(0);  in ethr_cond_destroy()
1340     ETHR_ASSERT(!ethr_not_inited__);  in ethr_cond_signal()
1341     ETHR_ASSERT(cnd);  in ethr_cond_signal()
1342     ETHR_ASSERT(cnd->initialized == ETHR_COND_INITIALIZED);  in ethr_cond_signal()
1354     ETHR_ASSERT(!ethr_not_inited__);  in ethr_cond_broadcast()
1355     ETHR_ASSERT(cnd);  in ethr_cond_broadcast()
1356     ETHR_ASSERT(cnd->initialized == ETHR_COND_INITIALIZED);  in ethr_cond_broadcast()
1368     ETHR_ASSERT(!ethr_not_inited__);  in ethr_cond_wait()
1369     ETHR_ASSERT(cnd);  in ethr_cond_wait()
1370     ETHR_ASSERT(cnd->initialized == ETHR_COND_INITIALIZED);  in ethr_cond_wait()
1371     ETHR_ASSERT(mtx);  in ethr_cond_wait()
1372     ETHR_ASSERT(mtx->initialized == ETHR_MUTEX_INITIALIZED);  in ethr_cond_wait()
1445     ETHR_ASSERT(ethr_atomic32_read(&tse->uaflgs) == ETHR_CND_WAIT__);  in cond_wakeup()
1477     ETHR_ASSERT(tse || mtx->posix_compliant);  in ethr_mutex_cond_wakeup__()
1505 	ETHR_ASSERT(0);  in ethr_mutex_init_opt()
1642 	    ETHR_ASSERT(posix_compliant  in enqueue_cond_wakeups()
1646 	    ETHR_ASSERT(ethr_atomic32_read(&tse_start->uaflgs)  in enqueue_cond_wakeups()
1648 	    ETHR_ASSERT(mtx->initialized == ETHR_MUTEX_INITIALIZED);  in enqueue_cond_wakeups()
1654 		ETHR_ASSERT(ethr_atomic32_read(&tse->uaflgs)  in enqueue_cond_wakeups()
1705 	ETHR_ASSERT(ethr_atomic32_read(&tse->uaflgs) == ETHR_CND_WAIT__);  in ethr_cond_signal()
1706 	ETHR_ASSERT(mtx->initialized == ETHR_MUTEX_INITIALIZED);  in ethr_cond_signal()
1707 	ETHR_ASSERT(cnd->posix_compliant  in ethr_cond_signal()
1725 	ETHR_ASSERT(0);  in ethr_cond_init_opt()
1770     ETHR_ASSERT(!ethr_not_inited__);  in ethr_mutex_trylock()
1771     ETHR_ASSERT(mtx);  in ethr_mutex_trylock()
1772     ETHR_ASSERT(mtx->initialized == ETHR_MUTEX_INITIALIZED);  in ethr_mutex_trylock()
1780     ETHR_ASSERT(!ethr_not_inited__);  in ethr_mutex_lock()
1781     ETHR_ASSERT(mtx);  in ethr_mutex_lock()
1782     ETHR_ASSERT(mtx->initialized == ETHR_MUTEX_INITIALIZED);  in ethr_mutex_lock()
1790     ETHR_ASSERT(!ethr_not_inited__);  in ethr_mutex_unlock()
1791     ETHR_ASSERT(mtx);  in ethr_mutex_unlock()
1792     ETHR_ASSERT(mtx->initialized == ETHR_MUTEX_INITIALIZED);  in ethr_mutex_unlock()
1812     ETHR_ASSERT(tse);  in wake_readers()
1813     ETHR_ASSERT(rwmtx->rq_end);  in wake_readers()
1818     ETHR_ASSERT(!rwmtx->mtxb.q  in wake_readers()
1829 	ETHR_ASSERT(tse->uflgs == ETHR_RWMTX_R_WAIT_FLG__);  in wake_readers()
1830 	ETHR_ASSERT(ethr_atomic32_read(&tse->uaflgs)  in wake_readers()
1843     ETHR_ASSERT(rs == drs);  in wake_readers()
1849     ETHR_ASSERT(tse->uflgs == ETHR_RWMTX_W_WAIT_FLG__  in is_w_waiter()
1857     ETHR_ASSERT(rwmtx->mtxb.q);  in multiple_w_waiters()
1858     ETHR_ASSERT(rwmtx->mtxb.q->uflgs == ETHR_RWMTX_W_WAIT_FLG__);  in multiple_w_waiters()
1863 	ETHR_ASSERT(rwmtx->mtxb.q->next != rwmtx->mtxb.q);  in multiple_w_waiters()
1866 	ETHR_ASSERT(rwmtx->rq_end->next == rwmtx->mtxb.q  in multiple_w_waiters()
1977     ETHR_ASSERT((act & ETHR_RWMTX_W_FLG__) == 0);  in rwmutex_try_complete_runlock()
2021 	ETHR_ASSERT((act & ETHR_RWMTX_R_ABRT_UNLCK_FLG__) == 0);  in rwmutex_try_complete_runlock()
2023 	ETHR_ASSERT((act & ETHR_RWMTX_R_PEND_UNLCK_MASK__)  in rwmutex_try_complete_runlock()
2059     ETHR_ASSERT((act & ETHR_RWMTX_W_FLG__) == 0);  in rwmutex_try_complete_runlock()
2072 	    ETHR_ASSERT(act & ETHR_RWMTX_R_FLG__);  in rwmutex_try_complete_runlock()
2078 	ETHR_ASSERT(act & ETHR_RWMTX_R_PEND_UNLCK_MASK__);  in rwmutex_try_complete_runlock()
2347 	ETHR_ASSERT((act_initial & ETHR_RWMTX_RS_MASK__) == 0);  in rwlock_wake_set_flags()
2387     ETHR_ASSERT(tse);  in dbg_unlock_wake()
2396 	ETHR_ASSERT((exp & ~imask) == (act & ~imask));  in dbg_unlock_wake()
2415 	ETHR_ASSERT((exp & ~imask) == (act & ~imask));  in dbg_unlock_wake()
2433 	ETHR_ASSERT(initial & ETHR_RWMTX_R_WAIT_FLG__);  in rwmutex_transfer_read_lock()
2434 	ETHR_ASSERT((initial & ETHR_RWMTX_W_FLG__) == 0);  in rwmutex_transfer_read_lock()
2464 	ETHR_ASSERT(act & ETHR_RWMTX_R_WAIT_FLG__);  in rwmutex_unlock_wake()
2465 	ETHR_ASSERT((act & (ETHR_RWMTX_W_FLG__)) == 0);  in rwmutex_unlock_wake()
2466 	ETHR_ASSERT(tse && !is_w_waiter(tse));  in rwmutex_unlock_wake()
2491 		ETHR_ASSERT((act & ETHR_RWMTX_WAIT_FLGS__) == 0);  in rwmutex_unlock_wake()
2497 		ETHR_ASSERT(tse && !is_w_waiter(tse));  in rwmutex_unlock_wake()
2516 	    ETHR_ASSERT((act & ~(ETHR_RWMTX_WAIT_FLGS__  in rwmutex_unlock_wake()
2520 	    ETHR_ASSERT(act & ETHR_RWMTX_W_WAIT_FLG__);  in rwmutex_unlock_wake()
2532 		ETHR_ASSERT(tse->next->uflgs == ETHR_RWMTX_R_WAIT_FLG__);  in rwmutex_unlock_wake()
2560 		ETHR_ASSERT(wrs >= 0);  in rwmutex_unlock_wake()
2641 	ETHR_ASSERT(0);  in ethr_rwmutex_init_opt()
2645 	ETHR_ASSERT(0);  in ethr_rwmutex_init_opt()
2729 	ETHR_ASSERT(0);  in ethr_rwmutex_destroy()
2733 	ETHR_ASSERT(0);  in ethr_rwmutex_destroy()
2762     ETHR_ASSERT(!ethr_not_inited__);  in ethr_rwmutex_tryrlock()
2763     ETHR_ASSERT(rwmtx);  in ethr_rwmutex_tryrlock()
2764     ETHR_ASSERT(rwmtx->initialized == ETHR_RWMUTEX_INITIALIZED);  in ethr_rwmutex_tryrlock()
2833     ETHR_ASSERT(!ethr_not_inited__);  in ethr_rwmutex_rlock()
2834     ETHR_ASSERT(rwmtx);  in ethr_rwmutex_rlock()
2835     ETHR_ASSERT(rwmtx->initialized == ETHR_RWMUTEX_INITIALIZED);  in ethr_rwmutex_rlock()
2888     ETHR_ASSERT(!ethr_not_inited__);  in ethr_rwmutex_runlock()
2889     ETHR_ASSERT(rwmtx);  in ethr_rwmutex_runlock()
2890     ETHR_ASSERT(rwmtx->initialized == ETHR_RWMUTEX_INITIALIZED);  in ethr_rwmutex_runlock()
2902 	    ETHR_ASSERT((act & ETHR_RWMTX_W_FLG__) == 0);  in ethr_rwmutex_runlock()
2913 	ETHR_ASSERT(act >= 0);  in ethr_rwmutex_runlock()
2938     ETHR_ASSERT(!ethr_not_inited__);  in ethr_rwmutex_tryrwlock()
2939     ETHR_ASSERT(rwmtx);  in ethr_rwmutex_tryrwlock()
2940     ETHR_ASSERT(rwmtx->initialized == ETHR_RWMUTEX_INITIALIZED);  in ethr_rwmutex_tryrwlock()
2998     ETHR_ASSERT(!ethr_not_inited__);  in ethr_rwmutex_rwlock()
2999     ETHR_ASSERT(rwmtx);  in ethr_rwmutex_rwlock()
3000     ETHR_ASSERT(rwmtx->initialized == ETHR_RWMUTEX_INITIALIZED);  in ethr_rwmutex_rwlock()
3046     ETHR_ASSERT(!ethr_not_inited__);  in ethr_rwmutex_rwunlock()
3047     ETHR_ASSERT(rwmtx);  in ethr_rwmutex_rwunlock()
3048     ETHR_ASSERT(rwmtx->initialized == ETHR_RWMUTEX_INITIALIZED);  in ethr_rwmutex_rwunlock()
3087 	ETHR_ASSERT(0);  in ethr_rwmutex_init()
3107 	ETHR_ASSERT(0);  in ethr_rwmutex_destroy()
3111 	ETHR_ASSERT(0);  in ethr_rwmutex_destroy()
3127     ETHR_ASSERT(!ethr_not_inited__);  in ethr_rwmutex_tryrlock()
3128     ETHR_ASSERT(rwmtx);  in ethr_rwmutex_tryrlock()
3129     ETHR_ASSERT(rwmtx->initialized == ETHR_RWMUTEX_INITIALIZED);  in ethr_rwmutex_tryrlock()
3137     ETHR_ASSERT(!ethr_not_inited__);  in ethr_rwmutex_rlock()
3138     ETHR_ASSERT(rwmtx);  in ethr_rwmutex_rlock()
3139     ETHR_ASSERT(rwmtx->initialized == ETHR_RWMUTEX_INITIALIZED);  in ethr_rwmutex_rlock()
3147     ETHR_ASSERT(!ethr_not_inited__);  in ethr_rwmutex_runlock()
3148     ETHR_ASSERT(rwmtx);  in ethr_rwmutex_runlock()
3149     ETHR_ASSERT(rwmtx->initialized == ETHR_RWMUTEX_INITIALIZED);  in ethr_rwmutex_runlock()
3157     ETHR_ASSERT(!ethr_not_inited__);  in ethr_rwmutex_tryrwlock()
3158     ETHR_ASSERT(rwmtx);  in ethr_rwmutex_tryrwlock()
3159     ETHR_ASSERT(rwmtx->initialized == ETHR_RWMUTEX_INITIALIZED);  in ethr_rwmutex_tryrwlock()
3167     ETHR_ASSERT(!ethr_not_inited__);  in ethr_rwmutex_rwlock()
3168     ETHR_ASSERT(rwmtx);  in ethr_rwmutex_rwlock()
3169     ETHR_ASSERT(rwmtx->initialized == ETHR_RWMUTEX_INITIALIZED);  in ethr_rwmutex_rwlock()
3177     ETHR_ASSERT(!ethr_not_inited__);  in ethr_rwmutex_rwunlock()
3178     ETHR_ASSERT(rwmtx);  in ethr_rwmutex_rwunlock()
3179     ETHR_ASSERT(rwmtx->initialized == ETHR_RWMUTEX_INITIALIZED);  in ethr_rwmutex_rwunlock()