2 * Mach Operating System
3 * Copyright (c) 1991,1990 Carnegie Mellon University
6 * Permission to use, copy, modify and distribute this software and its
7 * documentation is hereby granted, provided that both the copyright
8 * notice and this permission notice appear in all copies of the
9 * software, derivative works or modified versions, and any portions
10 * thereof, and that both notices appear in supporting documentation.
12 * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS
13 * CONDITION. CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR
14 * ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
16 * Carnegie Mellon requests users of this software to return to
18 * Software Distribution Coordinator or Software.Distribution@CS.CMU.EDU
19 * School of Computer Science
20 * Carnegie Mellon University
21 * Pittsburgh PA 15213-3890
23 * any improvements or extensions that they make and grant Carnegie the
24 * rights to redistribute these changes.
27 * Author: David B. Golub, Carnegie Mellon University
32 * Printf and character output for debugger.
35 #include <sys/cdefs.h>
36 __FBSDID("$FreeBSD$");
38 #include <sys/param.h>
39 #include <sys/systm.h>
42 #include <sys/kernel.h>
43 #include <sys/sysctl.h>
45 #include <machine/stdarg.h>
48 #include <ddb/db_output.h>
51 * Character output - tracks position in line.
52 * To do this correctly, we should know how wide
53 * the output device is - then we could zero
54 * the line position when the output device wraps
55 * around to the start of the next line.
57 * Instead, we count the number of spaces printed
58 * since the last printing character so that we
59 * don't print trailing spaces. This avoids most
62 static int db_output_position = 0; /* output column */
63 static int db_last_non_space = 0; /* last non-space character */
64 db_expr_t db_tab_stop_width = 8; /* how wide are tab stops? */
66 ((((i) + db_tab_stop_width) / db_tab_stop_width) * db_tab_stop_width)
67 db_expr_t db_max_width = 79; /* output line width */
68 db_expr_t db_lines_per_page = 20; /* lines per page */
69 static int db_newlines; /* # lines this page */
70 static int db_maxlines = -1; /* max lines/page when paging */
71 static db_page_calloutfcn_t *db_page_callout = NULL;
72 static void *db_page_callout_arg = NULL;
73 static int ddb_use_printf = 0;
74 SYSCTL_INT(_debug, OID_AUTO, ddb_use_printf, CTLFLAG_RW, &ddb_use_printf, 0,
75 "use printf for all ddb output");
77 static void db_putchar(int c, void *arg);
80 * Force pending whitespace.
85 register int last_print, next_tab;
87 last_print = db_last_non_space;
88 while (last_print < db_output_position) {
89 next_tab = NEXT_TAB(last_print);
90 if (next_tab <= db_output_position) {
91 while (last_print < next_tab) { /* DON'T send a tab!!! */
101 db_last_non_space = db_output_position;
105 * Output character. Buffer whitespace.
109 int c; /* character to output */
114 * If not in the debugger or the user requests it, output data to
115 * both the console and the message buffer.
117 if (!kdb_active || ddb_use_printf) {
121 if (c == '\r' || c == '\n')
122 db_check_interrupt();
123 if (c == '\n' && db_maxlines > 0 && db_page_callout != NULL) {
125 if (db_newlines >= db_maxlines) {
127 db_page_callout(db_page_callout_arg);
133 /* Otherwise, output data directly to the console. */
134 if (c > ' ' && c <= '~') {
136 * Printing character.
137 * If we have spaces to print, print them first.
138 * Use tabs if possible.
140 db_force_whitespace();
142 db_output_position++;
143 db_last_non_space = db_output_position;
145 else if (c == '\n') {
147 db_force_whitespace();
149 db_output_position = 0;
150 db_last_non_space = 0;
151 db_check_interrupt();
152 if (db_maxlines > 0 && db_page_callout != NULL) {
154 if (db_newlines >= db_maxlines) {
156 db_page_callout(db_page_callout_arg);
160 else if (c == '\r') {
162 db_force_whitespace();
164 db_output_position = 0;
165 db_last_non_space = 0;
166 db_check_interrupt();
168 else if (c == '\t') {
169 /* assume tabs every 8 positions */
170 db_output_position = NEXT_TAB(db_output_position);
174 db_output_position++;
176 else if (c == '\007') {
180 /* other characters are assumed non-printing */
184 * Register callout for providing a pager for output.
187 db_setup_paging(db_page_calloutfcn_t *callout, void *arg, int maxlines)
190 db_page_callout = callout;
191 db_page_callout_arg = arg;
192 db_maxlines = maxlines;
197 * A simple paging callout function. If the argument is not null, it
198 * points to an integer that will be set to 1 if the user asks to quit.
201 db_simple_pager(void *arg)
205 db_printf("--More--\r");
213 /* Just one more line. */
214 db_setup_paging(db_simple_pager, arg, 1);
219 db_setup_paging(db_simple_pager, arg,
220 db_lines_per_page / 2);
226 db_setup_paging(db_simple_pager, arg,
251 * Return output position
256 return (db_output_position);
264 db_printf(const char *fmt, ...)
272 va_start(listp, fmt);
273 kvprintf (fmt, db_putchar, NULL, db_radix, listp);
281 db_iprintf(const char *fmt,...)
290 for (i = db_indent; i >= 8; i -= 8)
294 va_start(listp, fmt);
295 kvprintf (fmt, db_putchar, NULL, db_radix, listp);
300 * End line if too long.
305 if (db_output_position >= db_max_width)