1 /*
2 * Mach Operating System
3 * Copyright (c) 1993,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 * HISTORY
28 * $Log: mach_timer_reply.defs,v $
29 * Revision 2.2 93/11/17 17:40:19 dbg
30 * Renamed to 'mach_timer_reply.defs'.
31 * [93/03/24 dbg]
32 *
33 * Changed type of request port in expire message to 'MOVE_SEND',
34 * to let kernel just donate send right to expire message.
35 * [93/02/26 dbg]
36 *
37 * Added to microkernel mainline. Changed subsystem number
38 * to use reply range for rt.defs.
39 *
40 * Created
41 * [92/06/05 savage]
42 *
43 */
44
45 subsystem
46 #if KERNEL_USER
47 KernelUser
48 #endif /* KERNEL_USER */
49 mach_timer 4000; /* use mach4 range */
50
51 #include <mach/std_types.defs>
52 #include <mach/mach_types.defs>
53
54 skip; /* pc sampling */
55 skip; /* pc sampling */
56 skip; /* pc sampling */
57 skip; /* pc sampling */
58 skip; /* pc sampling */
59 skip; /* pc sampling */
60 skip; /* pc sampling */
61 skip; /* pc sampling */
62 skip; /* pc sampling */
63 skip; /* pc sampling */
64
65 skip; /* timer_create */
66 skip; /* timer_terminate */
67 skip; /* timer_get_evc */
68 skip; /* timer_arm */
69 skip; /* timer_sleep */
70 skip; /* timer_cancel */
71 skip; /* timer_info */
72
73 simpleroutine timer_expire(
74 expire_port : expire_port_t =
75 MACH_MSG_TYPE_MOVE_SEND
76 ctype: mach_port_t;
77 time : time_spec_t);
78
79
80
81
82
83
84
85
Cache object: 41e8671782de80e7154482c9e9eb4129
|