1 1.1 cgd /* 2 1.1 cgd * Mach Operating System 3 1.1 cgd * Copyright (c) 1991,1990 Carnegie Mellon University 4 1.1 cgd * All Rights Reserved. 5 1.1 cgd * 6 1.1 cgd * Permission to use, copy, modify and distribute this software and its 7 1.1 cgd * documentation is hereby granted, provided that both the copyright 8 1.1 cgd * notice and this permission notice appear in all copies of the 9 1.1 cgd * software, derivative works or modified versions, and any portions 10 1.1 cgd * thereof, and that both notices appear in supporting documentation. 11 1.1 cgd * 12 1.1 cgd * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS 13 1.1 cgd * CONDITION. CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR 14 1.1 cgd * ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE. 15 1.1 cgd * 16 1.1 cgd * Carnegie Mellon requests users of this software to return to 17 1.1 cgd * 18 1.1 cgd * Software Distribution Coordinator or Software.Distribution (at) CS.CMU.EDU 19 1.1 cgd * School of Computer Science 20 1.1 cgd * Carnegie Mellon University 21 1.1 cgd * Pittsburgh PA 15213-3890 22 1.1 cgd * 23 1.1 cgd * any improvements or extensions that they make and grant Carnegie the 24 1.1 cgd * rights to redistribute these changes. 25 1.1 cgd */ 26 1.1 cgd /* 27 1.1 cgd * HISTORY 28 1.1 cgd * $Log: db_output.h,v $ 29 1.1 cgd * Revision 1.1 1993/03/21 09:45:37 cgd 30 1.1 cgd * Initial revision 31 1.1 cgd * 32 1.1 cgd * Revision 1.1 1992/03/25 21:45:20 pace 33 1.1 cgd * Initial revision 34 1.1 cgd * 35 1.1 cgd * Revision 2.3 91/02/05 17:06:49 mrt 36 1.1 cgd * Changed to new Mach copyright 37 1.1 cgd * [91/01/31 16:18:48 mrt] 38 1.1 cgd * 39 1.1 cgd * Revision 2.2 90/08/27 21:51:32 dbg 40 1.1 cgd * Created. 41 1.1 cgd * [90/08/07 dbg] 42 1.1 cgd * 43 1.1 cgd */ 44 1.1 cgd /* 45 1.1 cgd * Author: David B. Golub, Carnegie Mellon University 46 1.1 cgd * Date: 8/90 47 1.1 cgd */ 48 1.1 cgd 49 1.1 cgd /* 50 1.1 cgd * Printing routines for kernel debugger. 51 1.1 cgd */ 52 1.1 cgd 53 1.1 cgd extern void db_force_whitespace(); 54 extern int db_print_position(); 55 extern void db_end_line(); 56 extern int db_printf(); 57