Home
last modified time | relevance | path

Searched refs:witness_debugger (Results 1 – 1 of 1) sorted by relevance

/freebsd/sys/kern/
H A Dsubr_witness.c340 static void witness_debugger(int cond, const char *msg);
1267 witness_debugger(1, __func__); in witness_checkorder()
1868 witness_debugger(n, __func__); in witness_warn()
3153 witness_debugger(int cond, const char *msg) in witness_debugger() function