FreeBSD/Linux Kernel Cross Reference
sys/ttd/ttd_server.h
1 /*
2 * Mach Operating System
3 * Copyright (c) 1993 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 * Prototypes for ttd_server.c
28 *
29 * HISTORY:
30 * $Log: ttd_server.h,v $
31 * Revision 2.2 93/05/10 23:25:01 rvb
32 * Checkin for MK80 branch.
33 * [93/05/10 15:09:23 grm]
34 *
35 * Revision 2.1.2.2 93/04/20 11:07:57 grm
36 * Added extern for break_set.
37 * [93/04/20 grm]
38 *
39 * Revision 2.1.2.1 93/03/03 14:41:33 grm
40 * Interface changed. Version that works.
41 * [93/03/03 grm]
42 *
43 * Revision 2.1.1.1 93/01/28 15:18:08 grm
44 * Initial Version.
45 *
46 *
47 */
48
49 #ifndef _TTD_SERVER_H_
50 #define _TTD_SERVER_H_
51
52 #include <mach/boolean.h>
53 #include <mach/mach_types.h>
54
55 extern void kttd_stop_target(void);
56
57 extern boolean_t break_set(ttd_address addr,
58 ttd_saved_inst *inst);
59
60 extern boolean_t kttd_single_step(void);
61 extern boolean_t kttd_clear_single_step(void);
62 extern boolean_t kttd_in_single_step(void);
63
64 extern void ttd_service_request(void);
65
66 extern void ttd_server_initialize(void);
67
68 #endif /* _TTD_SERVER_H_ */
Cache object: d99961d34e86f933db4ae5e5e4d9f823
|