Searched refs:witness_trace (Results 1 – 1 of 1) sorted by relevance
408 int witness_trace = 1; variable409 TUNABLE_INT("debug.witness.trace", &witness_trace);410 SYSCTL_INT(_debug_witness, OID_AUTO, trace, CTLFLAG_RW, &witness_trace, 0, "");2842 if (witness_trace && cond) in _witness_debugger()