Ignore machine-check MSRs
[freebsd-src/fkvm-freebsd.git] / sys / ddb / db_break.h
blobf30b9337c26c2dfa2eb5c4cef476806c99dac7b7
1 /*-
2 * Mach Operating System
3 * Copyright (c) 1991,1990 Carnegie Mellon University
4 * All Rights Reserved.
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 * software, derivative works or modified versions, and any portions
10 * thereof, and that both notices appear in supporting documentation.
12 * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS
13 * CONDITION. CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR
14 * ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
16 * Carnegie Mellon requests users of this software to return to
18 * Software Distribution Coordinator or Software.Distribution@CS.CMU.EDU
19 * School of Computer Science
20 * Carnegie Mellon University
21 * Pittsburgh PA 15213-3890
23 * any improvements or extensions that they make and grant Carnegie the
24 * rights to redistribute these changes.
26 * $FreeBSD$
30 * Author: David B. Golub, Carnegie Mellon University
31 * Date: 7/90
33 #ifndef _DDB_DB_BREAK_H_
34 #define _DDB_DB_BREAK_H_
37 * Breakpoint.
40 #ifndef BKPT_INST_TYPE
41 #define BKPT_INST_TYPE int
42 #endif
44 struct db_breakpoint {
45 vm_map_t map; /* in this map */
46 db_addr_t address; /* set here */
47 int init_count; /* number of times to skip bkpt */
48 int count; /* current count */
49 int flags; /* flags: */
50 #define BKPT_SINGLE_STEP 0x2 /* to simulate single step */
51 #define BKPT_TEMP 0x4 /* temporary */
52 BKPT_INST_TYPE bkpt_inst; /* saved instruction at bkpt */
53 struct db_breakpoint *link; /* link in in-use or free chain */
55 typedef struct db_breakpoint *db_breakpoint_t;
57 void db_clear_breakpoints(void);
58 #ifdef SOFTWARE_SSTEP
59 void db_delete_temp_breakpoint(db_breakpoint_t);
60 #endif
61 db_breakpoint_t db_find_breakpoint_here(db_addr_t addr);
62 void db_set_breakpoints(void);
63 #ifdef SOFTWARE_SSTEP
64 db_breakpoint_t db_set_temp_breakpoint(db_addr_t);
65 #endif
67 #endif /* !_DDB_DB_BREAK_H_ */