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 volatile int db_pager_quit; /* user requested quit */
70 static int db_newlines; /* # lines this page */
71 static int db_maxlines; /* max lines/page when paging */
72 static int ddb_use_printf = 0;
73 SYSCTL_INT(_debug, OID_AUTO, ddb_use_printf, CTLFLAG_RW, &ddb_use_printf, 0,
74 "use printf for all ddb output");
76 static void db_putchar(int c, void *arg);
77 static void db_pager(void);
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!!! */
93 db_capture_writech(' ');
99 db_capture_writech(' ');
103 db_last_non_space = db_output_position;
107 * Output character. Buffer whitespace.
111 int c; /* character to output */
116 * If not in the debugger or the user requests it, output data to
117 * both the console and the message buffer.
119 if (!kdb_active || ddb_use_printf) {
123 if (c == '\r' || c == '\n')
124 db_check_interrupt();
125 if (c == '\n' && db_maxlines > 0) {
127 if (db_newlines >= db_maxlines)
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_capture_writech(c);
143 db_output_position++;
144 db_last_non_space = db_output_position;
146 else if (c == '\n') {
149 db_capture_writech(c);
150 db_output_position = 0;
151 db_last_non_space = 0;
152 db_check_interrupt();
153 if (db_maxlines > 0) {
155 if (db_newlines >= db_maxlines)
159 else if (c == '\r') {
162 db_capture_writech(c);
163 db_output_position = 0;
164 db_last_non_space = 0;
165 db_check_interrupt();
167 else if (c == '\t') {
168 /* assume tabs every 8 positions */
169 db_output_position = NEXT_TAB(db_output_position);
173 db_output_position++;
175 else if (c == '\007') {
178 /* No need to beep in a log: db_capture_writech(c); */
180 /* other characters are assumed non-printing */
187 db_enable_pager(void)
189 if (db_maxlines == 0) {
190 db_maxlines = db_lines_per_page;
197 * Turn off the pager.
200 db_disable_pager(void)
206 * A simple paging callout function. It supports several simple more(1)-like
207 * commands as well as a quit command that sets db_pager_quit which db
208 * commands can poll to see if they should terminate early.
215 db_capture_enterpager();
216 db_printf("--More--\r");
224 /* Just one more line. */
230 db_maxlines = db_lines_per_page / 2;
236 db_maxlines = db_lines_per_page;
256 db_force_whitespace();
259 db_capture_exitpager();
263 * Return output position
268 return (db_output_position);
276 db_printf(const char *fmt, ...)
284 va_start(listp, fmt);
285 kvprintf (fmt, db_putchar, NULL, db_radix, listp);
293 db_iprintf(const char *fmt,...)
302 for (i = db_indent; i >= 8; i -= 8)
306 va_start(listp, fmt);
307 kvprintf (fmt, db_putchar, NULL, db_radix, listp);
312 * End line if too long.
315 db_end_line(int field_width)
317 if (db_output_position + field_width > db_max_width)