2 "This code is automatically generated from the kernel database by kerneldb-to-parser program. Any edits you make will be lost.";;
4 let struct_name = "net_device";;
5 let match_err = "failed to match kernel structure";;
6 exception ParseError of string * string * string;;
7 type t = { net_device_dev_addr : string; net_device_name : string };;
10 | { net_device_name : 128 : offset(0), string;
11 net_device_dev_addr : 256 : offset(2240), string } ->
12 { net_device_name = net_device_name;
13 net_device_dev_addr = net_device_dev_addr }
15 raise (ParseError (struct_name, "parser_1", match_err));;
18 | { net_device_name : 128 : offset(0), string;
19 net_device_dev_addr : 256 : offset(3264), string } ->
20 { net_device_name = net_device_name;
21 net_device_dev_addr = net_device_dev_addr }
23 raise (ParseError (struct_name, "parser_2", match_err));;
26 | { net_device_name : 128 : offset(0), string;
27 net_device_dev_addr : 256 : offset(2560), string } ->
28 { net_device_name = net_device_name;
29 net_device_dev_addr = net_device_dev_addr }
31 raise (ParseError (struct_name, "parser_3", match_err));;
34 | { net_device_name : 128 : offset(0), string;
35 net_device_dev_addr : 256 : offset(2528), string } ->
36 { net_device_name = net_device_name;
37 net_device_dev_addr = net_device_dev_addr }
39 raise (ParseError (struct_name, "parser_4", match_err));;
42 | { net_device_name : 128 : offset(0), string;
43 net_device_dev_addr : 256 : offset(2784), string } ->
44 { net_device_name = net_device_name;
45 net_device_dev_addr = net_device_dev_addr }
47 raise (ParseError (struct_name, "parser_5", match_err));;
50 | { net_device_name : 128 : offset(0), string;
51 net_device_dev_addr : 256 : offset(3392), string } ->
52 { net_device_name = net_device_name;
53 net_device_dev_addr = net_device_dev_addr }
55 raise (ParseError (struct_name, "parser_6", match_err));;
58 | { net_device_name : 128 : offset(0), string;
59 net_device_dev_addr : 256 : offset(4416), string } ->
60 { net_device_name = net_device_name;
61 net_device_dev_addr = net_device_dev_addr }
63 raise (ParseError (struct_name, "parser_7", match_err));;
66 | { net_device_name : 128 : offset(0), string;
67 net_device_dev_addr : 256 : offset(4288), string } ->
68 { net_device_name = net_device_name;
69 net_device_dev_addr = net_device_dev_addr }
71 raise (ParseError (struct_name, "parser_8", match_err));;
74 | { net_device_name : 128 : offset(0), string;
75 net_device_dev_addr : 256 : offset(1728), string } ->
76 { net_device_name = net_device_name;
77 net_device_dev_addr = net_device_dev_addr }
79 raise (ParseError (struct_name, "parser_9", match_err));;
82 | { net_device_name : 128 : offset(0), string;
83 net_device_dev_addr : 256 : offset(3392), string } ->
84 { net_device_name = net_device_name;
85 net_device_dev_addr = net_device_dev_addr }
87 raise (ParseError (struct_name, "parser_10", match_err));;
90 | { net_device_name : 128 : offset(0), string;
91 net_device_dev_addr : 256 : offset(1696), string } ->
92 { net_device_name = net_device_name;
93 net_device_dev_addr = net_device_dev_addr }
95 raise (ParseError (struct_name, "parser_11", match_err));;
98 | { net_device_name : 128 : offset(0), string;
99 net_device_dev_addr : 256 : offset(2496), string } ->
100 { net_device_name = net_device_name;
101 net_device_dev_addr = net_device_dev_addr }
103 raise (ParseError (struct_name, "parser_12", match_err));;
106 | { net_device_name : 128 : offset(0), string;
107 net_device_dev_addr : 256 : offset(4416), string } ->
108 { net_device_name = net_device_name;
109 net_device_dev_addr = net_device_dev_addr }
111 raise (ParseError (struct_name, "parser_13", match_err));;
114 | { net_device_name : 128 : offset(0), string;
115 net_device_dev_addr : 256 : offset(2592), string } ->
116 { net_device_name = net_device_name;
117 net_device_dev_addr = net_device_dev_addr }
119 raise (ParseError (struct_name, "parser_14", match_err));;
122 | { net_device_name : 128 : offset(0), string;
123 net_device_dev_addr : 256 : offset(2528), string } ->
124 { net_device_name = net_device_name;
125 net_device_dev_addr = net_device_dev_addr }
127 raise (ParseError (struct_name, "parser_15", match_err));;
130 | { net_device_name : 128 : offset(0), string;
131 net_device_dev_addr : 256 : offset(4288), string } ->
132 { net_device_name = net_device_name;
133 net_device_dev_addr = net_device_dev_addr }
135 raise (ParseError (struct_name, "parser_16", match_err));;
138 | { net_device_name : 128 : offset(0), string;
139 net_device_dev_addr : 256 : offset(2560), string } ->
140 { net_device_name = net_device_name;
141 net_device_dev_addr = net_device_dev_addr }
143 raise (ParseError (struct_name, "parser_17", match_err));;
146 | { net_device_name : 128 : offset(0), string;
147 net_device_dev_addr : 256 : offset(2656), string } ->
148 { net_device_name = net_device_name;
149 net_device_dev_addr = net_device_dev_addr }
151 raise (ParseError (struct_name, "parser_18", match_err));;
154 | { net_device_name : 128 : offset(0), string;
155 net_device_dev_addr : 256 : offset(4672), string } ->
156 { net_device_name = net_device_name;
157 net_device_dev_addr = net_device_dev_addr }
159 raise (ParseError (struct_name, "parser_19", match_err));;
162 | { net_device_name : 128 : offset(0), string;
163 net_device_dev_addr : 256 : offset(4672), string } ->
164 { net_device_name = net_device_name;
165 net_device_dev_addr = net_device_dev_addr }
167 raise (ParseError (struct_name, "parser_20", match_err));;
170 | { net_device_name : 128 : offset(0), string;
171 net_device_dev_addr : 256 : offset(1728), string } ->
172 { net_device_name = net_device_name;
173 net_device_dev_addr = net_device_dev_addr }
175 raise (ParseError (struct_name, "parser_21", match_err));;
178 | { net_device_name : 128 : offset(0), string;
179 net_device_dev_addr : 256 : offset(2688), string } ->
180 { net_device_name = net_device_name;
181 net_device_dev_addr = net_device_dev_addr }
183 raise (ParseError (struct_name, "parser_22", match_err));;
186 | { net_device_name : 128 : offset(0), string;
187 net_device_dev_addr : 256 : offset(1696), string } ->
188 { net_device_name = net_device_name;
189 net_device_dev_addr = net_device_dev_addr }
191 raise (ParseError (struct_name, "parser_23", match_err));;
194 | { net_device_name : 128 : offset(0), string;
195 net_device_dev_addr : 256 : offset(2624), string } ->
196 { net_device_name = net_device_name;
197 net_device_dev_addr = net_device_dev_addr }
199 raise (ParseError (struct_name, "parser_24", match_err));;
202 | { net_device_name : 128 : offset(0), string;
203 net_device_dev_addr : 256 : offset(2752), string } ->
204 { net_device_name = net_device_name;
205 net_device_dev_addr = net_device_dev_addr }
207 raise (ParseError (struct_name, "parser_25", match_err));;
208 module StringMap = Map.Make(String);;
209 let map = StringMap.empty;;
210 let v = (parser_1, 924);;
211 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
212 let v = (parser_1, 1284);;
213 let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
214 let v = (parser_1, 1284);;
215 let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;
216 let v = (parser_1, 1284);;
217 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
218 let v = (parser_2, 1444);;
219 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
220 let v = (parser_2, 1444);;
221 let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;;
222 let v = (parser_3, 1384);;
223 let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
224 let v = (parser_1, 912);;
225 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
226 let v = (parser_1, 1284);;
227 let map = StringMap.add "2.6.21-1.3128.fc7.i686" v map;;
228 let v = (parser_1, 1284);;
229 let map = StringMap.add "2.6.21-1.3132.fc7.i686" v map;;
230 let v = (parser_1, 1284);;
231 let map = StringMap.add "2.6.21-1.3141.fc7.i686" v map;;
232 let v = (parser_1, 1284);;
233 let map = StringMap.add "2.6.21-1.3144.fc7.i686" v map;;
234 let v = (parser_1, 1200);;
235 let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
236 let v = (parser_1, 1200);;
237 let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;
238 let v = (parser_2, 1408);;
239 let map = StringMap.add "2.6.21-1.3209.fc8.i686" v map;;
240 let v = (parser_2, 1408);;
241 let map = StringMap.add "2.6.21-1.3218.fc8.i686" v map;;
242 let v = (parser_2, 1408);;
243 let map = StringMap.add "2.6.21-1.3221.fc8.i686" v map;;
244 let v = (parser_1, 1116);;
245 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
246 let v = (parser_2, 1408);;
247 let map = StringMap.add "2.6.21-1.3234.fc8.i686" v map;;
248 let v = (parser_2, 1408);;
249 let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;;
250 let v = (parser_2, 1408);;
251 let map = StringMap.add "2.6.21-1.3238.fc8.i686" v map;;
252 let v = (parser_2, 1408);;
253 let map = StringMap.add "2.6.21-1.3242.fc8.i686" v map;;
254 let v = (parser_2, 1408);;
255 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;;
256 let v = (parser_2, 1408);;
257 let map = StringMap.add "2.6.22-0.rc7.2.fc8.i686" v map;;
258 let v = (parser_2, 1248);;
259 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
260 let v = (parser_2, 1248);;
261 let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;;
262 let v = (parser_4, 1244);;
263 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;;
264 let v = (parser_4, 1244);;
265 let map = StringMap.add "2.6.24-7.fc9.i686" v map;;
266 let v = (parser_4, 1244);;
267 let map = StringMap.add "2.6.24-9.fc9.i686" v map;;
268 let v = (parser_3, 1216);;
269 let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
270 let v = (parser_5, 1388);;
271 let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.i686" v map;;
272 let v = (parser_1, 924);;
273 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
274 let v = (parser_6, 1540);;
275 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
276 let v = (parser_1, 1284);;
277 let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
278 let v = (parser_6, 2196);;
279 let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
280 let v = (parser_1, 1284);;
281 let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;
282 let v = (parser_6, 2196);;
283 let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;;
284 let v = (parser_1, 1284);;
285 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
286 let v = (parser_6, 2196);;
287 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
288 let v = (parser_2, 1444);;
289 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
290 let v = (parser_7, 2392);;
291 let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;;
292 let v = (parser_7, 2392);;
293 let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;;
294 let v = (parser_3, 1384);;
295 let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
296 let v = (parser_8, 2304);;
297 let map = StringMap.add "2.6.26.2-2.fc8.x86_64" v map;;
298 let v = (parser_1, 912);;
299 let map = StringMap.add "2.6.18-1.2798.fc6.i586" v map;;
300 let v = (parser_1, 912);;
301 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
302 let v = (parser_9, 672);;
303 let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;;
304 let v = (parser_10, 1260);;
305 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;;
306 let v = (parser_10, 1260);;
307 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;;
308 let v = (parser_6, 1260);;
309 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
310 let v = (parser_1, 912);;
311 let map = StringMap.add "2.6.20-1.2933.fc6.i586" v map;;
312 let v = (parser_1, 912);;
313 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
314 let v = (parser_11, 668);;
315 let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;;
316 let v = (parser_10, 1260);;
317 let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;;
318 let v = (parser_6, 1260);;
319 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
320 let v = (parser_1, 1284);;
321 let map = StringMap.add "2.6.21-1.3128.fc7.i586" v map;;
322 let v = (parser_1, 1284);;
323 let map = StringMap.add "2.6.21-1.3128.fc7.i686" v map;;
324 let v = (parser_9, 996);;
325 let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;;
326 let v = (parser_10, 1924);;
327 let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;;
328 let v = (parser_6, 2196);;
329 let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;;
330 let v = (parser_1, 1284);;
331 let map = StringMap.add "2.6.21-1.3132.fc7.i586" v map;;
332 let v = (parser_1, 1284);;
333 let map = StringMap.add "2.6.21-1.3132.fc7.i686" v map;;
334 let v = (parser_9, 996);;
335 let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;;
336 let v = (parser_10, 1924);;
337 let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;;
338 let v = (parser_6, 2196);;
339 let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;;
340 let v = (parser_1, 1284);;
341 let map = StringMap.add "2.6.21-1.3141.fc7.i586" v map;;
342 let v = (parser_1, 1284);;
343 let map = StringMap.add "2.6.21-1.3141.fc7.i686" v map;;
344 let v = (parser_9, 996);;
345 let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;;
346 let v = (parser_10, 1924);;
347 let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;;
348 let v = (parser_6, 2196);;
349 let map = StringMap.add "2.6.21-1.3141.fc7.x86_64" v map;;
350 let v = (parser_1, 1284);;
351 let map = StringMap.add "2.6.21-1.3144.fc7.i586" v map;;
352 let v = (parser_1, 1284);;
353 let map = StringMap.add "2.6.21-1.3144.fc7.i686" v map;;
354 let v = (parser_9, 996);;
355 let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;;
356 let v = (parser_10, 1924);;
357 let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;;
358 let v = (parser_6, 2196);;
359 let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;;
360 let v = (parser_1, 1200);;
361 let map = StringMap.add "2.6.21-1.3145.fc7.i586" v map;;
362 let v = (parser_1, 1200);;
363 let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
364 let v = (parser_9, 996);;
365 let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;;
366 let v = (parser_10, 1924);;
367 let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;;
368 let v = (parser_6, 1900);;
369 let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
370 let v = (parser_1, 1200);;
371 let map = StringMap.add "2.6.21-1.3190.fc7.i586" v map;;
372 let v = (parser_1, 1200);;
373 let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;
374 let v = (parser_9, 996);;
375 let map = StringMap.add "2.6.21-1.3190.fc7.ppc" v map;;
376 let v = (parser_10, 1924);;
377 let map = StringMap.add "2.6.21-1.3190.fc7.ppc64" v map;;
378 let v = (parser_6, 1900);;
379 let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;;
380 let v = (parser_2, 1408);;
381 let map = StringMap.add "2.6.21-1.3209.fc8.i586" v map;;
382 let v = (parser_2, 1408);;
383 let map = StringMap.add "2.6.21-1.3209.fc8.i686" v map;;
384 let v = (parser_12, 1092);;
385 let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;;
386 let v = (parser_13, 2044);;
387 let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;;
388 let v = (parser_7, 2316);;
389 let map = StringMap.add "2.6.21-1.3209.fc8.x86_64" v map;;
390 let v = (parser_2, 1408);;
391 let map = StringMap.add "2.6.21-1.3218.fc8.i586" v map;;
392 let v = (parser_2, 1408);;
393 let map = StringMap.add "2.6.21-1.3218.fc8.i686" v map;;
394 let v = (parser_12, 1092);;
395 let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;;
396 let v = (parser_13, 2044);;
397 let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;;
398 let v = (parser_7, 2316);;
399 let map = StringMap.add "2.6.21-1.3218.fc8.x86_64" v map;;
400 let v = (parser_2, 1408);;
401 let map = StringMap.add "2.6.21-1.3221.fc8.i586" v map;;
402 let v = (parser_2, 1408);;
403 let map = StringMap.add "2.6.21-1.3221.fc8.i686" v map;;
404 let v = (parser_12, 1092);;
405 let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;;
406 let v = (parser_13, 2044);;
407 let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;;
408 let v = (parser_7, 2316);;
409 let map = StringMap.add "2.6.21-1.3221.fc8.x86_64" v map;;
410 let v = (parser_1, 1116);;
411 let map = StringMap.add "2.6.21-1.3228.fc7.i586" v map;;
412 let v = (parser_1, 1116);;
413 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
414 let v = (parser_9, 836);;
415 let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;;
416 let v = (parser_10, 1684);;
417 let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;;
418 let v = (parser_6, 1660);;
419 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
420 let v = (parser_2, 1408);;
421 let map = StringMap.add "2.6.21-1.3234.fc8.i686" v map;;
422 let v = (parser_12, 1092);;
423 let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;;
424 let v = (parser_13, 2044);;
425 let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;;
426 let v = (parser_7, 2316);;
427 let map = StringMap.add "2.6.21-1.3234.fc8.x86_64" v map;;
428 let v = (parser_2, 1408);;
429 let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;;
430 let v = (parser_12, 1092);;
431 let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;;
432 let v = (parser_13, 2044);;
433 let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;;
434 let v = (parser_7, 2316);;
435 let map = StringMap.add "2.6.21-1.3236.fc8.x86_64" v map;;
436 let v = (parser_2, 1408);;
437 let map = StringMap.add "2.6.21-1.3238.fc8.i686" v map;;
438 let v = (parser_12, 1092);;
439 let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;;
440 let v = (parser_13, 2044);;
441 let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;;
442 let v = (parser_7, 2316);;
443 let map = StringMap.add "2.6.21-1.3238.fc8.x86_64" v map;;
444 let v = (parser_2, 1408);;
445 let map = StringMap.add "2.6.21-1.3242.fc8.i686" v map;;
446 let v = (parser_12, 1092);;
447 let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;;
448 let v = (parser_13, 2044);;
449 let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;;
450 let v = (parser_7, 2316);;
451 let map = StringMap.add "2.6.21-1.3242.fc8.x86_64" v map;;
452 let v = (parser_2, 1408);;
453 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;;
454 let v = (parser_12, 1092);;
455 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;;
456 let v = (parser_13, 2044);;
457 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;;
458 let v = (parser_7, 2316);;
459 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.x86_64" v map;;
460 let v = (parser_2, 1408);;
461 let map = StringMap.add "2.6.22-0.rc7.2.fc8.i686" v map;;
462 let v = (parser_12, 1092);;
463 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;;
464 let v = (parser_13, 2044);;
465 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;;
466 let v = (parser_7, 2316);;
467 let map = StringMap.add "2.6.22-0.rc7.2.fc8.x86_64" v map;;
468 let v = (parser_2, 1248);;
469 let map = StringMap.add "2.6.23.14-135.fc8.i586" v map;;
470 let v = (parser_2, 1248);;
471 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
472 let v = (parser_14, 952);;
473 let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;;
474 let v = (parser_13, 1824);;
475 let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;;
476 let v = (parser_7, 1800);;
477 let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;;
478 let v = (parser_2, 1248);;
479 let map = StringMap.add "2.6.23.14-78.fc7.i586" v map;;
480 let v = (parser_2, 1248);;
481 let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;;
482 let v = (parser_14, 952);;
483 let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;;
484 let v = (parser_13, 1824);;
485 let map = StringMap.add "2.6.23.14-78.fc7.ppc64" v map;;
486 let v = (parser_7, 1800);;
487 let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;;
488 let v = (parser_4, 1244);;
489 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i586" v map;;
490 let v = (parser_4, 1244);;
491 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;;
492 let v = (parser_15, 1048);;
493 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;;
494 let v = (parser_16, 1984);;
495 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;;
496 let v = (parser_8, 2288);;
497 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.x86_64" v map;;
498 let v = (parser_4, 1244);;
499 let map = StringMap.add "2.6.24-7.fc9.i586" v map;;
500 let v = (parser_4, 1244);;
501 let map = StringMap.add "2.6.24-7.fc9.i686" v map;;
502 let v = (parser_15, 1048);;
503 let map = StringMap.add "2.6.24-7.fc9.ppc" v map;;
504 let v = (parser_16, 1984);;
505 let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;;
506 let v = (parser_8, 2288);;
507 let map = StringMap.add "2.6.24-7.fc9.x86_64" v map;;
508 let v = (parser_4, 1244);;
509 let map = StringMap.add "2.6.24-9.fc9.i586" v map;;
510 let v = (parser_4, 1244);;
511 let map = StringMap.add "2.6.24-9.fc9.i686" v map;;
512 let v = (parser_15, 1048);;
513 let map = StringMap.add "2.6.24-9.fc9.ppc" v map;;
514 let v = (parser_16, 1984);;
515 let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;;
516 let v = (parser_8, 2288);;
517 let map = StringMap.add "2.6.24-9.fc9.x86_64" v map;;
518 let v = (parser_4, 1212);;
519 let map = StringMap.add "2.6.25.11-97.fc9.i686" v map;;
520 let v = (parser_8, 1752);;
521 let map = StringMap.add "2.6.25.11-97.fc9.x86_64" v map;;
522 let v = (parser_3, 1216);;
523 let map = StringMap.add "2.6.26.2-2.fc8.i586" v map;;
524 let v = (parser_3, 1216);;
525 let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
526 let v = (parser_17, 920);;
527 let map = StringMap.add "2.6.26.2-2.fc8.ppc" v map;;
528 let v = (parser_16, 1776);;
529 let map = StringMap.add "2.6.26.2-2.fc8.ppc64" v map;;
530 let v = (parser_8, 1752);;
531 let map = StringMap.add "2.6.26.2-2.fc8.x86_64" v map;;
532 let v = (parser_5, 1388);;
533 let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.i586" v map;;
534 let v = (parser_5, 1388);;
535 let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.i686" v map;;
536 let v = (parser_18, 1072);;
537 let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc" v map;;
538 let v = (parser_19, 2332);;
539 let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc64" v map;;
540 let v = (parser_20, 2316);;
541 let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.x86_64" v map;;
542 let v = (parser_21, 672);;
543 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
544 let v = (parser_10, 1260);;
545 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;;
546 let v = (parser_10, 1260);;
547 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;;
548 let v = (parser_22, 1108);;
549 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
550 let v = (parser_23, 668);;
551 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
552 let v = (parser_10, 1260);;
553 let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;;
554 let v = (parser_24, 1100);;
555 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
556 let v = (parser_10, 1924);;
557 let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;;
558 let v = (parser_22, 2124);;
559 let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;;
560 let v = (parser_10, 1924);;
561 let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;;
562 let v = (parser_22, 2124);;
563 let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;;
564 let v = (parser_10, 1924);;
565 let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;;
566 let v = (parser_22, 2124);;
567 let map = StringMap.add "2.6.21-1.3141.fc7.x86_64" v map;;
568 let v = (parser_10, 1924);;
569 let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;;
570 let v = (parser_22, 2124);;
571 let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;;
572 let v = (parser_10, 1924);;
573 let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;;
574 let v = (parser_22, 1644);;
575 let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
576 let v = (parser_10, 1924);;
577 let map = StringMap.add "2.6.21-1.3190.fc7.ppc64" v map;;
578 let v = (parser_22, 1644);;
579 let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;;
580 let v = (parser_13, 2044);;
581 let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;;
582 let v = (parser_13, 2044);;
583 let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;;
584 let v = (parser_13, 2044);;
585 let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;;
586 let v = (parser_10, 1684);;
587 let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;;
588 let v = (parser_22, 1404);;
589 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
590 let v = (parser_13, 2044);;
591 let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;;
592 let v = (parser_13, 2044);;
593 let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;;
594 let v = (parser_13, 2044);;
595 let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;;
596 let v = (parser_13, 2044);;
597 let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;;
598 let v = (parser_13, 2044);;
599 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;;
600 let v = (parser_13, 2044);;
601 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;;
602 let v = (parser_13, 1824);;
603 let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;;
604 let v = (parser_13, 1824);;
605 let map = StringMap.add "2.6.23.14-78.fc7.ppc64" v map;;
606 let v = (parser_16, 1984);;
607 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;;
608 let v = (parser_16, 1984);;
609 let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;;
610 let v = (parser_16, 1984);;
611 let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;;
612 let v = (parser_16, 1776);;
613 let map = StringMap.add "2.6.26.2-2.fc8.ppc64" v map;;
614 let v = (parser_19, 2332);;
615 let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc64" v map;;
616 let v = (parser_9, 688);;
617 let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;;
618 let v = (parser_9, 688);;
619 let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;;
620 let v = (parser_9, 1020);;
621 let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;;
622 let v = (parser_9, 1020);;
623 let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;;
624 let v = (parser_9, 1020);;
625 let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;;
626 let v = (parser_9, 1020);;
627 let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;;
628 let v = (parser_9, 1020);;
629 let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;;
630 let v = (parser_9, 1020);;
631 let map = StringMap.add "2.6.21-1.3190.fc7.ppc" v map;;
632 let v = (parser_12, 1116);;
633 let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;;
634 let v = (parser_12, 1116);;
635 let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;;
636 let v = (parser_12, 1116);;
637 let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;;
638 let v = (parser_9, 936);;
639 let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;;
640 let v = (parser_12, 1116);;
641 let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;;
642 let v = (parser_12, 1116);;
643 let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;;
644 let v = (parser_12, 1116);;
645 let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;;
646 let v = (parser_12, 1116);;
647 let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;;
648 let v = (parser_12, 1116);;
649 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;;
650 let v = (parser_12, 1116);;
651 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;;
652 let v = (parser_25, 1064);;
653 let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;;
654 let v = (parser_25, 1064);;
655 let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;;
656 let v = (parser_15, 1072);;
657 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;;
658 let v = (parser_15, 1072);;
659 let map = StringMap.add "2.6.24-7.fc9.ppc" v map;;
660 let v = (parser_15, 1072);;
661 let map = StringMap.add "2.6.24-9.fc9.ppc" v map;;
662 let v = (parser_17, 1016);;
663 let map = StringMap.add "2.6.26.2-2.fc8.ppc" v map;;
664 let v = (parser_18, 1120);;
665 let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc" v map;;
666 let v = (parser_1, 912);;
667 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
668 let v = (parser_6, 1260);;
669 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
670 let v = (parser_1, 912);;
671 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
672 let v = (parser_6, 1260);;
673 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
674 type kernel_version = string;;
675 let net_device_known version = StringMap.mem version map;;
676 let net_device_size version =
677 let (_, size) = StringMap.find version map in size;;
678 let net_device_of_bits version bits =
679 let (parsefn, _) = StringMap.find version map in parsefn bits;;
680 let get_net_device version mem addr =
681 let (parsefn, size) = StringMap.find version map in
682 let bytes = Virt_mem_mmap.get_bytes mem addr size in
683 let bits = Bitstring.bitstring_of_string bytes in parsefn bits;;