1 /*
2 * Mach Operating System
3 * Copyright (c) 1992 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 * software, derivative works or modified versions, and any portions
10 * thereof, and that both notices appear in supporting documentation.
11 *
12 * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS "AS IS"
13 * CONDITION. CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR
14 * ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
15 *
16 * Carnegie Mellon requests users of this software to return to
17 *
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 Mellon
24 * the rights to redistribute these changes.
25 */
26 /*
27 * The i386 ttd machine dependent state
28 *
29 * HISTORY:
30 * $Log: kttd_machdep.h,v $
31 * Revision 2.2 93/05/10 23:23:38 rvb
32 * Checkin for MK80 branch.
33 * [93/05/10 15:11:30 grm]
34 *
35 * Revision 2.1.1.2 93/04/20 11:44:35 grm
36 * Moved some defines here from ttd_stub.h.
37 *
38 *
39 * Revision 2.1.1.1 93/03/25 11:32:50 grm
40 * Moved here from ../mach/i386.
41 *
42 *
43 */
44
45 #ifndef _KTTD_MACHDEP_H_
46 #define _KTTD_MACHDEP_H_
47
48 #define MAX_KTTD_ACTIVE 2
49 #define MIN_KTTD_ACTIVE 0
50
51 /*
52 * Register state for gdb
53 */
54 struct i386_gdb_register_state {
55 int eax;
56 int ecx;
57 int edx;
58 int ebx;
59 int esp; /* 4 */
60 int ebp; /* 5 */
61 int esi;
62 int edi;
63 int eip; /* 8 */
64 int efl; /* 9 */
65 int cs;
66 int ss;
67 int ds;
68 int es;
69 int fs;
70 int gs;
71 };
72
73 typedef struct i386_gdb_register_state ttd_machine_state;
74
75 typedef unsigned long ttd_saved_inst;
76
77 #endif /* _KTTD_MACHDEP_H_ */
Cache object: 03b5e12e8da2b0f88453d5d0b04fcf77
|