Searched refs:witness_kdb (Results 1 – 1 of 1) sorted by relevance
391 int witness_kdb = 1; variable393 int witness_kdb = 0; variable395 SYSCTL_INT(_debug_witness, OID_AUTO, kdb, CTLFLAG_RWTUN, &witness_kdb, 0, "");3180 if (witness_kdb) in witness_enter_debugger()