2 "This code is automatically generated from the kernel database by kerneldb-to-parser program. Any edits you make will be lost.";;
4 exception ParseError of string * string * string;;
6 { active_mm : [ | `mm_struct ] Virt_mem_mmap.typed_addr; comm : string;
7 mm : [ | `mm_struct ] Virt_mem_mmap.typed_addr; normal_prio : int64;
8 prio : int64; state : int64; static_prio : int64;
9 tasks'next : [ | `task_struct ] Virt_mem_mmap.typed_addr;
10 tasks'prev : [ | `task_struct ] Virt_mem_mmap.typed_addr
12 let parser_1 bits = bitmatch bits with
13 | { state : zero+32 : offset(0), littleendian;
14 prio : zero+32 : offset(192), littleendian;
15 static_prio : zero+32 : offset(224), littleendian;
16 normal_prio : zero+32 : offset(256), littleendian;
17 tasks'next : zero+32 : offset(992), littleendian;
18 tasks'prev : zero+32 : offset(1024), littleendian;
19 mm : zero+32 : offset(1056), littleendian;
20 active_mm : zero+32 : offset(1088), littleendian;
21 comm : 128 : offset(3232), string } -> { state = state;
23 static_prio = static_prio;
24 normal_prio = normal_prio;
25 tasks'next = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'next 124L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
26 tasks'prev = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'prev 128L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
27 mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
28 active_mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr active_mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
30 | { _ } -> raise (ParseError ("task_struct", "parser_1", "failed to match kernel structure"));;
31 let parser_2 bits = bitmatch bits with
32 | { state : zero+32 : offset(0), bigendian;
33 prio : zero+32 : offset(160), bigendian;
34 static_prio : zero+32 : offset(192), bigendian;
35 normal_prio : zero+32 : offset(224), bigendian;
36 tasks'next : zero+32 : offset(2176), bigendian;
37 tasks'prev : zero+32 : offset(2208), bigendian;
38 mm : zero+32 : offset(2240), bigendian;
39 active_mm : zero+32 : offset(2272), bigendian;
40 comm : 128 : offset(4416), string } -> { state = state;
42 static_prio = static_prio;
43 normal_prio = normal_prio;
44 tasks'next = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'next 272L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
45 tasks'prev = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'prev 276L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
46 mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
47 active_mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr active_mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
49 | { _ } -> raise (ParseError ("task_struct", "parser_2", "failed to match kernel structure"));;
50 let parser_3 bits = bitmatch bits with
51 | { state : zero+32 : offset(0), bigendian;
52 prio : zero+32 : offset(192), bigendian;
53 static_prio : zero+32 : offset(224), bigendian;
54 normal_prio : zero+32 : offset(256), bigendian;
55 tasks'next : zero+32 : offset(2304), bigendian;
56 tasks'prev : zero+32 : offset(2336), bigendian;
57 mm : zero+32 : offset(2496), bigendian;
58 active_mm : zero+32 : offset(2528), bigendian;
59 comm : 128 : offset(4736), string } -> { state = state;
61 static_prio = static_prio;
62 normal_prio = normal_prio;
63 tasks'next = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'next 288L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
64 tasks'prev = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'prev 292L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
65 mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
66 active_mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr active_mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
68 | { _ } -> raise (ParseError ("task_struct", "parser_3", "failed to match kernel structure"));;
69 let parser_4 bits = bitmatch bits with
70 | { state : zero+64 : offset(0), littleendian;
71 prio : zero+32 : offset(320), littleendian;
72 static_prio : zero+32 : offset(352), littleendian;
73 normal_prio : zero+32 : offset(384), littleendian;
74 tasks'next : zero+64 : offset(1536), littleendian;
75 tasks'prev : zero+64 : offset(1600), littleendian;
76 mm : zero+64 : offset(1664), littleendian;
77 active_mm : zero+64 : offset(1728), littleendian;
78 comm : 128 : offset(5376), string } -> { state = state;
80 static_prio = static_prio;
81 normal_prio = normal_prio;
82 tasks'next = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'next 192L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
83 tasks'prev = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'prev 200L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
84 mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
85 active_mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr active_mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
87 | { _ } -> raise (ParseError ("task_struct", "parser_4", "failed to match kernel structure"));;
88 let parser_5 bits = bitmatch bits with
89 | { state : zero+64 : offset(0), littleendian;
90 prio : zero+32 : offset(256), littleendian;
91 static_prio : zero+32 : offset(288), littleendian;
92 normal_prio : zero+32 : offset(320), littleendian;
93 tasks'next : zero+64 : offset(2816), littleendian;
94 tasks'prev : zero+64 : offset(2880), littleendian;
95 mm : zero+64 : offset(3200), littleendian;
96 active_mm : zero+64 : offset(3264), littleendian;
97 comm : 128 : offset(6912), string } -> { state = state;
99 static_prio = static_prio;
100 normal_prio = normal_prio;
101 tasks'next = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'next 352L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
102 tasks'prev = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'prev 360L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
103 mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
104 active_mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr active_mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
106 | { _ } -> raise (ParseError ("task_struct", "parser_5", "failed to match kernel structure"));;
107 let parser_6 bits = bitmatch bits with
108 | { state : zero+64 : offset(0), bigendian;
109 prio : zero+32 : offset(320), bigendian;
110 static_prio : zero+32 : offset(352), bigendian;
111 normal_prio : zero+32 : offset(384), bigendian;
112 tasks'next : zero+64 : offset(1600), bigendian;
113 tasks'prev : zero+64 : offset(1664), bigendian;
114 mm : zero+64 : offset(1728), bigendian;
115 active_mm : zero+64 : offset(1792), bigendian;
116 comm : 128 : offset(5440), string } -> { state = state;
118 static_prio = static_prio;
119 normal_prio = normal_prio;
120 tasks'next = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'next 200L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
121 tasks'prev = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'prev 208L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
122 mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
123 active_mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr active_mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
125 | { _ } -> raise (ParseError ("task_struct", "parser_6", "failed to match kernel structure"));;
126 let parser_7 bits = bitmatch bits with
127 | { state : zero+64 : offset(0), littleendian;
128 prio : zero+32 : offset(320), littleendian;
129 static_prio : zero+32 : offset(352), littleendian;
130 normal_prio : zero+32 : offset(384), littleendian;
131 tasks'next : zero+64 : offset(1536), littleendian;
132 tasks'prev : zero+64 : offset(1600), littleendian;
133 mm : zero+64 : offset(1664), littleendian;
134 active_mm : zero+64 : offset(1728), littleendian;
135 comm : 128 : offset(5440), string } -> { state = state;
137 static_prio = static_prio;
138 normal_prio = normal_prio;
139 tasks'next = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'next 192L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
140 tasks'prev = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'prev 200L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
141 mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
142 active_mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr active_mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
144 | { _ } -> raise (ParseError ("task_struct", "parser_7", "failed to match kernel structure"));;
145 let parser_8 bits = bitmatch bits with
146 | { state : zero+64 : offset(0), littleendian;
147 prio : zero+32 : offset(224), littleendian;
148 static_prio : zero+32 : offset(256), littleendian;
149 normal_prio : zero+32 : offset(288), littleendian;
150 tasks'next : zero+64 : offset(2816), littleendian;
151 tasks'prev : zero+64 : offset(2880), littleendian;
152 mm : zero+64 : offset(2944), littleendian;
153 active_mm : zero+64 : offset(3008), littleendian;
154 comm : 128 : offset(6592), string } -> { state = state;
156 static_prio = static_prio;
157 normal_prio = normal_prio;
158 tasks'next = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'next 352L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
159 tasks'prev = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'prev 360L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
160 mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
161 active_mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr active_mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
163 | { _ } -> raise (ParseError ("task_struct", "parser_8", "failed to match kernel structure"));;
164 let parser_9 bits = bitmatch bits with
165 | { state : zero+64 : offset(0), bigendian;
166 prio : zero+32 : offset(224), bigendian;
167 static_prio : zero+32 : offset(256), bigendian;
168 normal_prio : zero+32 : offset(288), bigendian;
169 tasks'next : zero+64 : offset(2880), bigendian;
170 tasks'prev : zero+64 : offset(2944), bigendian;
171 mm : zero+64 : offset(3008), bigendian;
172 active_mm : zero+64 : offset(3072), bigendian;
173 comm : 128 : offset(6592), string } -> { state = state;
175 static_prio = static_prio;
176 normal_prio = normal_prio;
177 tasks'next = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'next 360L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
178 tasks'prev = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'prev 368L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
179 mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
180 active_mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr active_mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
182 | { _ } -> raise (ParseError ("task_struct", "parser_9", "failed to match kernel structure"));;
183 let parser_10 bits = bitmatch bits with
184 | { state : zero+32 : offset(0), littleendian;
185 prio : zero+32 : offset(192), littleendian;
186 static_prio : zero+32 : offset(224), littleendian;
187 normal_prio : zero+32 : offset(256), littleendian;
188 tasks'next : zero+32 : offset(2208), littleendian;
189 tasks'prev : zero+32 : offset(2240), littleendian;
190 mm : zero+32 : offset(2400), littleendian;
191 active_mm : zero+32 : offset(2432), littleendian;
192 comm : 128 : offset(4608), string } -> { state = state;
194 static_prio = static_prio;
195 normal_prio = normal_prio;
196 tasks'next = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'next 276L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
197 tasks'prev = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'prev 280L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
198 mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
199 active_mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr active_mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
201 | { _ } -> raise (ParseError ("task_struct", "parser_10", "failed to match kernel structure"));;
202 let parser_11 bits = bitmatch bits with
203 | { state : zero+64 : offset(0), littleendian;
204 prio : zero+32 : offset(224), littleendian;
205 static_prio : zero+32 : offset(256), littleendian;
206 normal_prio : zero+32 : offset(288), littleendian;
207 tasks'next : zero+64 : offset(3648), littleendian;
208 tasks'prev : zero+64 : offset(3712), littleendian;
209 mm : zero+64 : offset(3776), littleendian;
210 active_mm : zero+64 : offset(3840), littleendian;
211 comm : 128 : offset(7816), string } -> { state = state;
213 static_prio = static_prio;
214 normal_prio = normal_prio;
215 tasks'next = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'next 456L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
216 tasks'prev = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'prev 464L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
217 mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
218 active_mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr active_mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
220 | { _ } -> raise (ParseError ("task_struct", "parser_11", "failed to match kernel structure"));;
221 let parser_12 bits = bitmatch bits with
222 | { state : zero+32 : offset(0), bigendian;
223 prio : zero+32 : offset(192), bigendian;
224 static_prio : zero+32 : offset(224), bigendian;
225 normal_prio : zero+32 : offset(256), bigendian;
226 tasks'next : zero+32 : offset(1024), bigendian;
227 tasks'prev : zero+32 : offset(1056), bigendian;
228 mm : zero+32 : offset(1088), bigendian;
229 active_mm : zero+32 : offset(1120), bigendian;
230 comm : 128 : offset(3264), string } -> { state = state;
232 static_prio = static_prio;
233 normal_prio = normal_prio;
234 tasks'next = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'next 128L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
235 tasks'prev = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'prev 132L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
236 mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
237 active_mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr active_mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
239 | { _ } -> raise (ParseError ("task_struct", "parser_12", "failed to match kernel structure"));;
240 let parser_13 bits = bitmatch bits with
241 | { state : zero+64 : offset(0), littleendian;
242 prio : zero+32 : offset(224), littleendian;
243 static_prio : zero+32 : offset(256), littleendian;
244 normal_prio : zero+32 : offset(288), littleendian;
245 tasks'next : zero+64 : offset(3840), littleendian;
246 tasks'prev : zero+64 : offset(3904), littleendian;
247 mm : zero+64 : offset(3968), littleendian;
248 active_mm : zero+64 : offset(4032), littleendian;
249 comm : 128 : offset(8392), string } -> { state = state;
251 static_prio = static_prio;
252 normal_prio = normal_prio;
253 tasks'next = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'next 480L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
254 tasks'prev = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'prev 488L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
255 mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
256 active_mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr active_mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
258 | { _ } -> raise (ParseError ("task_struct", "parser_13", "failed to match kernel structure"));;
259 let parser_14 bits = bitmatch bits with
260 | { state : zero+32 : offset(0), littleendian;
261 prio : zero+32 : offset(160), littleendian;
262 static_prio : zero+32 : offset(192), littleendian;
263 normal_prio : zero+32 : offset(224), littleendian;
264 tasks'next : zero+32 : offset(3008), littleendian;
265 tasks'prev : zero+32 : offset(3040), littleendian;
266 mm : zero+32 : offset(3072), littleendian;
267 active_mm : zero+32 : offset(3104), littleendian;
268 comm : 128 : offset(5416), string } -> { state = state;
270 static_prio = static_prio;
271 normal_prio = normal_prio;
272 tasks'next = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'next 376L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
273 tasks'prev = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'prev 380L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
274 mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
275 active_mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr active_mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
277 | { _ } -> raise (ParseError ("task_struct", "parser_14", "failed to match kernel structure"));;
278 let parser_15 bits = bitmatch bits with
279 | { state : zero+32 : offset(0), littleendian;
280 prio : zero+32 : offset(160), littleendian;
281 static_prio : zero+32 : offset(192), littleendian;
282 normal_prio : zero+32 : offset(224), littleendian;
283 tasks'next : zero+32 : offset(2144), littleendian;
284 tasks'prev : zero+32 : offset(2176), littleendian;
285 mm : zero+32 : offset(2208), littleendian;
286 active_mm : zero+32 : offset(2240), littleendian;
287 comm : 128 : offset(4384), string } -> { state = state;
289 static_prio = static_prio;
290 normal_prio = normal_prio;
291 tasks'next = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'next 268L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
292 tasks'prev = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'prev 272L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
293 mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
294 active_mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr active_mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
296 | { _ } -> raise (ParseError ("task_struct", "parser_15", "failed to match kernel structure"));;
297 let parser_16 bits = bitmatch bits with
298 | { state : zero+64 : offset(0), bigendian;
299 prio : zero+32 : offset(256), bigendian;
300 static_prio : zero+32 : offset(288), bigendian;
301 normal_prio : zero+32 : offset(320), bigendian;
302 tasks'next : zero+64 : offset(2880), bigendian;
303 tasks'prev : zero+64 : offset(2944), bigendian;
304 mm : zero+64 : offset(3264), bigendian;
305 active_mm : zero+64 : offset(3328), bigendian;
306 comm : 128 : offset(6912), string } -> { state = state;
308 static_prio = static_prio;
309 normal_prio = normal_prio;
310 tasks'next = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'next 360L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
311 tasks'prev = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'prev 368L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
312 mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
313 active_mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr active_mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
315 | { _ } -> raise (ParseError ("task_struct", "parser_16", "failed to match kernel structure"));;
316 let parser_17 bits = bitmatch bits with
317 | { state : zero+32 : offset(0), bigendian;
318 prio : zero+32 : offset(160), bigendian;
319 static_prio : zero+32 : offset(192), bigendian;
320 normal_prio : zero+32 : offset(224), bigendian;
321 tasks'next : zero+32 : offset(3136), bigendian;
322 tasks'prev : zero+32 : offset(3168), bigendian;
323 mm : zero+32 : offset(3200), bigendian;
324 active_mm : zero+32 : offset(3232), bigendian;
325 comm : 128 : offset(5576), string } -> { state = state;
327 static_prio = static_prio;
328 normal_prio = normal_prio;
329 tasks'next = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'next 392L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
330 tasks'prev = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'prev 396L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
331 mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
332 active_mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr active_mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
334 | { _ } -> raise (ParseError ("task_struct", "parser_17", "failed to match kernel structure"));;
335 let parser_18 bits = bitmatch bits with
336 | { state : zero+64 : offset(0), bigendian;
337 prio : zero+32 : offset(224), bigendian;
338 static_prio : zero+32 : offset(256), bigendian;
339 normal_prio : zero+32 : offset(288), bigendian;
340 tasks'next : zero+64 : offset(3648), bigendian;
341 tasks'prev : zero+64 : offset(3712), bigendian;
342 mm : zero+64 : offset(3776), bigendian;
343 active_mm : zero+64 : offset(3840), bigendian;
344 comm : 128 : offset(7752), string } -> { state = state;
346 static_prio = static_prio;
347 normal_prio = normal_prio;
348 tasks'next = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'next 456L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
349 tasks'prev = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'prev 464L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
350 mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
351 active_mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr active_mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
353 | { _ } -> raise (ParseError ("task_struct", "parser_18", "failed to match kernel structure"));;
354 let parser_19 bits = bitmatch bits with
355 | { state : zero+64 : offset(0), littleendian;
356 prio : zero+32 : offset(320), littleendian;
357 static_prio : zero+32 : offset(352), littleendian;
358 normal_prio : zero+32 : offset(384), littleendian;
359 tasks'next : zero+64 : offset(1728), littleendian;
360 tasks'prev : zero+64 : offset(1792), littleendian;
361 mm : zero+64 : offset(1856), littleendian;
362 active_mm : zero+64 : offset(1920), littleendian;
363 comm : 128 : offset(5568), string } -> { state = state;
365 static_prio = static_prio;
366 normal_prio = normal_prio;
367 tasks'next = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'next 216L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
368 tasks'prev = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'prev 224L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
369 mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
370 active_mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr active_mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
372 | { _ } -> raise (ParseError ("task_struct", "parser_19", "failed to match kernel structure"));;
373 let parser_20 bits = bitmatch bits with
374 | { state : zero+32 : offset(0), littleendian;
375 prio : zero+32 : offset(160), littleendian;
376 static_prio : zero+32 : offset(192), littleendian;
377 normal_prio : zero+32 : offset(224), littleendian;
378 tasks'next : zero+32 : offset(3232), littleendian;
379 tasks'prev : zero+32 : offset(3264), littleendian;
380 mm : zero+32 : offset(3296), littleendian;
381 active_mm : zero+32 : offset(3328), littleendian;
382 comm : 128 : offset(5928), string } -> { state = state;
384 static_prio = static_prio;
385 normal_prio = normal_prio;
386 tasks'next = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'next 404L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
387 tasks'prev = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'prev 408L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
388 mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
389 active_mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr active_mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
391 | { _ } -> raise (ParseError ("task_struct", "parser_20", "failed to match kernel structure"));;
392 let parser_21 bits = bitmatch bits with
393 | { state : zero+64 : offset(0), littleendian;
394 prio : zero+32 : offset(256), littleendian;
395 static_prio : zero+32 : offset(288), littleendian;
396 normal_prio : zero+32 : offset(320), littleendian;
397 tasks'next : zero+64 : offset(1408), littleendian;
398 tasks'prev : zero+64 : offset(1472), littleendian;
399 mm : zero+64 : offset(1536), littleendian;
400 active_mm : zero+64 : offset(1600), littleendian;
401 comm : 128 : offset(5184), string } -> { state = state;
403 static_prio = static_prio;
404 normal_prio = normal_prio;
405 tasks'next = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'next 176L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
406 tasks'prev = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'prev 184L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
407 mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
408 active_mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr active_mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
410 | { _ } -> raise (ParseError ("task_struct", "parser_21", "failed to match kernel structure"));;
411 let parser_22 bits = bitmatch bits with
412 | { state : zero+64 : offset(0), bigendian;
413 prio : zero+32 : offset(256), bigendian;
414 static_prio : zero+32 : offset(288), bigendian;
415 normal_prio : zero+32 : offset(320), bigendian;
416 tasks'next : zero+64 : offset(1472), bigendian;
417 tasks'prev : zero+64 : offset(1536), bigendian;
418 mm : zero+64 : offset(1600), bigendian;
419 active_mm : zero+64 : offset(1664), bigendian;
420 comm : 128 : offset(5184), string } -> { state = state;
422 static_prio = static_prio;
423 normal_prio = normal_prio;
424 tasks'next = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'next 184L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
425 tasks'prev = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'prev 192L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
426 mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
427 active_mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr active_mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
429 | { _ } -> raise (ParseError ("task_struct", "parser_22", "failed to match kernel structure"));;
430 module StringMap = Map.Make(String);;
431 let map = StringMap.empty;;
432 let v = (parser_1, 2704);;
433 let map = StringMap.add "2.6.21-1.3128.fc7.i586" v map;;
434 let v = (parser_2, 1756);;
435 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;;
436 let v = (parser_1, 2704);;
437 let map = StringMap.add "2.6.21-1.3128.fc7.i686" v map;;
438 let v = (parser_1, 2704);;
439 let map = StringMap.add "2.6.21-1.3132.fc7.i686" v map;;
440 let v = (parser_3, 1780);;
441 let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;;
442 let v = (parser_1, 1376);;
443 let map = StringMap.add "2.6.21-1.3228.fc7.i586" v map;;
444 let v = (parser_4, 1856);;
445 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
446 let v = (parser_5, 3948);;
447 let map = StringMap.add "2.6.21-1.3236.fc8.x86_64" v map;;
448 let v = (parser_6, 2072);;
449 let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;;
450 let v = (parser_7, 1832);;
451 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
452 let v = (parser_8, 3932);;
453 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.x86_64" v map;;
454 let v = (parser_6, 2132);;
455 let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;;
456 let v = (parser_9, 2292);;
457 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;;
458 let v = (parser_10, 2880);;
459 let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;;
460 let v = (parser_6, 2132);;
461 let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;;
462 let v = (parser_1, 1376);;
463 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
464 let v = (parser_11, 4684);;
465 let map = StringMap.add "2.6.24-9.fc9.x86_64" v map;;
466 let v = (parser_9, 2292);;
467 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;;
468 let v = (parser_6, 2132);;
469 let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;;
470 let v = (parser_1, 1384);;
471 let map = StringMap.add "2.6.18-1.2798.fc6.i586" v map;;
472 let v = (parser_12, 1620);;
473 let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;;
474 let v = (parser_1, 1384);;
475 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
476 let v = (parser_13, 2496);;
477 let map = StringMap.add "2.6.25.11-97.fc9.x86_64" v map;;
478 let v = (parser_1, 1368);;
479 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
480 let v = (parser_14, 3540);;
481 let map = StringMap.add "2.6.24-9.fc9.i686" v map;;
482 let v = (parser_15, 2856);;
483 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;;
484 let v = (parser_16, 2308);;
485 let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;;
486 let v = (parser_12, 1628);;
487 let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;;
488 let v = (parser_16, 2308);;
489 let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;;
490 let v = (parser_6, 2072);;
491 let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;;
492 let v = (parser_6, 2132);;
493 let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;;
494 let v = (parser_1, 2712);;
495 let map = StringMap.add "2.6.21-1.3209.fc8.i686" v map;;
496 let v = (parser_7, 3772);;
497 let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;;
498 let v = (parser_7, 3772);;
499 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
500 let v = (parser_17, 1948);;
501 let map = StringMap.add "2.6.24-9.fc9.ppc" v map;;
502 let v = (parser_12, 1576);;
503 let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;;
504 let v = (parser_12, 1620);;
505 let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;;
506 let v = (parser_1, 2712);;
507 let map = StringMap.add "2.6.21-1.3209.fc8.i686" v map;;
508 let v = (parser_7, 3772);;
509 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
510 let v = (parser_12, 1620);;
511 let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;;
512 let v = (parser_6, 2132);;
513 let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;;
514 let v = (parser_18, 2492);;
515 let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;;
516 let v = (parser_12, 1604);;
517 let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;;
518 let v = (parser_19, 1928);;
519 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
520 let v = (parser_12, 1604);;
521 let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;;
522 let v = (parser_12, 1584);;
523 let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;;
524 let v = (parser_18, 2492);;
525 let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;;
526 let v = (parser_6, 2104);;
527 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;;
528 let v = (parser_7, 3780);;
529 let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;;
530 let v = (parser_1, 1400);;
531 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
532 let v = (parser_7, 3772);;
533 let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;;
534 let v = (parser_6, 2112);;
535 let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;;
536 let v = (parser_2, 1772);;
537 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;;
538 let v = (parser_12, 1612);;
539 let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;;
540 let v = (parser_7, 1920);;
541 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
542 let v = (parser_1, 2704);;
543 let map = StringMap.add "2.6.21-1.3132.fc7.i586" v map;;
544 let v = (parser_1, 2704);;
545 let map = StringMap.add "2.6.21-1.3144.fc7.i586" v map;;
546 let v = (parser_7, 1880);;
547 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
548 let v = (parser_6, 2088);;
549 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;;
550 let v = (parser_12, 1592);;
551 let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;;
552 let v = (parser_1, 2704);;
553 let map = StringMap.add "2.6.21-1.3144.fc7.i686" v map;;
554 let v = (parser_1, 1376);;
555 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
556 let v = (parser_1, 2712);;
557 let map = StringMap.add "2.6.21-1.3209.fc8.i586" v map;;
558 let v = (parser_6, 2088);;
559 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;;
560 let v = (parser_1, 2704);;
561 let map = StringMap.add "2.6.21-1.3144.fc7.i686" v map;;
562 let v = (parser_7, 1880);;
563 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
564 let v = (parser_7, 1920);;
565 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
566 let v = (parser_19, 1928);;
567 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
568 let v = (parser_7, 3780);;
569 let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;;
570 let v = (parser_12, 1608);;
571 let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;;
572 let v = (parser_14, 3540);;
573 let map = StringMap.add "2.6.24-9.fc9.i686" v map;;
574 let v = (parser_1, 2704);;
575 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
576 let v = (parser_20, 1832);;
577 let map = StringMap.add "2.6.25.11-97.fc9.i686" v map;;
578 let v = (parser_1, 2704);;
579 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
580 let v = (parser_1, 2704);;
581 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
582 let v = (parser_1, 2704);;
583 let map = StringMap.add "2.6.21-1.3128.fc7.i686" v map;;
584 let v = (parser_12, 1604);;
585 let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;;
586 let v = (parser_1, 1400);;
587 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
588 let v = (parser_21, 3756);;
589 let map = StringMap.add "2.6.21-1.3209.fc8.x86_64" v map;;
590 let v = (parser_1, 1400);;
591 let map = StringMap.add "2.6.20-1.2933.fc6.i586" v map;;
592 let v = (parser_7, 3780);;
593 let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;;
594 let v = (parser_1, 1400);;
595 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
596 let v = (parser_6, 2104);;
597 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;;
598 let v = (parser_1, 1384);;
599 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
600 let v = (parser_12, 1560);;
601 let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;;
602 let v = (parser_10, 2880);;
603 let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;;
604 let v = (parser_3, 1796);;
605 let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;;
606 let v = (parser_1, 1384);;
607 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
608 let v = (parser_14, 3540);;
609 let map = StringMap.add "2.6.24-9.fc9.i586" v map;;
610 let v = (parser_7, 3772);;
611 let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;;
612 let v = (parser_6, 2112);;
613 let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;;
614 let v = (parser_17, 1936);;
615 let map = StringMap.add "2.6.24-9.fc9.ppc" v map;;
616 let v = (parser_6, 2132);;
617 let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;;
618 let v = (parser_22, 2116);;
619 let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;;
620 let v = (parser_12, 1592);;
621 let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;;
622 let v = (parser_15, 2856);;
623 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;;
624 let v = (parser_1, 2704);;
625 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
626 let v = (parser_22, 2116);;
627 let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;;
628 type kernel_version = string;;
629 let known version = StringMap.mem version map;;
630 let size version = let (_, size) = StringMap.find version map in size;;
631 let of_bits version bits =
632 let (parsefn, _) = StringMap.find version map in parsefn bits;;
633 let get version mem addr =
634 let (parsefn, size) = StringMap.find version map in
635 let addr = Virt_mem_mmap.unsafe_addr_of_typed_addr addr in
636 let bytes = Virt_mem_mmap.get_bytes mem addr size in
637 let bits = Bitstring.bitstring_of_string bytes in parsefn bits;;