1 /* Note, automatically generated from Fiasco binary */
4 enum L4_ktrace_tbuf_entry_fixed
6 l4_ktrace_tbuf_unused = 0,
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,
20 typedef unsigned long L4_ktrace_t__Address;
21 typedef unsigned long L4_ktrace_t__Cap_index;
22 typedef void L4_ktrace_t__Context;
23 typedef void L4_ktrace_t__Context__Drq;
24 typedef unsigned L4_ktrace_t__Context__Drq_log__Type;
25 typedef unsigned L4_ktrace_t__Cpu_number;
26 typedef void L4_ktrace_t__Irq_base;
27 typedef void L4_ktrace_t__Irq_chip;
28 typedef void L4_ktrace_t__Kobject;
29 typedef unsigned long L4_ktrace_t__L4_error;
30 typedef unsigned long L4_ktrace_t__L4_msg_tag;
31 typedef unsigned long L4_ktrace_t__L4_obj_ref;
32 typedef unsigned L4_ktrace_t__L4_timeout_pair;
33 typedef unsigned long L4_ktrace_t__Mword;
34 typedef void L4_ktrace_t__Rcu_item;
35 typedef void L4_ktrace_t__Sched_context;
36 typedef long L4_ktrace_t__Smword;
37 typedef void L4_ktrace_t__Space;
38 typedef unsigned short L4_ktrace_t__Unsigned16;
39 typedef unsigned int L4_ktrace_t__Unsigned32;
40 typedef unsigned long long L4_ktrace_t__Unsigned64;
41 typedef unsigned char L4_ktrace_t__Unsigned8;
42 typedef void L4_ktrace_t__cxx__Type_info;
44 typedef struct __attribute__((packed))
46 L4_ktrace_t__Mword _number; /* 0+4 */
47 L4_ktrace_t__Address _ip; /* 4+4 */
48 L4_ktrace_t__Unsigned64 _tsc; /* 8+8 */
49 L4_ktrace_t__Context *_ctx; /* 16+4 */
50 L4_ktrace_t__Unsigned32 _pmc1; /* 20+4 */
51 L4_ktrace_t__Unsigned32 _pmc2; /* 24+4 */
52 L4_ktrace_t__Unsigned32 _kclock; /* 28+4 */
53 L4_ktrace_t__Unsigned8 _type; /* 32+1 */
54 L4_ktrace_t__Unsigned8 _cpu; /* 33+1 */
55 union __attribute__((__packed__))
57 struct __attribute__((__packed__))
60 void *func; /* 36+4 */
61 L4_ktrace_t__Context *thread; /* 40+4 */
62 L4_ktrace_t__Context__Drq *rq; /* 44+4 */
63 L4_ktrace_t__Cpu_number target_cpu; /* 48+4 */
64 L4_ktrace_t__Context__Drq_log__Type type; /* 52+4 */
67 struct __attribute__((__packed__))
70 L4_ktrace_t__Smword op; /* 36+4 */
71 L4_ktrace_t__Cap_index buffer; /* 40+4 */
72 L4_ktrace_t__Mword id; /* 44+4 */
73 L4_ktrace_t__Mword ram; /* 48+4 */
74 L4_ktrace_t__Mword newo; /* 52+4 */
76 struct __attribute__((__packed__))
79 L4_ktrace_t__Mword gate_dbg_id; /* 36+4 */
80 L4_ktrace_t__Mword thread_dbg_id; /* 40+4 */
81 L4_ktrace_t__Mword label; /* 44+4 */
83 struct __attribute__((__packed__))
86 L4_ktrace_t__Irq_base *obj; /* 36+4 */
87 L4_ktrace_t__Irq_chip *chip; /* 40+4 */
88 L4_ktrace_t__Mword pin; /* 44+4 */
90 struct __attribute__((__packed__))
93 L4_ktrace_t__Kobject *obj; /* 36+4 */
94 L4_ktrace_t__Mword id; /* 40+4 */
95 L4_ktrace_t__cxx__Type_info *type; /* 44+4 */
96 L4_ktrace_t__Mword ram; /* 48+4 */
98 struct __attribute__((__packed__))
101 L4_ktrace_t__Cpu_number cpu; /* 36+4 */
102 L4_ktrace_t__Rcu_item *item; /* 40+4 */
104 unsigned char event; /* 48+1 */
106 struct __attribute__((__packed__))
109 L4_ktrace_t__Mword id; /* 36+4 */
110 L4_ktrace_t__Mword mask; /* 40+4 */
111 L4_ktrace_t__Mword fpage; /* 44+4 */
113 struct __attribute__((__packed__))
116 L4_ktrace_t__Address _address; /* 36+4 */
118 L4_ktrace_t__Mword _value; /* 44+4 */
119 int _mode; /* 48+4 */
121 struct __attribute__((__packed__))
124 L4_ktrace_t__Context *dst; /* 36+4 */
125 L4_ktrace_t__Context *dst_orig; /* 40+4 */
126 L4_ktrace_t__Address kernel_ip; /* 44+4 */
127 L4_ktrace_t__Mword lock_cnt; /* 48+4 */
128 L4_ktrace_t__Space *from_space; /* 52+4 */
129 L4_ktrace_t__Sched_context *from_sched; /* 56+4 */
130 L4_ktrace_t__Mword from_prio; /* 60+4 */
131 } context_switch; /* 64 */
132 struct __attribute__((__packed__))
135 L4_ktrace_t__L4_msg_tag _tag; /* 36+4 */
136 unsigned long _dword[2]; /* 40+8 */
137 L4_ktrace_t__L4_obj_ref _dst; /* 48+4 */
138 L4_ktrace_t__Mword _dbg_id; /* 52+4 */
139 L4_ktrace_t__Mword _label; /* 56+4 */
140 L4_ktrace_t__L4_timeout_pair _timeout; /* 60+4 */
142 struct __attribute__((__packed__))
145 L4_ktrace_t__L4_msg_tag _tag; /* 36+4 */
146 unsigned long _dword[2]; /* 40+8 */
147 L4_ktrace_t__L4_error _result; /* 48+4 */
148 L4_ktrace_t__Mword _from; /* 52+4 */
149 L4_ktrace_t__Mword _pair_event; /* 56+4 */
150 L4_ktrace_t__Unsigned8 _have_snd; /* 60+1 */
151 L4_ktrace_t__Unsigned8 _is_np; /* 61+1 */
153 struct __attribute__((__packed__))
156 L4_ktrace_t__Unsigned64 _snd_tsc; /* 36+8 */
157 L4_ktrace_t__L4_msg_tag _result; /* 44+4 */
158 L4_ktrace_t__L4_obj_ref _snd_dst; /* 48+4 */
159 L4_ktrace_t__Mword _rcv_dst; /* 52+4 */
160 L4_ktrace_t__Unsigned8 _snd_desc; /* 56+1 */
161 L4_ktrace_t__Unsigned8 _rcv_desc; /* 57+1 */
162 } ipc_trace; /* 64 */
163 struct __attribute__((__packed__))
166 union __attribute__((__packed__)) {
167 char msg[24]; /* 0+24 */
168 struct __attribute__((__packed__)) {
169 char tag[2]; /* 0+2 */
175 struct __attribute__((__packed__))
177 char _msg[24]; /* 34+24 */
179 struct __attribute__((__packed__))
182 unsigned long v[3]; /* 36+12 */
183 union __attribute__((__packed__)) {
184 char msg[12]; /* 0+12 */
185 struct __attribute__((__packed__)) {
186 char tag[2]; /* 0+2 */
192 struct __attribute__((__packed__))
195 L4_ktrace_t__Address _pfa; /* 36+4 */
196 L4_ktrace_t__Mword _error; /* 40+4 */
197 L4_ktrace_t__Space *_space; /* 44+4 */
199 struct __attribute__((__packed__))
201 unsigned short mode; /* 34+2 */
202 L4_ktrace_t__Context *owner; /* 36+4 */
203 unsigned short id; /* 40+2 */
204 unsigned short prio; /* 42+2 */
205 long left; /* 44+4 */
206 unsigned long quantum; /* 48+4 */
208 struct __attribute__((__packed__))
210 L4_ktrace_t__Unsigned8 _trapno; /* 34+1 */
211 L4_ktrace_t__Unsigned16 _error; /* 35+2 */
212 L4_ktrace_t__Mword _ebp; /* 37+4 */
213 L4_ktrace_t__Mword _cr2; /* 41+4 */
214 L4_ktrace_t__Mword _eax; /* 45+4 */
215 L4_ktrace_t__Mword _eflags; /* 49+4 */
216 L4_ktrace_t__Mword _esp; /* 53+4 */
217 L4_ktrace_t__Unsigned16 _cs; /* 57+2 */
218 L4_ktrace_t__Unsigned16 _ds; /* 59+2 */
220 struct __attribute__((__packed__))
222 char _padding[24]; /* 34+24 */
223 char __post_pad[6]; /* 58+6 */
225 struct __attribute__((__packed__))
228 L4_ktrace_t__Cap_index cap_idx; /* 36+4 */
229 } invexchdl; /* 40 */
230 struct __attribute__((__packed__))
233 L4_ktrace_t__Mword pfa; /* 36+4 */
234 L4_ktrace_t__Cap_index cap_idx; /* 40+4 */
235 L4_ktrace_t__Mword err; /* 44+4 */
237 struct __attribute__((__packed__))
240 L4_ktrace_t__Mword id; /* 36+4 */
241 L4_ktrace_t__Mword ip; /* 40+4 */
242 L4_ktrace_t__Mword sp; /* 44+4 */
243 L4_ktrace_t__Mword op; /* 48+4 */
245 struct __attribute__((__packed__))
248 L4_ktrace_t__Mword state; /* 36+4 */
249 L4_ktrace_t__Address user_ip; /* 40+4 */
250 L4_ktrace_t__Cpu_number src_cpu; /* 44+4 */
251 L4_ktrace_t__Cpu_number target_cpu; /* 48+4 */
252 } migration; /* 56 */
253 struct __attribute__((__packed__))
256 L4_ktrace_t__Irq_base *obj; /* 36+4 */
257 L4_ktrace_t__Address user_ip; /* 40+4 */
260 } l4_tracebuffer_entry_t;