db_output.h (9b2e535452929d6f2f798a2c01b23b1f547a0b0f) db_output.h (4753168fae3062574cec15130f5140ddfb53b59f)
1/*
2 * Mach Operating System
3 * Copyright (c) 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 unchanged lines hidden (view full) ---

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 the
24 * rights to redistribute these changes.
25 *
1/*
2 * Mach Operating System
3 * Copyright (c) 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 unchanged lines hidden (view full) ---

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 the
24 * rights to redistribute these changes.
25 *
26 * $Id: db_output.h,v 1.6 1994/09/27 12:15:53 davidg Exp $
26 * $Id: db_output.h,v 1.7 1995/05/30 07:57:04 rgrimes Exp $
27 */
28
29#ifndef _DDB_DB_OUTPUT_H_
27 */
28
29#ifndef _DDB_DB_OUTPUT_H_
30#define _DDB_DB_OUTPUT_H_ 1
30#define _DDB_DB_OUTPUT_H_
31
32/*
33 * Author: David B. Golub, Carnegie Mellon University
34 * Date: 8/90
35 */
36
37/*
38 * Printing routines for kernel debugger.
39 */
40
31
32/*
33 * Author: David B. Golub, Carnegie Mellon University
34 * Date: 8/90
35 */
36
37/*
38 * Printing routines for kernel debugger.
39 */
40
41extern void db_force_whitespace();
42extern int db_print_position();
43extern void db_end_line();
44#endif /* _DDB_DB_OUTPUT_H_ */
41void db_end_line __P((void));
42void db_force_whitespace __P((void));
43int db_print_position __P((void));
44
45#endif /* !_DDB_DB_OUTPUT_H_ */