mtx_t
extern int cnd_timedwait(cnd_t *_RESTRICT_KYWD, mtx_t *_RESTRICT_KYWD,
extern int cnd_wait(cnd_t *, mtx_t *);
extern void mtx_destroy(mtx_t *);
extern int mtx_init(mtx_t *, int);
extern int mtx_lock(mtx_t *);
extern int mtx_timedlock(mtx_t *_RESTRICT_KYWD,
extern int mtx_trylock(mtx_t *);
extern int mtx_unlock(mtx_t *);
cnd_wait(cnd_t *cnd, mtx_t *mtx)
mtx_destroy(mtx_t *mtx)
mtx_init(mtx_t *mtx, int type)
mtx_lock(mtx_t *mtx)
mtx_timedlock(mtx_t *_RESTRICT_KYWD mtx,
mtx_trylock(mtx_t *mtx)
mtx_unlock(mtx_t *mtx)
cnd_timedwait(cnd_t *_RESTRICT_KYWD cnd, mtx_t *_RESTRICT_KYWD mtx,
mtx_t mtx;
static mtx_t stress_mtx;
mtx_t mtx;
mtx_t *mtx = arg;
mtx_t mtx;
static mtx_t broadcast_mtx;
static mtx_t signal_mtx;
mtx_t mtx;
mtx_t mtx;
mtx_t mtx;
static mtx_t ct_mtx;
static mtx_t co_once_mtx;
static mtx_t co_mtx;