db_output.h revision 4
14Srgrimes/* 24Srgrimes * Mach Operating System 34Srgrimes * Copyright (c) 1991,1990 Carnegie Mellon University 44Srgrimes * All Rights Reserved. 54Srgrimes * 64Srgrimes * Permission to use, copy, modify and distribute this software and its 74Srgrimes * documentation is hereby granted, provided that both the copyright 84Srgrimes * notice and this permission notice appear in all copies of the 94Srgrimes * software, derivative works or modified versions, and any portions 104Srgrimes * thereof, and that both notices appear in supporting documentation. 114Srgrimes * 124Srgrimes * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS 134Srgrimes * CONDITION. CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR 144Srgrimes * ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE. 154Srgrimes * 164Srgrimes * Carnegie Mellon requests users of this software to return to 174Srgrimes * 184Srgrimes * Software Distribution Coordinator or Software.Distribution@CS.CMU.EDU 194Srgrimes * School of Computer Science 204Srgrimes * Carnegie Mellon University 214Srgrimes * Pittsburgh PA 15213-3890 224Srgrimes * 234Srgrimes * any improvements or extensions that they make and grant Carnegie the 244Srgrimes * rights to redistribute these changes. 254Srgrimes */ 264Srgrimes/* 274Srgrimes * HISTORY 284Srgrimes * $Log: db_output.h,v $ 294Srgrimes * Revision 1.1 1992/03/25 21:45:20 pace 304Srgrimes * Initial revision 314Srgrimes * 324Srgrimes * Revision 2.3 91/02/05 17:06:49 mrt 334Srgrimes * Changed to new Mach copyright 344Srgrimes * [91/01/31 16:18:48 mrt] 354Srgrimes * 364Srgrimes * Revision 2.2 90/08/27 21:51:32 dbg 374Srgrimes * Created. 384Srgrimes * [90/08/07 dbg] 394Srgrimes * 404Srgrimes */ 414Srgrimes/* 424Srgrimes * Author: David B. Golub, Carnegie Mellon University 434Srgrimes * Date: 8/90 444Srgrimes */ 454Srgrimes 464Srgrimes/* 474Srgrimes * Printing routines for kernel debugger. 484Srgrimes */ 494Srgrimes 504Srgrimesextern void db_force_whitespace(); 514Srgrimesextern int db_print_position(); 524Srgrimesextern void db_end_line(); 534Srgrimesextern int db_printf(); 54