Searched refs:witness_comp_t (Results 1 – 4 of 4) sorted by relevance
7 typedef int witness_comp_t (const witness_t *, const witness_t *); typedef63 witness_comp_t *comp;74 witness_comp_t *comp);
76 typedef int witness_comp_t (const witness_t *, void *, const witness_t *, typedef94 witness_comp_t *comp;143 witness_comp_t *comp, void *opaque);
10 witness_comp_t *comp, void *opaque) { in witness_init()
6 witness_comp_t *comp) in witness_init()