lib/kernel_net_device.ml

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