xref: /netbsd/sys/ddb/db_run.h (revision bf9ec67e)
1 /*	$NetBSD: db_run.h,v 1.7 2002/02/15 07:33:52 simonb Exp $	*/
2 
3 /*
4  * Mach Operating System
5  * Copyright (c) 1991,1990 Carnegie Mellon University
6  * All Rights Reserved.
7  *
8  * Permission to use, copy, modify and distribute this software and its
9  * documentation is hereby granted, provided that both the copyright
10  * notice and this permission notice appear in all copies of the
11  * software, derivative works or modified versions, and any portions
12  * thereof, and that both notices appear in supporting documentation.
13  *
14  * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS "AS IS"
15  * CONDITION.  CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR
16  * ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
17  *
18  * Carnegie Mellon requests users of this software to return to
19  *
20  *  Software Distribution Coordinator  or  Software.Distribution@CS.CMU.EDU
21  *  School of Computer Science
22  *  Carnegie Mellon University
23  *  Pittsburgh PA 15213-3890
24  *
25  * any improvements or extensions that they make and grant Carnegie the
26  * rights to redistribute these changes.
27  *
28  * 	Author: David B. Golub, Carnegie Mellon University
29  *	Date:	7/90
30  */
31 
32 #ifndef	_DDB_DB_RUN_
33 #define	_DDB_DB_RUN_
34 
35 /*
36  * Commands to run process.
37  */
38 extern int	db_inst_count;
39 extern int	db_load_count;
40 extern int	db_store_count;
41 
42 boolean_t	db_stop_at_pc(db_regs_t *, boolean_t *);
43 void		db_restart_at_pc(db_regs_t *, boolean_t);
44 void		db_single_step(db_regs_t *);
45 #ifndef db_set_single_step
46 void		db_set_single_step(db_regs_t *);
47 #endif
48 #ifndef db_clear_single_step
49 void		db_clear_single_step(db_regs_t *);
50 #endif
51 void		db_single_step_cmd(db_expr_t, int, db_expr_t, char *);
52 void		db_trace_until_call_cmd(db_expr_t, int, db_expr_t, char *);
53 void		db_trace_until_matching_cmd(db_expr_t, int, db_expr_t, char *);
54 void		db_continue_cmd(db_expr_t, int, db_expr_t, char *);
55 
56 #endif	/* _DDB_DB_RUN_ */
57