L4Re Operating System Framework
Interface and Usage Documentation
Loading...
Searching...
No Matches
ktrace_events.h
1/* Note, automatically generated from Fiasco binary */
2#pragma once
3
4enum L4_ktrace_tbuf_entry_fixed
5{
6 l4_ktrace_tbuf_unused = 0,
7 l4_ktrace_tbuf_pf = 1,
8 l4_ktrace_tbuf_ipc = 2,
9 l4_ktrace_tbuf_ipc_res = 3,
10 l4_ktrace_tbuf_ipc_trace = 4,
11 l4_ktrace_tbuf_ke = 5,
12 l4_ktrace_tbuf_ke_reg = 6,
13 l4_ktrace_tbuf_breakpoint = 7,
14 l4_ktrace_tbuf_ke_bin = 8,
15 l4_ktrace_tbuf_dynentries = 9,
16 l4_ktrace_tbuf_max = 128,
17 l4_ktrace_tbuf_hidden = 128,
18};
19
20typedef unsigned long L4_ktrace_t__Address;
21typedef unsigned long L4_ktrace_t__Cap_index;
22typedef void L4_ktrace_t__Context;
23typedef void L4_ktrace_t__Context__Drq;
24typedef unsigned L4_ktrace_t__Context__Drq_log__Type;
25typedef unsigned L4_ktrace_t__Cpu_number;
26typedef void L4_ktrace_t__Irq_base;
27typedef void L4_ktrace_t__Irq_chip;
28typedef void L4_ktrace_t__Kobject;
29typedef unsigned long L4_ktrace_t__L4_error;
30typedef unsigned long L4_ktrace_t__L4_msg_tag;
31typedef unsigned long L4_ktrace_t__L4_obj_ref;
32typedef unsigned L4_ktrace_t__L4_timeout_pair;
33typedef unsigned long L4_ktrace_t__Mword;
34typedef void L4_ktrace_t__Rcu_item;
35typedef void L4_ktrace_t__Sched_context;
36typedef long L4_ktrace_t__Smword;
37typedef void L4_ktrace_t__Space;
38typedef unsigned int L4_ktrace_t__Unsigned32;
39typedef unsigned long long L4_ktrace_t__Unsigned64;
40typedef unsigned char L4_ktrace_t__Unsigned8;
41typedef void L4_ktrace_t__cxx__Type_info;
42
43typedef struct __attribute__((packed))
44{
45 L4_ktrace_t__Mword _number; /* 0+8 */
46 L4_ktrace_t__Address _ip; /* 8+8 */
47 L4_ktrace_t__Unsigned64 _tsc; /* 16+8 */
48 L4_ktrace_t__Context *_ctx; /* 24+8 */
49 L4_ktrace_t__Unsigned32 _pmc1; /* 32+4 */
50 L4_ktrace_t__Unsigned32 _pmc2; /* 36+4 */
51 L4_ktrace_t__Unsigned32 _kclock; /* 40+4 */
52 L4_ktrace_t__Unsigned8 _type; /* 44+1 */
53 L4_ktrace_t__Unsigned8 _cpu; /* 45+1 */
54 union __attribute__((__packed__))
55 {
56 struct __attribute__((__packed__))
57 {
58 char __pre_pad[2];
59 void *func; /* 48+8 */
60 L4_ktrace_t__Context *thread; /* 56+8 */
61 L4_ktrace_t__Context__Drq *rq; /* 64+8 */
62 L4_ktrace_t__Cpu_number target_cpu; /* 72+4 */
63 L4_ktrace_t__Context__Drq_log__Type type; /* 76+4 */
64 char wait; /* 80+1 */
65 } drq; /* 88 */
66 struct __attribute__((__packed__))
67 {
68 char __pre_pad[2];
69 L4_ktrace_t__Mword state; /* 48+8 */
70 L4_ktrace_t__Mword ip; /* 56+8 */
71 L4_ktrace_t__Mword sp; /* 64+8 */
72 L4_ktrace_t__Mword space; /* 72+8 */
73 L4_ktrace_t__Mword err; /* 80+8 */
74 unsigned char type; /* 88+1 */
75 unsigned char trap; /* 89+1 */
76 } vcpu; /* 96 */
77 struct __attribute__((__packed__))
78 {
79 char __pre_pad[2];
80 L4_ktrace_t__Smword op; /* 48+8 */
81 L4_ktrace_t__Cap_index buffer; /* 56+8 */
82 L4_ktrace_t__Mword id; /* 64+8 */
83 L4_ktrace_t__Mword ram; /* 72+8 */
84 L4_ktrace_t__Mword newo; /* 80+8 */
85 } factory; /* 88 */
86 struct __attribute__((__packed__))
87 {
88 char __pre_pad[2];
89 L4_ktrace_t__Mword gate_dbg_id; /* 48+8 */
90 L4_ktrace_t__Mword thread_dbg_id; /* 56+8 */
91 L4_ktrace_t__Mword label; /* 64+8 */
92 } gate; /* 72 */
93 struct __attribute__((__packed__))
94 {
95 char __pre_pad[2];
96 L4_ktrace_t__Irq_base *obj; /* 48+8 */
97 L4_ktrace_t__Irq_chip *chip; /* 56+8 */
98 L4_ktrace_t__Mword pin; /* 64+8 */
99 } irq; /* 72 */
100 struct __attribute__((__packed__))
101 {
102 char __pre_pad[2];
103 L4_ktrace_t__Kobject *obj; /* 48+8 */
104 L4_ktrace_t__Mword id; /* 56+8 */
105 L4_ktrace_t__cxx__Type_info *type; /* 64+8 */
106 L4_ktrace_t__Mword ram; /* 72+8 */
107 } destroy; /* 80 */
108 struct __attribute__((__packed__))
109 {
110 char __pre_pad[2];
111 L4_ktrace_t__Cpu_number cpu; /* 48+4 */
112 char __pad_1[4];
113 L4_ktrace_t__Rcu_item *item; /* 56+8 */
114 void *cb; /* 64+8 */
115 unsigned char event; /* 72+1 */
116 } rcu; /* 80 */
117 struct __attribute__((__packed__))
118 {
119 char __pre_pad[2];
120 L4_ktrace_t__Mword id; /* 48+8 */
121 L4_ktrace_t__Mword mask; /* 56+8 */
122 L4_ktrace_t__Mword fpage; /* 64+8 */
123 char map; /* 72+1 */
124 } tmap; /* 80 */
125 struct __attribute__((__packed__))
126 {
127 char __pre_pad[2];
128 L4_ktrace_t__Address _address; /* 48+8 */
129 int _len; /* 56+4 */
130 char __pad_1[4];
131 L4_ktrace_t__Mword _value; /* 64+8 */
132 int _mode; /* 72+4 */
133 } bp; /* 80 */
134 struct __attribute__((__packed__))
135 {
136 char __pre_pad[2];
137 L4_ktrace_t__Context *dst; /* 48+8 */
138 L4_ktrace_t__Context *dst_orig; /* 56+8 */
139 L4_ktrace_t__Address kernel_ip; /* 64+8 */
140 L4_ktrace_t__Mword lock_cnt; /* 72+8 */
141 L4_ktrace_t__Space *from_space; /* 80+8 */
142 L4_ktrace_t__Sched_context *from_sched; /* 88+8 */
143 L4_ktrace_t__Mword from_prio; /* 96+8 */
144 } context_switch; /* 104 */
145 struct __attribute__((__packed__))
146 {
147 } empty; /* 48 */
148 struct __attribute__((__packed__))
149 {
150 char __pre_pad[2];
151 L4_ktrace_t__L4_msg_tag _tag; /* 48+8 */
152 L4_ktrace_t__Mword _dword[2]; /* 56+16 */
153 L4_ktrace_t__L4_obj_ref _dst; /* 72+8 */
154 L4_ktrace_t__Mword _dbg_id; /* 80+8 */
155 L4_ktrace_t__Mword _label; /* 88+8 */
156 L4_ktrace_t__L4_timeout_pair _timeout; /* 96+4 */
157 char __pad_1[4];
158 L4_ktrace_t__Unsigned64 _to_abs_rcv; /* 104+8 */
159 } ipc; /* 112 */
160 struct __attribute__((__packed__))
161 {
162 L4_ktrace_t__Unsigned8 _have_snd; /* 46+1 */
163 L4_ktrace_t__Unsigned8 _is_np; /* 47+1 */
164 L4_ktrace_t__L4_msg_tag _tag; /* 48+8 */
165 L4_ktrace_t__Mword _dword[2]; /* 56+16 */
166 L4_ktrace_t__L4_error _result; /* 72+8 */
167 L4_ktrace_t__Mword _from; /* 80+8 */
168 L4_ktrace_t__L4_obj_ref _dst; /* 88+8 */
169 L4_ktrace_t__Mword _pair_event; /* 96+8 */
170 } ipc_res; /* 104 */
171 struct __attribute__((__packed__))
172 {
173 char __pre_pad[2];
174 union __attribute__((__packed__)) {
175 char msg[80]; /* 0+80 */
176 struct __attribute__((__packed__)) {
177 char tag[2]; /* 0+2 */
178 char __pad_1[6];
179 char *ptr; /* 8+8 */
180 } mptr; /* 0+16 */
181 } msg; /* 48+80 */
182 } ke; /* 128 */
183 struct __attribute__((__packed__))
184 {
185 char _msg[80]; /* 46+80 */
186 } ke_bin; /* 128 */
187 struct __attribute__((__packed__))
188 {
189 char __pre_pad[2];
190 L4_ktrace_t__Mword v[3]; /* 48+24 */
191 union __attribute__((__packed__)) {
192 char msg[56]; /* 0+56 */
193 struct __attribute__((__packed__)) {
194 char tag[2]; /* 0+2 */
195 char __pad_1[6];
196 char *ptr; /* 8+8 */
197 } mptr; /* 0+16 */
198 } msg; /* 72+56 */
199 } ke_reg; /* 128 */
200 struct __attribute__((__packed__))
201 {
202 char __pre_pad[2];
203 L4_ktrace_t__Address _pfa; /* 48+8 */
204 L4_ktrace_t__Mword _error; /* 56+8 */
205 L4_ktrace_t__Space *_space; /* 64+8 */
206 } pf; /* 72 */
207 struct __attribute__((__packed__))
208 {
209 unsigned short mode; /* 46+2 */
210 L4_ktrace_t__Context *owner; /* 48+8 */
211 unsigned short id; /* 56+2 */
212 unsigned short prio; /* 58+2 */
213 char __pad_1[4];
214 long left; /* 64+8 */
215 unsigned long quantum; /* 72+8 */
216 } sched; /* 80 */
217 struct __attribute__((__packed__))
218 {
219 char __pre_pad[2];
220 L4_ktrace_t__Unsigned32 _error; /* 48+4 */
221 char __pad_1[4];
222 L4_ktrace_t__Mword _cpsr; /* 56+8 */
223 L4_ktrace_t__Mword _sp; /* 64+8 */
224 } trap; /* 72 */
225 struct __attribute__((__packed__))
226 {
227 char _padding[80]; /* 46+80 */
228 char __post_pad[2]; /* 126+2 */
229 } fullsize; /* 128 */
230 struct __attribute__((__packed__))
231 {
232 char __pre_pad[2];
233 L4_ktrace_t__Cap_index cap_idx; /* 48+8 */
234 } ieh; /* 56 */
235 struct __attribute__((__packed__))
236 {
237 char __pre_pad[2];
238 L4_ktrace_t__Mword pfa; /* 48+8 */
239 L4_ktrace_t__Cap_index cap_idx; /* 56+8 */
240 L4_ktrace_t__Mword err; /* 64+8 */
241 } ipfh; /* 72 */
242 struct __attribute__((__packed__))
243 {
244 char __pre_pad[2];
245 L4_ktrace_t__Mword id; /* 48+8 */
246 L4_ktrace_t__Mword ip; /* 56+8 */
247 L4_ktrace_t__Mword sp; /* 64+8 */
248 L4_ktrace_t__Mword op; /* 72+8 */
249 } exregs; /* 80 */
250 struct __attribute__((__packed__))
251 {
252 char __pre_pad[2];
253 L4_ktrace_t__Mword state; /* 48+8 */
254 L4_ktrace_t__Address user_ip; /* 56+8 */
255 L4_ktrace_t__Cpu_number src_cpu; /* 64+4 */
256 L4_ktrace_t__Cpu_number target_cpu; /* 68+4 */
257 } migration; /* 72 */
258 struct __attribute__((__packed__))
259 {
260 char __pre_pad[2];
261 L4_ktrace_t__Address user_ip; /* 48+8 */
262 } timer; /* 56 */
263 } m;
264} l4_tracebuffer_entry_t;