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(3392), 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(4416), 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(4288), 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(1728), 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(3392), 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(1696), 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(2496), 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(4416), 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(2592), 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(2528), 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(4288), 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(1728), 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(2688), 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(1696), 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(2624), 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(2752), 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));;
168 module StringMap = Map.Make(String);;
169 let map = StringMap.empty;;
170 let v = (parser_1, 924);;
171 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
172 let v = (parser_1, 1284);;
173 let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
174 let v = (parser_1, 1284);;
175 let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;
176 let v = (parser_1, 1284);;
177 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
178 let v = (parser_2, 1444);;
179 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
180 let v = (parser_2, 1444);;
181 let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;;
182 let v = (parser_3, 1384);;
183 let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
184 let v = (parser_1, 912);;
185 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
186 let v = (parser_1, 1284);;
187 let map = StringMap.add "2.6.21-1.3128.fc7.i686" v map;;
188 let v = (parser_1, 1284);;
189 let map = StringMap.add "2.6.21-1.3132.fc7.i686" v map;;
190 let v = (parser_1, 1284);;
191 let map = StringMap.add "2.6.21-1.3141.fc7.i686" v map;;
192 let v = (parser_1, 1284);;
193 let map = StringMap.add "2.6.21-1.3144.fc7.i686" v map;;
194 let v = (parser_1, 1200);;
195 let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
196 let v = (parser_1, 1200);;
197 let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;
198 let v = (parser_2, 1408);;
199 let map = StringMap.add "2.6.21-1.3209.fc8.i686" v map;;
200 let v = (parser_2, 1408);;
201 let map = StringMap.add "2.6.21-1.3218.fc8.i686" v map;;
202 let v = (parser_2, 1408);;
203 let map = StringMap.add "2.6.21-1.3221.fc8.i686" v map;;
204 let v = (parser_1, 1116);;
205 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
206 let v = (parser_2, 1408);;
207 let map = StringMap.add "2.6.21-1.3234.fc8.i686" v map;;
208 let v = (parser_2, 1408);;
209 let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;;
210 let v = (parser_2, 1408);;
211 let map = StringMap.add "2.6.21-1.3238.fc8.i686" v map;;
212 let v = (parser_2, 1408);;
213 let map = StringMap.add "2.6.21-1.3242.fc8.i686" v map;;
214 let v = (parser_2, 1408);;
215 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;;
216 let v = (parser_2, 1408);;
217 let map = StringMap.add "2.6.22-0.rc7.2.fc8.i686" v map;;
218 let v = (parser_2, 1248);;
219 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
220 let v = (parser_2, 1248);;
221 let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;;
222 let v = (parser_4, 1244);;
223 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;;
224 let v = (parser_4, 1244);;
225 let map = StringMap.add "2.6.24-7.fc9.i686" v map;;
226 let v = (parser_4, 1244);;
227 let map = StringMap.add "2.6.24-9.fc9.i686" v map;;
228 let v = (parser_3, 1216);;
229 let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
230 let v = (parser_1, 924);;
231 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
232 let v = (parser_5, 1540);;
233 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
234 let v = (parser_1, 1284);;
235 let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
236 let v = (parser_5, 2196);;
237 let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
238 let v = (parser_1, 1284);;
239 let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;
240 let v = (parser_5, 2196);;
241 let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;;
242 let v = (parser_1, 1284);;
243 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
244 let v = (parser_5, 2196);;
245 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
246 let v = (parser_2, 1444);;
247 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
248 let v = (parser_6, 2392);;
249 let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;;
250 let v = (parser_6, 2392);;
251 let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;;
252 let v = (parser_3, 1384);;
253 let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
254 let v = (parser_7, 2304);;
255 let map = StringMap.add "2.6.26.2-2.fc8.x86_64" v map;;
256 let v = (parser_1, 912);;
257 let map = StringMap.add "2.6.18-1.2798.fc6.i586" v map;;
258 let v = (parser_1, 912);;
259 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
260 let v = (parser_8, 672);;
261 let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;;
262 let v = (parser_9, 1260);;
263 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;;
264 let v = (parser_9, 1260);;
265 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;;
266 let v = (parser_5, 1260);;
267 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
268 let v = (parser_1, 912);;
269 let map = StringMap.add "2.6.20-1.2933.fc6.i586" v map;;
270 let v = (parser_1, 912);;
271 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
272 let v = (parser_10, 668);;
273 let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;;
274 let v = (parser_9, 1260);;
275 let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;;
276 let v = (parser_5, 1260);;
277 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
278 let v = (parser_1, 1284);;
279 let map = StringMap.add "2.6.21-1.3128.fc7.i586" v map;;
280 let v = (parser_1, 1284);;
281 let map = StringMap.add "2.6.21-1.3128.fc7.i686" v map;;
282 let v = (parser_8, 996);;
283 let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;;
284 let v = (parser_9, 1924);;
285 let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;;
286 let v = (parser_5, 2196);;
287 let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;;
288 let v = (parser_1, 1284);;
289 let map = StringMap.add "2.6.21-1.3132.fc7.i586" v map;;
290 let v = (parser_1, 1284);;
291 let map = StringMap.add "2.6.21-1.3132.fc7.i686" v map;;
292 let v = (parser_8, 996);;
293 let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;;
294 let v = (parser_9, 1924);;
295 let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;;
296 let v = (parser_5, 2196);;
297 let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;;
298 let v = (parser_1, 1284);;
299 let map = StringMap.add "2.6.21-1.3141.fc7.i586" v map;;
300 let v = (parser_1, 1284);;
301 let map = StringMap.add "2.6.21-1.3141.fc7.i686" v map;;
302 let v = (parser_8, 996);;
303 let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;;
304 let v = (parser_9, 1924);;
305 let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;;
306 let v = (parser_5, 2196);;
307 let map = StringMap.add "2.6.21-1.3141.fc7.x86_64" v map;;
308 let v = (parser_1, 1284);;
309 let map = StringMap.add "2.6.21-1.3144.fc7.i586" v map;;
310 let v = (parser_1, 1284);;
311 let map = StringMap.add "2.6.21-1.3144.fc7.i686" v map;;
312 let v = (parser_8, 996);;
313 let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;;
314 let v = (parser_9, 1924);;
315 let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;;
316 let v = (parser_5, 2196);;
317 let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;;
318 let v = (parser_1, 1200);;
319 let map = StringMap.add "2.6.21-1.3145.fc7.i586" v map;;
320 let v = (parser_1, 1200);;
321 let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
322 let v = (parser_8, 996);;
323 let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;;
324 let v = (parser_9, 1924);;
325 let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;;
326 let v = (parser_5, 1900);;
327 let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
328 let v = (parser_1, 1200);;
329 let map = StringMap.add "2.6.21-1.3190.fc7.i586" v map;;
330 let v = (parser_1, 1200);;
331 let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;
332 let v = (parser_8, 996);;
333 let map = StringMap.add "2.6.21-1.3190.fc7.ppc" v map;;
334 let v = (parser_9, 1924);;
335 let map = StringMap.add "2.6.21-1.3190.fc7.ppc64" v map;;
336 let v = (parser_5, 1900);;
337 let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;;
338 let v = (parser_2, 1408);;
339 let map = StringMap.add "2.6.21-1.3209.fc8.i586" v map;;
340 let v = (parser_2, 1408);;
341 let map = StringMap.add "2.6.21-1.3209.fc8.i686" v map;;
342 let v = (parser_11, 1092);;
343 let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;;
344 let v = (parser_12, 2044);;
345 let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;;
346 let v = (parser_6, 2316);;
347 let map = StringMap.add "2.6.21-1.3209.fc8.x86_64" v map;;
348 let v = (parser_2, 1408);;
349 let map = StringMap.add "2.6.21-1.3218.fc8.i586" v map;;
350 let v = (parser_2, 1408);;
351 let map = StringMap.add "2.6.21-1.3218.fc8.i686" v map;;
352 let v = (parser_11, 1092);;
353 let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;;
354 let v = (parser_12, 2044);;
355 let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;;
356 let v = (parser_6, 2316);;
357 let map = StringMap.add "2.6.21-1.3218.fc8.x86_64" v map;;
358 let v = (parser_2, 1408);;
359 let map = StringMap.add "2.6.21-1.3221.fc8.i586" v map;;
360 let v = (parser_2, 1408);;
361 let map = StringMap.add "2.6.21-1.3221.fc8.i686" v map;;
362 let v = (parser_11, 1092);;
363 let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;;
364 let v = (parser_12, 2044);;
365 let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;;
366 let v = (parser_6, 2316);;
367 let map = StringMap.add "2.6.21-1.3221.fc8.x86_64" v map;;
368 let v = (parser_1, 1116);;
369 let map = StringMap.add "2.6.21-1.3228.fc7.i586" v map;;
370 let v = (parser_1, 1116);;
371 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
372 let v = (parser_8, 836);;
373 let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;;
374 let v = (parser_9, 1684);;
375 let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;;
376 let v = (parser_5, 1660);;
377 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
378 let v = (parser_2, 1408);;
379 let map = StringMap.add "2.6.21-1.3234.fc8.i686" v map;;
380 let v = (parser_11, 1092);;
381 let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;;
382 let v = (parser_12, 2044);;
383 let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;;
384 let v = (parser_6, 2316);;
385 let map = StringMap.add "2.6.21-1.3234.fc8.x86_64" v map;;
386 let v = (parser_2, 1408);;
387 let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;;
388 let v = (parser_11, 1092);;
389 let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;;
390 let v = (parser_12, 2044);;
391 let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;;
392 let v = (parser_6, 2316);;
393 let map = StringMap.add "2.6.21-1.3236.fc8.x86_64" v map;;
394 let v = (parser_2, 1408);;
395 let map = StringMap.add "2.6.21-1.3238.fc8.i686" v map;;
396 let v = (parser_11, 1092);;
397 let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;;
398 let v = (parser_12, 2044);;
399 let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;;
400 let v = (parser_6, 2316);;
401 let map = StringMap.add "2.6.21-1.3238.fc8.x86_64" v map;;
402 let v = (parser_2, 1408);;
403 let map = StringMap.add "2.6.21-1.3242.fc8.i686" v map;;
404 let v = (parser_11, 1092);;
405 let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;;
406 let v = (parser_12, 2044);;
407 let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;;
408 let v = (parser_6, 2316);;
409 let map = StringMap.add "2.6.21-1.3242.fc8.x86_64" v map;;
410 let v = (parser_2, 1408);;
411 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;;
412 let v = (parser_11, 1092);;
413 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;;
414 let v = (parser_12, 2044);;
415 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;;
416 let v = (parser_6, 2316);;
417 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.x86_64" v map;;
418 let v = (parser_2, 1408);;
419 let map = StringMap.add "2.6.22-0.rc7.2.fc8.i686" v map;;
420 let v = (parser_11, 1092);;
421 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;;
422 let v = (parser_12, 2044);;
423 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;;
424 let v = (parser_6, 2316);;
425 let map = StringMap.add "2.6.22-0.rc7.2.fc8.x86_64" v map;;
426 let v = (parser_2, 1248);;
427 let map = StringMap.add "2.6.23.14-135.fc8.i586" v map;;
428 let v = (parser_2, 1248);;
429 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
430 let v = (parser_13, 952);;
431 let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;;
432 let v = (parser_12, 1824);;
433 let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;;
434 let v = (parser_6, 1800);;
435 let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;;
436 let v = (parser_2, 1248);;
437 let map = StringMap.add "2.6.23.14-78.fc7.i586" v map;;
438 let v = (parser_2, 1248);;
439 let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;;
440 let v = (parser_13, 952);;
441 let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;;
442 let v = (parser_12, 1824);;
443 let map = StringMap.add "2.6.23.14-78.fc7.ppc64" v map;;
444 let v = (parser_6, 1800);;
445 let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;;
446 let v = (parser_4, 1244);;
447 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i586" v map;;
448 let v = (parser_4, 1244);;
449 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;;
450 let v = (parser_14, 1048);;
451 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;;
452 let v = (parser_15, 1984);;
453 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;;
454 let v = (parser_7, 2288);;
455 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.x86_64" v map;;
456 let v = (parser_4, 1244);;
457 let map = StringMap.add "2.6.24-7.fc9.i586" v map;;
458 let v = (parser_4, 1244);;
459 let map = StringMap.add "2.6.24-7.fc9.i686" v map;;
460 let v = (parser_14, 1048);;
461 let map = StringMap.add "2.6.24-7.fc9.ppc" v map;;
462 let v = (parser_15, 1984);;
463 let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;;
464 let v = (parser_7, 2288);;
465 let map = StringMap.add "2.6.24-7.fc9.x86_64" v map;;
466 let v = (parser_4, 1244);;
467 let map = StringMap.add "2.6.24-9.fc9.i586" v map;;
468 let v = (parser_4, 1244);;
469 let map = StringMap.add "2.6.24-9.fc9.i686" v map;;
470 let v = (parser_14, 1048);;
471 let map = StringMap.add "2.6.24-9.fc9.ppc" v map;;
472 let v = (parser_15, 1984);;
473 let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;;
474 let v = (parser_7, 2288);;
475 let map = StringMap.add "2.6.24-9.fc9.x86_64" v map;;
476 let v = (parser_4, 1212);;
477 let map = StringMap.add "2.6.25.11-97.fc9.i686" v map;;
478 let v = (parser_7, 1752);;
479 let map = StringMap.add "2.6.25.11-97.fc9.x86_64" v map;;
480 let v = (parser_3, 1216);;
481 let map = StringMap.add "2.6.26.2-2.fc8.i586" v map;;
482 let v = (parser_3, 1216);;
483 let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
484 let v = (parser_15, 1776);;
485 let map = StringMap.add "2.6.26.2-2.fc8.ppc64" v map;;
486 let v = (parser_16, 672);;
487 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
488 let v = (parser_9, 1260);;
489 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;;
490 let v = (parser_9, 1260);;
491 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;;
492 let v = (parser_17, 1108);;
493 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
494 let v = (parser_18, 668);;
495 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
496 let v = (parser_9, 1260);;
497 let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;;
498 let v = (parser_19, 1100);;
499 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
500 let v = (parser_9, 1924);;
501 let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;;
502 let v = (parser_17, 2124);;
503 let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;;
504 let v = (parser_9, 1924);;
505 let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;;
506 let v = (parser_17, 2124);;
507 let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;;
508 let v = (parser_9, 1924);;
509 let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;;
510 let v = (parser_17, 2124);;
511 let map = StringMap.add "2.6.21-1.3141.fc7.x86_64" v map;;
512 let v = (parser_9, 1924);;
513 let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;;
514 let v = (parser_17, 2124);;
515 let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;;
516 let v = (parser_9, 1924);;
517 let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;;
518 let v = (parser_17, 1644);;
519 let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
520 let v = (parser_9, 1924);;
521 let map = StringMap.add "2.6.21-1.3190.fc7.ppc64" v map;;
522 let v = (parser_17, 1644);;
523 let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;;
524 let v = (parser_12, 2044);;
525 let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;;
526 let v = (parser_12, 2044);;
527 let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;;
528 let v = (parser_12, 2044);;
529 let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;;
530 let v = (parser_9, 1684);;
531 let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;;
532 let v = (parser_17, 1404);;
533 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
534 let v = (parser_12, 2044);;
535 let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;;
536 let v = (parser_12, 2044);;
537 let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;;
538 let v = (parser_12, 2044);;
539 let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;;
540 let v = (parser_12, 2044);;
541 let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;;
542 let v = (parser_12, 2044);;
543 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;;
544 let v = (parser_12, 2044);;
545 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;;
546 let v = (parser_12, 1824);;
547 let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;;
548 let v = (parser_12, 1824);;
549 let map = StringMap.add "2.6.23.14-78.fc7.ppc64" v map;;
550 let v = (parser_15, 1984);;
551 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;;
552 let v = (parser_15, 1984);;
553 let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;;
554 let v = (parser_15, 1984);;
555 let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;;
556 let v = (parser_15, 1776);;
557 let map = StringMap.add "2.6.26.2-2.fc8.ppc64" v map;;
558 let v = (parser_8, 688);;
559 let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;;
560 let v = (parser_8, 688);;
561 let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;;
562 let v = (parser_8, 1020);;
563 let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;;
564 let v = (parser_8, 1020);;
565 let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;;
566 let v = (parser_8, 1020);;
567 let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;;
568 let v = (parser_8, 1020);;
569 let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;;
570 let v = (parser_8, 1020);;
571 let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;;
572 let v = (parser_8, 1020);;
573 let map = StringMap.add "2.6.21-1.3190.fc7.ppc" v map;;
574 let v = (parser_11, 1116);;
575 let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;;
576 let v = (parser_11, 1116);;
577 let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;;
578 let v = (parser_11, 1116);;
579 let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;;
580 let v = (parser_8, 936);;
581 let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;;
582 let v = (parser_11, 1116);;
583 let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;;
584 let v = (parser_11, 1116);;
585 let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;;
586 let v = (parser_11, 1116);;
587 let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;;
588 let v = (parser_11, 1116);;
589 let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;;
590 let v = (parser_11, 1116);;
591 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;;
592 let v = (parser_11, 1116);;
593 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;;
594 let v = (parser_20, 1064);;
595 let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;;
596 let v = (parser_20, 1064);;
597 let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;;
598 let v = (parser_14, 1072);;
599 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;;
600 let v = (parser_14, 1072);;
601 let map = StringMap.add "2.6.24-7.fc9.ppc" v map;;
602 let v = (parser_14, 1072);;
603 let map = StringMap.add "2.6.24-9.fc9.ppc" v map;;
604 let v = (parser_1, 912);;
605 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
606 let v = (parser_5, 1260);;
607 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
608 let v = (parser_1, 912);;
609 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
610 let v = (parser_5, 1260);;
611 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
612 type kernel_version = string;;
613 let net_device_known version = StringMap.mem version map;;
614 let net_device_size version =
615 let (_, size) = StringMap.find version map in size;;
616 let net_device_of_bits version bits =
617 let (parsefn, _) = StringMap.find version map in parsefn bits;;
618 let get_net_device version mem addr =
619 let (parsefn, size) = StringMap.find version map in
620 let bytes = Virt_mem_mmap.get_bytes mem addr size in
621 let bits = Bitstring.bitstring_of_string bytes in parsefn bits;;