db_output.h (256281) | db_output.h (273265) |
---|---|
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 * $FreeBSD: stable/10/sys/ddb/db_output.h 163134 2006-10-08 18:15:08Z bde $ | 26 * $FreeBSD: stable/10/sys/ddb/db_output.h 273265 2014-10-18 19:22:59Z pfg $ |
27 */ 28 29#ifndef _DDB_DB_OUTPUT_H_ 30#define _DDB_DB_OUTPUT_H_ 31 32/* | 27 */ 28 29#ifndef _DDB_DB_OUTPUT_H_ 30#define _DDB_DB_OUTPUT_H_ 31 32/* |
33 * Author: David B. Golub, Carnegie Mellon University | 33 * Author: David B. Golub, Carnegie Mellon University |
34 * Date: 8/90 35 */ 36 37/* 38 * Printing routines for kernel debugger. 39 */ 40 41void db_disable_pager(void); 42void db_enable_pager(void); 43void db_end_line(int); 44void db_force_whitespace(void); 45int db_print_position(void); 46 47#endif /* !_DDB_DB_OUTPUT_H_ */ | 34 * Date: 8/90 35 */ 36 37/* 38 * Printing routines for kernel debugger. 39 */ 40 41void db_disable_pager(void); 42void db_enable_pager(void); 43void db_end_line(int); 44void db_force_whitespace(void); 45int db_print_position(void); 46 47#endif /* !_DDB_DB_OUTPUT_H_ */ |