Searched refs:witness_rank_t (Results 1 – 4 of 4) sorted by relevance
5 typedef unsigned witness_rank_t; typedef56 witness_rank_t rank;73 void witness_init(witness_t *witness, const char *name, witness_rank_t rank,
66 witness_rank_t rank);
72 malloc_mutex_init(malloc_mutex_t *mutex, const char *name, witness_rank_t rank) in malloc_mutex_init()
5 witness_init(witness_t *witness, const char *name, witness_rank_t rank, in witness_init()