d/freebsd-dev
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

If not in the debugger or if the user requests it with the

Browse Source 
debug.ddb_use_printf sysctl, output kernel debugger data to both the
console and kernel message buffer via printf.  This fixes the case where
backtrace() went directly to the console and should help debugging greatly.
Thanks to Ian Dowse for the work, minor edits or any bugs are by myself.

Submitted by:	iedowse
This commit is contained in:
Nate Lawson 2004-01-28 06:51:18 +00:00
parent 265ef81196
commit 5de6c5b5a5
Notes: svn2git 2020-12-20 02:59:44 +00:00 
svn path=/head/; revision=125134
1 changed files with 27 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
sys/ddb/db_output.c
View File

@ -38,6 +38,8 @@ __FBSDID("$FreeBSD$");
#include <sys/param.h>
#include <sys/systm.h>
#include <sys/cons.h>
#include <sys/kernel.h>
#include <sys/sysctl.h>
#include <machine/stdarg.h>
@ -66,8 +68,11 @@ static int db_newlines; /* # lines this page */
static int db_maxlines = -1; /* max lines per page */
static db_page_calloutfcn_t *db_page_callout = NULL;
static void *db_page_callout_arg = NULL;
static int ddb_use_printf = 0;
SYSCTL_INT(_debug, OID_AUTO, ddb_use_printf, CTLFLAG_RW, &ddb_use_printf, 0,
"use printf for all ddb output");
static void db_putchar(int c, void *arg);
static void db_putchar(int c, void *arg);
/*
* Force pending whitespace.
@ -103,6 +108,27 @@ db_putchar(c, arg)
void * arg;
{
/*
* If not in the debugger or the user requests it, output data to
* both the console and the message buffer.
*/
if (!db_active || ddb_use_printf) {
printf("%c", c);
if (!db_active)
return;
if (c == '\r' || c == '\n')
db_check_interrupt();
if (c == '\n' && db_maxlines > 0 && db_page_callout != NULL) {
db_newlines++;
if (db_newlines >= db_maxlines) {
db_maxlines = -1;
db_page_callout(db_page_callout_arg);
}
}
return;
}
/* Otherwise, output data directly to the console. */
if (c > ' ' && c <= '~') {
/*
* Printing character.