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