FreeBSD/Linux Kernel Cross Reference
sys/ddb/db_output.h
1 /*
2 * Mach Operating System
3 * Copyright (c) 1993,1992,1991,1990 Carnegie Mellon University
4 * All Rights Reserved.
5 *
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.
11 *
12 * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS "AS IS"
13 * CONDITION. CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR
14 * ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
15 *
16 * Carnegie Mellon requests users of this software to return to
17 *
18 * Software Distribution Coordinator or Software.Distribution@CS.CMU.EDU
19 * School of Computer Science
20 * Carnegie Mellon University
21 * Pittsburgh PA 15213-3890
22 *
23 * any improvements or extensions that they make and grant Carnegie Mellon
24 * the rights to redistribute these changes.
25 */
26 /*
27 * HISTORY
28 * $Log: db_output.h,v $
29 * Revision 2.7 93/11/17 16:23:59 dbg
30 * Proper prototypes for functions taking no arguments.
31 * [93/10/06 dbg]
32 *
33 * Revision 2.6 93/01/14 17:25:28 danner
34 * Proper prototype for db_printf(), but incompat with varargs
35 * so set it aside for now.
36 * [92/11/30 af]
37 *
38 * Revision 2.5 92/05/21 17:07:24 jfriedl
39 * Cleanup to quiet gcc warnings.
40 * [92/05/18 jfriedl]
41 *
42 * Revision 2.4 91/05/14 15:35:07 mrt
43 * Correcting copyright
44 *
45 * Revision 2.3 91/02/05 17:06:49 mrt
46 * Changed to new Mach copyright
47 * [91/01/31 16:18:48 mrt]
48 *
49 * Revision 2.2 90/08/27 21:51:32 dbg
50 * Created.
51 * [90/08/07 dbg]
52 *
53 */
54 /*
55 * Author: David B. Golub, Carnegie Mellon University
56 * Date: 8/90
57 */
58 #ifndef _DDB_DB_OUTPUT_H_
59 #define _DDB_DB_OUTPUT_H_
60
61 /*
62 * Printing routines for kernel debugger.
63 */
64
65 extern void db_force_whitespace(void);
66 extern int db_print_position(void);
67 extern void db_end_line(void);
68 extern void db_putchar(int c);
69 extern void db_printf(const char *fmt, ...);
70 extern void db_iprintf(const char *fmt, ...);
71
72 extern int db_indent; /* indentation for db_iprintf */
73
74 #endif /* _DDB_DB_OUTPUT_H_ */
Cache object: d2db3b477165f6b9b59cefe824ea23b8
|