Searched refs:ddb_use_printf (Results 1 – 1 of 1) sorted by relevance
80 static int ddb_use_printf = 0; variable81 SYSCTL_INT(_debug, OID_AUTO, ddb_use_printf, CTLFLAG_RW, &ddb_use_printf, 0,152 if (!kdb_active || ddb_use_printf) { in db_putc()