Searched refs:witness_comp_t (Results 1 – 2 of 2) sorted by relevance
77 typedef int witness_comp_t (const witness_t *, void *, const witness_t *, typedef95 witness_comp_t *comp;144 witness_comp_t *comp, void *opaque);
10 witness_comp_t *comp, void *opaque) { in witness_init()