Searched refs:witness_comp_t (Results 1 – 2 of 2) sorted by relevance
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()