Home | History | Annotate | Download | only in internal

Lines Matching defs:witnesses

18 	 * Witnesses with rank WITNESS_RANK_OMIT are completely ignored by the
101 	 * Witnesses must be acquired in order of increasing rank.
106 	 * If two witnesses are of equal rank and they have the samp comp
108 	 * between witnesses of equal rank.
124 	witness_list_t witnesses;
128 #define WITNESS_TSD_INITIALIZER { ql_head_initializer(witnesses), false }
182 	witness_list_t *witnesses;
187 	witnesses = &witness_tsd->witnesses;
188 	ql_foreach(w, witnesses, link) {
223 	witness_list_t *witnesses;
238 	witnesses = &witness_tsd->witnesses;
239 	ql_foreach(w, witnesses, link) {
248 witness_depth_to_rank(witness_list_t *witnesses, witness_rank_t rank_inclusive)
251 	witness_t *w = ql_last(witnesses, link);
254 		ql_reverse_foreach(w, witnesses, link) {
272 	witness_list_t *witnesses = &witness_tsdn_tsd(witness_tsdn)->witnesses;
273 	unsigned d = witness_depth_to_rank(witnesses, rank_inclusive);
276 		witness_depth_error(witnesses, rank_inclusive, depth);
297 	witness_list_t *witnesses = &witness_tsdn_tsd(witness_tsdn)->witnesses;
298 	unsigned d = witness_depth_to_rank(witnesses, rank_inclusive);
301 		witness_depth_error(witnesses, rank_inclusive, 1);
308 	witness_list_t *witnesses;
325 	witnesses = &witness_tsd->witnesses;
326 	w = ql_last(witnesses, link);
333 		witness_lock_error(witnesses, witness);
341 		witness_lock_error(witnesses, witness);
345 	ql_tail_insert(witnesses, witness, link);
351 	witness_list_t *witnesses;
371 		witnesses = &witness_tsd->witnesses;
372 		ql_remove(witnesses, witness, link);