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!!! */
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) {
125 if (db_newlines >= db_maxlines)
131 /* Otherwise, output data directly to the console. */
132 if (c > ' ' && c <= '~') {
134 * Printing character.
135 * If we have spaces to print, print them first.
136 * Use tabs if possible.
138 db_force_whitespace();
140 db_output_position++;
141 db_last_non_space = db_output_position;
143 else if (c == '\n') {
145 db_force_whitespace();
147 db_output_position = 0;
148 db_last_non_space = 0;
149 db_check_interrupt();
150 if (db_maxlines > 0) {
152 if (db_newlines >= db_maxlines)
156 else if (c == '\r') {
158 db_force_whitespace();
160 db_output_position = 0;
161 db_last_non_space = 0;
162 db_check_interrupt();
164 else if (c == '\t') {
165 /* assume tabs every 8 positions */
166 db_output_position = NEXT_TAB(db_output_position);
170 db_output_position++;
172 else if (c == '\007') {
176 /* other characters are assumed non-printing */
183 db_enable_pager(void)
185 if (db_maxlines == 0) {
186 db_maxlines = db_lines_per_page;
193 * Turn off the pager.
196 db_disable_pager(void)
202 * A simple paging callout function. It supports several simple more(1)-like
203 * commands as well as a quit command that sets db_pager_quit which db
204 * commands can poll to see if they should terminate early.
211 db_printf("--More--\r");
219 /* Just one more line. */
225 db_maxlines = db_lines_per_page / 2;
231 db_maxlines = db_lines_per_page;
255 * Return output position
260 return (db_output_position);
268 db_printf(const char *fmt, ...)
276 va_start(listp, fmt);
277 kvprintf (fmt, db_putchar, NULL, db_radix, listp);
285 db_iprintf(const char *fmt,...)
294 for (i = db_indent; i >= 8; i -= 8)
298 va_start(listp, fmt);
299 kvprintf (fmt, db_putchar, NULL, db_radix, listp);
304 * End line if too long.
309 if (db_output_position >= db_max_width)