Searched refs:witness_kdb (Results 1 – 1 of 1) sorted by relevance
395 int witness_kdb = 1; variable397 int witness_kdb = 0; variable399 TUNABLE_INT("debug.witness.kdb", &witness_kdb);400 SYSCTL_INT(_debug_witness, OID_AUTO, kdb, CTLFLAG_RW, &witness_kdb, 0, "");2844 if (witness_kdb && cond) in _witness_debugger()