FreeBSD/Linux Kernel Cross Reference
sys/mach/mach4.defs
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 /*
28 * Matchmaker definitions file for Mach4 kernel interface.
29 */
30
31 /*
32 * HISTORY
33 * $Log: mach4.defs,v $
34 * Revision 2.3 93/08/03 12:31:33 mrt
35 * Addded flavor argument to sampling interface.
36 * [93/07/30 10:25:45 bershad]
37 *
38 * Revision 2.2 93/01/24 13:20:41 danner
39 * Recast Maeda's pc sampling code into new interface file. Also
40 * redefined how it works.
41 * [93/01/11 rvb]
42 *
43 */
44
45 subsystem
46 #if KERNEL_SERVER
47 KernelServer
48 #endif KERNEL_SERVER
49 #if KERNEL_USER
50 KernelUser
51 #endif KERNEL_USER
52 mach4 4000;
53
54 #include <mach/std_types.defs>
55 #include <mach/mach_types.defs>
56
57
58 type sampled_pc_t = struct[3] of unsigned;
59 type sampled_pc_array_t = array[*:512] of sampled_pc_t;
60 type sampled_pc_seqno_t = unsigned;
61 type sampled_pc_flavor_t = unsigned;
62
63 routine task_enable_pc_sampling(
64 host : task_t;
65 out tick : int; /* sample frequency in usecs */
66 flavor : sampled_pc_flavor_t );
67
68 routine task_disable_pc_sampling(
69 host : task_t;
70 out samplecnt : int);
71
72 routine task_get_sampled_pcs(
73 host : task_t;
74 inout seqno : sampled_pc_seqno_t;
75 out sampled_pcs : sampled_pc_array_t);
76
77 routine thread_enable_pc_sampling(
78 host : thread_t;
79 out tick : int; /* sample frequency in usecs*/
80 flavor : sampled_pc_flavor_t );
81
82 routine thread_disable_pc_sampling(
83 host : thread_t;
84 out samplecnt : int);
85
86 routine thread_get_sampled_pcs(
87 host : thread_t;
88 inout seqno : sampled_pc_seqno_t;
89 out sampled_pcs : sampled_pc_array_t);
90
91
92 skip /* pc_sampling reserved 1*/;
93 skip /* pc_sampling reserved 2*/;
94 skip /* pc_sampling reserved 3*/;
95 skip /* pc_sampling reserved 4*/;
Cache object: 3d9a57deeea4d2461c8a9834798146a7
|