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
  11 let zero = 0;;
  12 let struct_name = "net_device";;
  13 let match_err = "failed to match kernel structure";;
  14 type t =
  15   { net_device_dev_list'prev : Virt_mem_mmap.addr option;
  16     net_device_dev_list'next : Virt_mem_mmap.addr option;
  17     net_device_next : Virt_mem_mmap.addr option; net_device_name : string;
  18     net_device_dev_addr : string
  19   };;
  20 type fs_t =
  21   { __fs_net_device_dev_list'prev : Virt_mem_types.fieldsig;
  22     __fs_net_device_dev_list'next : Virt_mem_types.fieldsig;
  23     __fs_net_device_next : Virt_mem_types.fieldsig;
  24     __fs_net_device_name : Virt_mem_types.fieldsig;
  25     __fs_net_device_dev_addr : Virt_mem_types.fieldsig
  26   };;
  27 let fieldsig_1 =
  28   {
  29     (())
  30     with
  31     __fs_net_device_name =
  32       { Virt_mem_types.field_available = true; field_offset = 0; };
  33     __fs_net_device_next =
  34       { Virt_mem_types.field_available = true; field_offset = 48; };
  35     __fs_net_device_dev_addr =
  36       { Virt_mem_types.field_available = true; field_offset = 280; };
  37     __fs_net_device_dev_list'prev =
  38       { Virt_mem_types.field_available = false; field_offset = (-1); };
  39     __fs_net_device_dev_list'next =
  40       { Virt_mem_types.field_available = false; field_offset = (-1); };
  41   };;
  42 let fieldsig_2 =
  43   {
  44     (())
  45     with
  46     __fs_net_device_name =
  47       { Virt_mem_types.field_available = true; field_offset = 0; };
  48     __fs_net_device_dev_list'next =
  49       { Virt_mem_types.field_available = true; field_offset = 48; };
  50     __fs_net_device_dev_list'prev =
  51       { Virt_mem_types.field_available = true; field_offset = 52; };
  52     __fs_net_device_dev_addr =
  53       { Virt_mem_types.field_available = true; field_offset = 408; };
  54     __fs_net_device_next =
  55       { Virt_mem_types.field_available = false; field_offset = (-1); };
  56   };;
  57 let fieldsig_3 =
  58   {
  59     (())
  60     with
  61     __fs_net_device_name =
  62       { Virt_mem_types.field_available = true; field_offset = 0; };
  63     __fs_net_device_dev_list'next =
  64       { Virt_mem_types.field_available = true; field_offset = 48; };
  65     __fs_net_device_dev_list'prev =
  66       { Virt_mem_types.field_available = true; field_offset = 52; };
  67     __fs_net_device_dev_addr =
  68       { Virt_mem_types.field_available = true; field_offset = 320; };
  69     __fs_net_device_next =
  70       { Virt_mem_types.field_available = false; field_offset = (-1); };
  71   };;
  72 let fieldsig_4 =
  73   {
  74     (())
  75     with
  76     __fs_net_device_name =
  77       { Virt_mem_types.field_available = true; field_offset = 0; };
  78     __fs_net_device_dev_list'next =
  79       { Virt_mem_types.field_available = true; field_offset = 48; };
  80     __fs_net_device_dev_list'prev =
  81       { Virt_mem_types.field_available = true; field_offset = 52; };
  82     __fs_net_device_dev_addr =
  83       { Virt_mem_types.field_available = true; field_offset = 316; };
  84     __fs_net_device_next =
  85       { Virt_mem_types.field_available = false; field_offset = (-1); };
  86   };;
  87 let fieldsig_5 =
  88   {
  89     (())
  90     with
  91     __fs_net_device_name =
  92       { Virt_mem_types.field_available = true; field_offset = 0; };
  93     __fs_net_device_dev_list'next =
  94       { Virt_mem_types.field_available = true; field_offset = 48; };
  95     __fs_net_device_dev_list'prev =
  96       { Virt_mem_types.field_available = true; field_offset = 52; };
  97     __fs_net_device_dev_addr =
  98       { Virt_mem_types.field_available = true; field_offset = 348; };
  99     __fs_net_device_next =
 100       { Virt_mem_types.field_available = false; field_offset = (-1); };
 101   };;
 102 let fieldsig_6 =
 103   {
 104     (())
 105     with
 106     __fs_net_device_name =
 107       { Virt_mem_types.field_available = true; field_offset = 0; };
 108     __fs_net_device_next =
 109       { Virt_mem_types.field_available = true; field_offset = 72; };
 110     __fs_net_device_dev_addr =
 111       { Virt_mem_types.field_available = true; field_offset = 424; };
 112     __fs_net_device_dev_list'prev =
 113       { Virt_mem_types.field_available = false; field_offset = (-1); };
 114     __fs_net_device_dev_list'next =
 115       { Virt_mem_types.field_available = false; field_offset = (-1); };
 116   };;
 117 let fieldsig_7 =
 118   {
 119     (())
 120     with
 121     __fs_net_device_name =
 122       { Virt_mem_types.field_available = true; field_offset = 0; };
 123     __fs_net_device_dev_list'next =
 124       { Virt_mem_types.field_available = true; field_offset = 72; };
 125     __fs_net_device_dev_list'prev =
 126       { Virt_mem_types.field_available = true; field_offset = 80; };
 127     __fs_net_device_dev_addr =
 128       { Virt_mem_types.field_available = true; field_offset = 552; };
 129     __fs_net_device_next =
 130       { Virt_mem_types.field_available = false; field_offset = (-1); };
 131   };;
 132 let fieldsig_8 =
 133   {
 134     (())
 135     with
 136     __fs_net_device_name =
 137       { Virt_mem_types.field_available = true; field_offset = 0; };
 138     __fs_net_device_dev_list'next =
 139       { Virt_mem_types.field_available = true; field_offset = 72; };
 140     __fs_net_device_dev_list'prev =
 141       { Virt_mem_types.field_available = true; field_offset = 80; };
 142     __fs_net_device_dev_addr =
 143       { Virt_mem_types.field_available = true; field_offset = 536; };
 144     __fs_net_device_next =
 145       { Virt_mem_types.field_available = false; field_offset = (-1); };
 146   };;
 147 let fieldsig_9 =
 148   {
 149     (())
 150     with
 151     __fs_net_device_name =
 152       { Virt_mem_types.field_available = true; field_offset = 0; };
 153     __fs_net_device_next =
 154       { Virt_mem_types.field_available = true; field_offset = 48; };
 155     __fs_net_device_dev_addr =
 156       { Virt_mem_types.field_available = true; field_offset = 216; };
 157     __fs_net_device_dev_list'prev =
 158       { Virt_mem_types.field_available = false; field_offset = (-1); };
 159     __fs_net_device_dev_list'next =
 160       { Virt_mem_types.field_available = false; field_offset = (-1); };
 161   };;
 162 let fieldsig_10 =
 163   {
 164     (())
 165     with
 166     __fs_net_device_name =
 167       { Virt_mem_types.field_available = true; field_offset = 0; };
 168     __fs_net_device_next =
 169       { Virt_mem_types.field_available = true; field_offset = 72; };
 170     __fs_net_device_dev_addr =
 171       { Virt_mem_types.field_available = true; field_offset = 424; };
 172     __fs_net_device_dev_list'prev =
 173       { Virt_mem_types.field_available = false; field_offset = (-1); };
 174     __fs_net_device_dev_list'next =
 175       { Virt_mem_types.field_available = false; field_offset = (-1); };
 176   };;
 177 let fieldsig_11 =
 178   {
 179     (())
 180     with
 181     __fs_net_device_name =
 182       { Virt_mem_types.field_available = true; field_offset = 0; };
 183     __fs_net_device_next =
 184       { Virt_mem_types.field_available = true; field_offset = 48; };
 185     __fs_net_device_dev_addr =
 186       { Virt_mem_types.field_available = true; field_offset = 212; };
 187     __fs_net_device_dev_list'prev =
 188       { Virt_mem_types.field_available = false; field_offset = (-1); };
 189     __fs_net_device_dev_list'next =
 190       { Virt_mem_types.field_available = false; field_offset = (-1); };
 191   };;
 192 let fieldsig_12 =
 193   {
 194     (())
 195     with
 196     __fs_net_device_name =
 197       { Virt_mem_types.field_available = true; field_offset = 0; };
 198     __fs_net_device_dev_list'next =
 199       { Virt_mem_types.field_available = true; field_offset = 48; };
 200     __fs_net_device_dev_list'prev =
 201       { Virt_mem_types.field_available = true; field_offset = 52; };
 202     __fs_net_device_dev_addr =
 203       { Virt_mem_types.field_available = true; field_offset = 312; };
 204     __fs_net_device_next =
 205       { Virt_mem_types.field_available = false; field_offset = (-1); };
 206   };;
 207 let fieldsig_13 =
 208   {
 209     (())
 210     with
 211     __fs_net_device_name =
 212       { Virt_mem_types.field_available = true; field_offset = 0; };
 213     __fs_net_device_dev_list'next =
 214       { Virt_mem_types.field_available = true; field_offset = 72; };
 215     __fs_net_device_dev_list'prev =
 216       { Virt_mem_types.field_available = true; field_offset = 80; };
 217     __fs_net_device_dev_addr =
 218       { Virt_mem_types.field_available = true; field_offset = 552; };
 219     __fs_net_device_next =
 220       { Virt_mem_types.field_available = false; field_offset = (-1); };
 221   };;
 222 let fieldsig_14 =
 223   {
 224     (())
 225     with
 226     __fs_net_device_name =
 227       { Virt_mem_types.field_available = true; field_offset = 0; };
 228     __fs_net_device_dev_list'next =
 229       { Virt_mem_types.field_available = true; field_offset = 48; };
 230     __fs_net_device_dev_list'prev =
 231       { Virt_mem_types.field_available = true; field_offset = 52; };
 232     __fs_net_device_dev_addr =
 233       { Virt_mem_types.field_available = true; field_offset = 324; };
 234     __fs_net_device_next =
 235       { Virt_mem_types.field_available = false; field_offset = (-1); };
 236   };;
 237 let fieldsig_15 =
 238   {
 239     (())
 240     with
 241     __fs_net_device_name =
 242       { Virt_mem_types.field_available = true; field_offset = 0; };
 243     __fs_net_device_dev_list'next =
 244       { Virt_mem_types.field_available = true; field_offset = 48; };
 245     __fs_net_device_dev_list'prev =
 246       { Virt_mem_types.field_available = true; field_offset = 52; };
 247     __fs_net_device_dev_addr =
 248       { Virt_mem_types.field_available = true; field_offset = 316; };
 249     __fs_net_device_next =
 250       { Virt_mem_types.field_available = false; field_offset = (-1); };
 251   };;
 252 let fieldsig_16 =
 253   {
 254     (())
 255     with
 256     __fs_net_device_name =
 257       { Virt_mem_types.field_available = true; field_offset = 0; };
 258     __fs_net_device_dev_list'next =
 259       { Virt_mem_types.field_available = true; field_offset = 72; };
 260     __fs_net_device_dev_list'prev =
 261       { Virt_mem_types.field_available = true; field_offset = 80; };
 262     __fs_net_device_dev_addr =
 263       { Virt_mem_types.field_available = true; field_offset = 536; };
 264     __fs_net_device_next =
 265       { Virt_mem_types.field_available = false; field_offset = (-1); };
 266   };;
 267 let fieldsig_17 =
 268   {
 269     (())
 270     with
 271     __fs_net_device_name =
 272       { Virt_mem_types.field_available = true; field_offset = 0; };
 273     __fs_net_device_dev_list'next =
 274       { Virt_mem_types.field_available = true; field_offset = 48; };
 275     __fs_net_device_dev_list'prev =
 276       { Virt_mem_types.field_available = true; field_offset = 52; };
 277     __fs_net_device_dev_addr =
 278       { Virt_mem_types.field_available = true; field_offset = 320; };
 279     __fs_net_device_next =
 280       { Virt_mem_types.field_available = false; field_offset = (-1); };
 281   };;
 282 let fieldsig_18 =
 283   {
 284     (())
 285     with
 286     __fs_net_device_name =
 287       { Virt_mem_types.field_available = true; field_offset = 0; };
 288     __fs_net_device_dev_list'next =
 289       { Virt_mem_types.field_available = true; field_offset = 48; };
 290     __fs_net_device_dev_list'prev =
 291       { Virt_mem_types.field_available = true; field_offset = 52; };
 292     __fs_net_device_dev_addr =
 293       { Virt_mem_types.field_available = true; field_offset = 332; };
 294     __fs_net_device_next =
 295       { Virt_mem_types.field_available = false; field_offset = (-1); };
 296   };;
 297 let fieldsig_19 =
 298   {
 299     (())
 300     with
 301     __fs_net_device_name =
 302       { Virt_mem_types.field_available = true; field_offset = 0; };
 303     __fs_net_device_dev_list'next =
 304       { Virt_mem_types.field_available = true; field_offset = 72; };
 305     __fs_net_device_dev_list'prev =
 306       { Virt_mem_types.field_available = true; field_offset = 80; };
 307     __fs_net_device_dev_addr =
 308       { Virt_mem_types.field_available = true; field_offset = 584; };
 309     __fs_net_device_next =
 310       { Virt_mem_types.field_available = false; field_offset = (-1); };
 311   };;
 312 let fieldsig_20 =
 313   {
 314     (())
 315     with
 316     __fs_net_device_name =
 317       { Virt_mem_types.field_available = true; field_offset = 0; };
 318     __fs_net_device_dev_list'next =
 319       { Virt_mem_types.field_available = true; field_offset = 72; };
 320     __fs_net_device_dev_list'prev =
 321       { Virt_mem_types.field_available = true; field_offset = 80; };
 322     __fs_net_device_dev_addr =
 323       { Virt_mem_types.field_available = true; field_offset = 584; };
 324     __fs_net_device_next =
 325       { Virt_mem_types.field_available = false; field_offset = (-1); };
 326   };;
 327 let fieldsig_21 =
 328   {
 329     (())
 330     with
 331     __fs_net_device_name =
 332       { Virt_mem_types.field_available = true; field_offset = 0; };
 333     __fs_net_device_next =
 334       { Virt_mem_types.field_available = true; field_offset = 48; };
 335     __fs_net_device_dev_addr =
 336       { Virt_mem_types.field_available = true; field_offset = 216; };
 337     __fs_net_device_dev_list'prev =
 338       { Virt_mem_types.field_available = false; field_offset = (-1); };
 339     __fs_net_device_dev_list'next =
 340       { Virt_mem_types.field_available = false; field_offset = (-1); };
 341   };;
 342 let fieldsig_22 =
 343   {
 344     (())
 345     with
 346     __fs_net_device_name =
 347       { Virt_mem_types.field_available = true; field_offset = 0; };
 348     __fs_net_device_next =
 349       { Virt_mem_types.field_available = true; field_offset = 72; };
 350     __fs_net_device_dev_addr =
 351       { Virt_mem_types.field_available = true; field_offset = 336; };
 352     __fs_net_device_dev_list'prev =
 353       { Virt_mem_types.field_available = false; field_offset = (-1); };
 354     __fs_net_device_dev_list'next =
 355       { Virt_mem_types.field_available = false; field_offset = (-1); };
 356   };;
 357 let fieldsig_23 =
 358   {
 359     (())
 360     with
 361     __fs_net_device_name =
 362       { Virt_mem_types.field_available = true; field_offset = 0; };
 363     __fs_net_device_next =
 364       { Virt_mem_types.field_available = true; field_offset = 48; };
 365     __fs_net_device_dev_addr =
 366       { Virt_mem_types.field_available = true; field_offset = 212; };
 367     __fs_net_device_dev_list'prev =
 368       { Virt_mem_types.field_available = false; field_offset = (-1); };
 369     __fs_net_device_dev_list'next =
 370       { Virt_mem_types.field_available = false; field_offset = (-1); };
 371   };;
 372 let fieldsig_24 =
 373   {
 374     (())
 375     with
 376     __fs_net_device_name =
 377       { Virt_mem_types.field_available = true; field_offset = 0; };
 378     __fs_net_device_next =
 379       { Virt_mem_types.field_available = true; field_offset = 72; };
 380     __fs_net_device_dev_addr =
 381       { Virt_mem_types.field_available = true; field_offset = 328; };
 382     __fs_net_device_dev_list'prev =
 383       { Virt_mem_types.field_available = false; field_offset = (-1); };
 384     __fs_net_device_dev_list'next =
 385       { Virt_mem_types.field_available = false; field_offset = (-1); };
 386   };;
 387 let fieldsig_25 =
 388   {
 389     (())
 390     with
 391     __fs_net_device_name =
 392       { Virt_mem_types.field_available = true; field_offset = 0; };
 393     __fs_net_device_dev_list'next =
 394       { Virt_mem_types.field_available = true; field_offset = 48; };
 395     __fs_net_device_dev_list'prev =
 396       { Virt_mem_types.field_available = true; field_offset = 52; };
 397     __fs_net_device_dev_addr =
 398       { Virt_mem_types.field_available = true; field_offset = 344; };
 399     __fs_net_device_next =
 400       { Virt_mem_types.field_available = false; field_offset = (-1); };
 401   };;
 402 let parser_1 bits =
 403   bitmatch bits with
 404   | { net_device_name : 128 : offset(0), string;
 405       net_device_next : zero+32 : offset(384), littleendian;
 406       net_device_dev_addr : 256 : offset(2240), string } ->
 407       { net_device_name = net_device_name;
 408         net_device_next = Some net_device_next;
 409         net_device_dev_addr = net_device_dev_addr;
 410         net_device_dev_list'prev = None;
 411         net_device_dev_list'next = None }
 412   | { _ } ->
 413       raise (Virt_mem_types.ParseError (struct_name, "parser_1", match_err));;
 414 let parser_2 bits =
 415   bitmatch bits with
 416   | { net_device_name : 128 : offset(0), string;
 417       net_device_dev_list'next : zero+32 : offset(384), littleendian;
 418       net_device_dev_list'prev : zero+32 : offset(416), littleendian;
 419       net_device_dev_addr : 256 : offset(3264), string } ->
 420       { net_device_name = net_device_name;
 421         net_device_dev_list'next = Some (Int64.sub net_device_dev_list'next 48L);
 422         net_device_dev_list'prev = Some (Int64.sub net_device_dev_list'prev 52L);
 423         net_device_dev_addr = net_device_dev_addr;
 424         net_device_next = None }
 425   | { _ } ->
 426       raise (Virt_mem_types.ParseError (struct_name, "parser_2", match_err));;
 427 let parser_3 bits =
 428   bitmatch bits with
 429   | { net_device_name : 128 : offset(0), string;
 430       net_device_dev_list'next : zero+32 : offset(384), littleendian;
 431       net_device_dev_list'prev : zero+32 : offset(416), littleendian;
 432       net_device_dev_addr : 256 : offset(2560), string } ->
 433       { net_device_name = net_device_name;
 434         net_device_dev_list'next = Some (Int64.sub net_device_dev_list'next 48L);
 435         net_device_dev_list'prev = Some (Int64.sub net_device_dev_list'prev 52L);
 436         net_device_dev_addr = net_device_dev_addr;
 437         net_device_next = None }
 438   | { _ } ->
 439       raise (Virt_mem_types.ParseError (struct_name, "parser_3", match_err));;
 440 let parser_4 bits =
 441   bitmatch bits with
 442   | { net_device_name : 128 : offset(0), string;
 443       net_device_dev_list'next : zero+32 : offset(384), littleendian;
 444       net_device_dev_list'prev : zero+32 : offset(416), littleendian;
 445       net_device_dev_addr : 256 : offset(2528), string } ->
 446       { net_device_name = net_device_name;
 447         net_device_dev_list'next = Some (Int64.sub net_device_dev_list'next 48L);
 448         net_device_dev_list'prev = Some (Int64.sub net_device_dev_list'prev 52L);
 449         net_device_dev_addr = net_device_dev_addr;
 450         net_device_next = None }
 451   | { _ } ->
 452       raise (Virt_mem_types.ParseError (struct_name, "parser_4", match_err));;
 453 let parser_5 bits =
 454   bitmatch bits with
 455   | { net_device_name : 128 : offset(0), string;
 456       net_device_dev_list'next : zero+32 : offset(384), littleendian;
 457       net_device_dev_list'prev : zero+32 : offset(416), littleendian;
 458       net_device_dev_addr : 256 : offset(2784), string } ->
 459       { net_device_name = net_device_name;
 460         net_device_dev_list'next = Some (Int64.sub net_device_dev_list'next 48L);
 461         net_device_dev_list'prev = Some (Int64.sub net_device_dev_list'prev 52L);
 462         net_device_dev_addr = net_device_dev_addr;
 463         net_device_next = None }
 464   | { _ } ->
 465       raise (Virt_mem_types.ParseError (struct_name, "parser_5", match_err));;
 466 let parser_6 bits =
 467   bitmatch bits with
 468   | { net_device_name : 128 : offset(0), string;
 469       net_device_next : zero+64 : offset(576), littleendian;
 470       net_device_dev_addr : 256 : offset(3392), string } ->
 471       { net_device_name = net_device_name;
 472         net_device_next = Some net_device_next;
 473         net_device_dev_addr = net_device_dev_addr;
 474         net_device_dev_list'prev = None;
 475         net_device_dev_list'next = None }
 476   | { _ } ->
 477       raise (Virt_mem_types.ParseError (struct_name, "parser_6", match_err));;
 478 let parser_7 bits =
 479   bitmatch bits with
 480   | { net_device_name : 128 : offset(0), string;
 481       net_device_dev_list'next : zero+64 : offset(576), littleendian;
 482       net_device_dev_list'prev : zero+64 : offset(640), littleendian;
 483       net_device_dev_addr : 256 : offset(4416), string } ->
 484       { net_device_name = net_device_name;
 485         net_device_dev_list'next = Some (Int64.sub net_device_dev_list'next 72L);
 486         net_device_dev_list'prev = Some (Int64.sub net_device_dev_list'prev 80L);
 487         net_device_dev_addr = net_device_dev_addr;
 488         net_device_next = None }
 489   | { _ } ->
 490       raise (Virt_mem_types.ParseError (struct_name, "parser_7", match_err));;
 491 let parser_8 bits =
 492   bitmatch bits with
 493   | { net_device_name : 128 : offset(0), string;
 494       net_device_dev_list'next : zero+64 : offset(576), littleendian;
 495       net_device_dev_list'prev : zero+64 : offset(640), littleendian;
 496       net_device_dev_addr : 256 : offset(4288), string } ->
 497       { net_device_name = net_device_name;
 498         net_device_dev_list'next = Some (Int64.sub net_device_dev_list'next 72L);
 499         net_device_dev_list'prev = Some (Int64.sub net_device_dev_list'prev 80L);
 500         net_device_dev_addr = net_device_dev_addr;
 501         net_device_next = None }
 502   | { _ } ->
 503       raise (Virt_mem_types.ParseError (struct_name, "parser_8", match_err));;
 504 let parser_9 bits =
 505   bitmatch bits with
 506   | { net_device_name : 128 : offset(0), string;
 507       net_device_next : zero+32 : offset(384), bigendian;
 508       net_device_dev_addr : 256 : offset(1728), string } ->
 509       { net_device_name = net_device_name;
 510         net_device_next = Some net_device_next;
 511         net_device_dev_addr = net_device_dev_addr;
 512         net_device_dev_list'prev = None;
 513         net_device_dev_list'next = None }
 514   | { _ } ->
 515       raise (Virt_mem_types.ParseError (struct_name, "parser_9", match_err));;
 516 let parser_10 bits =
 517   bitmatch bits with
 518   | { net_device_name : 128 : offset(0), string;
 519       net_device_next : zero+64 : offset(576), bigendian;
 520       net_device_dev_addr : 256 : offset(3392), string } ->
 521       { net_device_name = net_device_name;
 522         net_device_next = Some net_device_next;
 523         net_device_dev_addr = net_device_dev_addr;
 524         net_device_dev_list'prev = None;
 525         net_device_dev_list'next = None }
 526   | { _ } ->
 527       raise (Virt_mem_types.ParseError (struct_name, "parser_10", match_err));;
 528 let parser_11 bits =
 529   bitmatch bits with
 530   | { net_device_name : 128 : offset(0), string;
 531       net_device_next : zero+32 : offset(384), bigendian;
 532       net_device_dev_addr : 256 : offset(1696), string } ->
 533       { net_device_name = net_device_name;
 534         net_device_next = Some net_device_next;
 535         net_device_dev_addr = net_device_dev_addr;
 536         net_device_dev_list'prev = None;
 537         net_device_dev_list'next = None }
 538   | { _ } ->
 539       raise (Virt_mem_types.ParseError (struct_name, "parser_11", match_err));;
 540 let parser_12 bits =
 541   bitmatch bits with
 542   | { net_device_name : 128 : offset(0), string;
 543       net_device_dev_list'next : zero+32 : offset(384), bigendian;
 544       net_device_dev_list'prev : zero+32 : offset(416), bigendian;
 545       net_device_dev_addr : 256 : offset(2496), string } ->
 546       { net_device_name = net_device_name;
 547         net_device_dev_list'next = Some (Int64.sub net_device_dev_list'next 48L);
 548         net_device_dev_list'prev = Some (Int64.sub net_device_dev_list'prev 52L);
 549         net_device_dev_addr = net_device_dev_addr;
 550         net_device_next = None }
 551   | { _ } ->
 552       raise (Virt_mem_types.ParseError (struct_name, "parser_12", match_err));;
 553 let parser_13 bits =
 554   bitmatch bits with
 555   | { net_device_name : 128 : offset(0), string;
 556       net_device_dev_list'next : zero+64 : offset(576), bigendian;
 557       net_device_dev_list'prev : zero+64 : offset(640), bigendian;
 558       net_device_dev_addr : 256 : offset(4416), string } ->
 559       { net_device_name = net_device_name;
 560         net_device_dev_list'next = Some (Int64.sub net_device_dev_list'next 72L);
 561         net_device_dev_list'prev = Some (Int64.sub net_device_dev_list'prev 80L);
 562         net_device_dev_addr = net_device_dev_addr;
 563         net_device_next = None }
 564   | { _ } ->
 565       raise (Virt_mem_types.ParseError (struct_name, "parser_13", match_err));;
 566 let parser_14 bits =
 567   bitmatch bits with
 568   | { net_device_name : 128 : offset(0), string;
 569       net_device_dev_list'next : zero+32 : offset(384), bigendian;
 570       net_device_dev_list'prev : zero+32 : offset(416), bigendian;
 571       net_device_dev_addr : 256 : offset(2592), string } ->
 572       { net_device_name = net_device_name;
 573         net_device_dev_list'next = Some (Int64.sub net_device_dev_list'next 48L);
 574         net_device_dev_list'prev = Some (Int64.sub net_device_dev_list'prev 52L);
 575         net_device_dev_addr = net_device_dev_addr;
 576         net_device_next = None }
 577   | { _ } ->
 578       raise (Virt_mem_types.ParseError (struct_name, "parser_14", match_err));;
 579 let parser_15 bits =
 580   bitmatch bits with
 581   | { net_device_name : 128 : offset(0), string;
 582       net_device_dev_list'next : zero+32 : offset(384), bigendian;
 583       net_device_dev_list'prev : zero+32 : offset(416), bigendian;
 584       net_device_dev_addr : 256 : offset(2528), string } ->
 585       { net_device_name = net_device_name;
 586         net_device_dev_list'next = Some (Int64.sub net_device_dev_list'next 48L);
 587         net_device_dev_list'prev = Some (Int64.sub net_device_dev_list'prev 52L);
 588         net_device_dev_addr = net_device_dev_addr;
 589         net_device_next = None }
 590   | { _ } ->
 591       raise (Virt_mem_types.ParseError (struct_name, "parser_15", match_err));;
 592 let parser_16 bits =
 593   bitmatch bits with
 594   | { net_device_name : 128 : offset(0), string;
 595       net_device_dev_list'next : zero+64 : offset(576), bigendian;
 596       net_device_dev_list'prev : zero+64 : offset(640), bigendian;
 597       net_device_dev_addr : 256 : offset(4288), string } ->
 598       { net_device_name = net_device_name;
 599         net_device_dev_list'next = Some (Int64.sub net_device_dev_list'next 72L);
 600         net_device_dev_list'prev = Some (Int64.sub net_device_dev_list'prev 80L);
 601         net_device_dev_addr = net_device_dev_addr;
 602         net_device_next = None }
 603   | { _ } ->
 604       raise (Virt_mem_types.ParseError (struct_name, "parser_16", match_err));;
 605 let parser_17 bits =
 606   bitmatch bits with
 607   | { net_device_name : 128 : offset(0), string;
 608       net_device_dev_list'next : zero+32 : offset(384), bigendian;
 609       net_device_dev_list'prev : zero+32 : offset(416), bigendian;
 610       net_device_dev_addr : 256 : offset(2560), string } ->
 611       { net_device_name = net_device_name;
 612         net_device_dev_list'next = Some (Int64.sub net_device_dev_list'next 48L);
 613         net_device_dev_list'prev = Some (Int64.sub net_device_dev_list'prev 52L);
 614         net_device_dev_addr = net_device_dev_addr;
 615         net_device_next = None }
 616   | { _ } ->
 617       raise (Virt_mem_types.ParseError (struct_name, "parser_17", match_err));;
 618 let parser_18 bits =
 619   bitmatch bits with
 620   | { net_device_name : 128 : offset(0), string;
 621       net_device_dev_list'next : zero+32 : offset(384), bigendian;
 622       net_device_dev_list'prev : zero+32 : offset(416), bigendian;
 623       net_device_dev_addr : 256 : offset(2656), string } ->
 624       { net_device_name = net_device_name;
 625         net_device_dev_list'next = Some (Int64.sub net_device_dev_list'next 48L);
 626         net_device_dev_list'prev = Some (Int64.sub net_device_dev_list'prev 52L);
 627         net_device_dev_addr = net_device_dev_addr;
 628         net_device_next = None }
 629   | { _ } ->
 630       raise (Virt_mem_types.ParseError (struct_name, "parser_18", match_err));;
 631 let parser_19 bits =
 632   bitmatch bits with
 633   | { net_device_name : 128 : offset(0), string;
 634       net_device_dev_list'next : zero+64 : offset(576), bigendian;
 635       net_device_dev_list'prev : zero+64 : offset(640), bigendian;
 636       net_device_dev_addr : 256 : offset(4672), string } ->
 637       { net_device_name = net_device_name;
 638         net_device_dev_list'next = Some (Int64.sub net_device_dev_list'next 72L);
 639         net_device_dev_list'prev = Some (Int64.sub net_device_dev_list'prev 80L);
 640         net_device_dev_addr = net_device_dev_addr;
 641         net_device_next = None }
 642   | { _ } ->
 643       raise (Virt_mem_types.ParseError (struct_name, "parser_19", match_err));;
 644 let parser_20 bits =
 645   bitmatch bits with
 646   | { net_device_name : 128 : offset(0), string;
 647       net_device_dev_list'next : zero+64 : offset(576), littleendian;
 648       net_device_dev_list'prev : zero+64 : offset(640), littleendian;
 649       net_device_dev_addr : 256 : offset(4672), string } ->
 650       { net_device_name = net_device_name;
 651         net_device_dev_list'next = Some (Int64.sub net_device_dev_list'next 72L);
 652         net_device_dev_list'prev = Some (Int64.sub net_device_dev_list'prev 80L);
 653         net_device_dev_addr = net_device_dev_addr;
 654         net_device_next = None }
 655   | { _ } ->
 656       raise (Virt_mem_types.ParseError (struct_name, "parser_20", match_err));;
 657 let parser_21 bits =
 658   bitmatch bits with
 659   | { net_device_name : 128 : offset(0), string;
 660       net_device_next : zero+32 : offset(384), littleendian;
 661       net_device_dev_addr : 256 : offset(1728), string } ->
 662       { net_device_name = net_device_name;
 663         net_device_next = Some net_device_next;
 664         net_device_dev_addr = net_device_dev_addr;
 665         net_device_dev_list'prev = None;
 666         net_device_dev_list'next = None }
 667   | { _ } ->
 668       raise (Virt_mem_types.ParseError (struct_name, "parser_21", match_err));;
 669 let parser_22 bits =
 670   bitmatch bits with
 671   | { net_device_name : 128 : offset(0), string;
 672       net_device_next : zero+64 : offset(576), littleendian;
 673       net_device_dev_addr : 256 : offset(2688), string } ->
 674       { net_device_name = net_device_name;
 675         net_device_next = Some net_device_next;
 676         net_device_dev_addr = net_device_dev_addr;
 677         net_device_dev_list'prev = None;
 678         net_device_dev_list'next = None }
 679   | { _ } ->
 680       raise (Virt_mem_types.ParseError (struct_name, "parser_22", match_err));;
 681 let parser_23 bits =
 682   bitmatch bits with
 683   | { net_device_name : 128 : offset(0), string;
 684       net_device_next : zero+32 : offset(384), littleendian;
 685       net_device_dev_addr : 256 : offset(1696), string } ->
 686       { net_device_name = net_device_name;
 687         net_device_next = Some net_device_next;
 688         net_device_dev_addr = net_device_dev_addr;
 689         net_device_dev_list'prev = None;
 690         net_device_dev_list'next = None }
 691   | { _ } ->
 692       raise (Virt_mem_types.ParseError (struct_name, "parser_23", match_err));;
 693 let parser_24 bits =
 694   bitmatch bits with
 695   | { net_device_name : 128 : offset(0), string;
 696       net_device_next : zero+64 : offset(576), littleendian;
 697       net_device_dev_addr : 256 : offset(2624), string } ->
 698       { net_device_name = net_device_name;
 699         net_device_next = Some net_device_next;
 700         net_device_dev_addr = net_device_dev_addr;
 701         net_device_dev_list'prev = None;
 702         net_device_dev_list'next = None }
 703   | { _ } ->
 704       raise (Virt_mem_types.ParseError (struct_name, "parser_24", match_err));;
 705 let parser_25 bits =
 706   bitmatch bits with
 707   | { net_device_name : 128 : offset(0), string;
 708       net_device_dev_list'next : zero+32 : offset(384), bigendian;
 709       net_device_dev_list'prev : zero+32 : offset(416), bigendian;
 710       net_device_dev_addr : 256 : offset(2752), string } ->
 711       { net_device_name = net_device_name;
 712         net_device_dev_list'next = Some (Int64.sub net_device_dev_list'next 48L);
 713         net_device_dev_list'prev = Some (Int64.sub net_device_dev_list'prev 52L);
 714         net_device_dev_addr = net_device_dev_addr;
 715         net_device_next = None }
 716   | { _ } ->
 717       raise (Virt_mem_types.ParseError (struct_name, "parser_25", match_err));;
 718 module StringMap = Map.Make(String);;
 719 let map = StringMap.empty;;
 720 let v = (parser_1, 924, fieldsig_1);;
 721 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 722 let v = (parser_1, 1284, fieldsig_1);;
 723 let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
 724 let v = (parser_1, 1284, fieldsig_1);;
 725 let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;
 726 let v = (parser_1, 1284, fieldsig_1);;
 727 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
 728 let v = (parser_2, 1444, fieldsig_2);;
 729 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
 730 let v = (parser_2, 1444, fieldsig_2);;
 731 let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;;
 732 let v = (parser_3, 1384, fieldsig_3);;
 733 let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
 734 let v = (parser_1, 912, fieldsig_1);;
 735 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 736 let v = (parser_1, 1284, fieldsig_1);;
 737 let map = StringMap.add "2.6.21-1.3128.fc7.i686" v map;;
 738 let v = (parser_1, 1284, fieldsig_1);;
 739 let map = StringMap.add "2.6.21-1.3132.fc7.i686" v map;;
 740 let v = (parser_1, 1284, fieldsig_1);;
 741 let map = StringMap.add "2.6.21-1.3141.fc7.i686" v map;;
 742 let v = (parser_1, 1284, fieldsig_1);;
 743 let map = StringMap.add "2.6.21-1.3144.fc7.i686" v map;;
 744 let v = (parser_1, 1200, fieldsig_1);;
 745 let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
 746 let v = (parser_1, 1200, fieldsig_1);;
 747 let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;
 748 let v = (parser_2, 1408, fieldsig_2);;
 749 let map = StringMap.add "2.6.21-1.3209.fc8.i686" v map;;
 750 let v = (parser_2, 1408, fieldsig_2);;
 751 let map = StringMap.add "2.6.21-1.3218.fc8.i686" v map;;
 752 let v = (parser_2, 1408, fieldsig_2);;
 753 let map = StringMap.add "2.6.21-1.3221.fc8.i686" v map;;
 754 let v = (parser_1, 1116, fieldsig_1);;
 755 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
 756 let v = (parser_2, 1408, fieldsig_2);;
 757 let map = StringMap.add "2.6.21-1.3234.fc8.i686" v map;;
 758 let v = (parser_2, 1408, fieldsig_2);;
 759 let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;;
 760 let v = (parser_2, 1408, fieldsig_2);;
 761 let map = StringMap.add "2.6.21-1.3238.fc8.i686" v map;;
 762 let v = (parser_2, 1408, fieldsig_2);;
 763 let map = StringMap.add "2.6.21-1.3242.fc8.i686" v map;;
 764 let v = (parser_2, 1408, fieldsig_2);;
 765 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;;
 766 let v = (parser_2, 1408, fieldsig_2);;
 767 let map = StringMap.add "2.6.22-0.rc7.2.fc8.i686" v map;;
 768 let v = (parser_2, 1248, fieldsig_2);;
 769 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
 770 let v = (parser_2, 1248, fieldsig_2);;
 771 let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;;
 772 let v = (parser_4, 1244, fieldsig_4);;
 773 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;;
 774 let v = (parser_4, 1244, fieldsig_4);;
 775 let map = StringMap.add "2.6.24-7.fc9.i686" v map;;
 776 let v = (parser_4, 1244, fieldsig_4);;
 777 let map = StringMap.add "2.6.24-9.fc9.i686" v map;;
 778 let v = (parser_3, 1216, fieldsig_3);;
 779 let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
 780 let v = (parser_5, 1388, fieldsig_5);;
 781 let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.i686" v map;;
 782 let v = (parser_5, 1388, fieldsig_5);;
 783 let map = StringMap.add "2.6.27-0.237.rc2.fc10.i686" v map;;
 784 let v = (parser_5, 1388, fieldsig_5);;
 785 let map = StringMap.add "2.6.27-0.238.rc2.fc10.i686" v map;;
 786 let v = (parser_5, 1388, fieldsig_5);;
 787 let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.i686" v map;;
 788 let v = (parser_5, 1388, fieldsig_5);;
 789 let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.i686" v map;;
 790 let v = (parser_1, 924, fieldsig_1);;
 791 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 792 let v = (parser_6, 1540, fieldsig_6);;
 793 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
 794 let v = (parser_1, 1284, fieldsig_1);;
 795 let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
 796 let v = (parser_6, 2196, fieldsig_6);;
 797 let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
 798 let v = (parser_1, 1284, fieldsig_1);;
 799 let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;
 800 let v = (parser_6, 2196, fieldsig_6);;
 801 let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;;
 802 let v = (parser_1, 1284, fieldsig_1);;
 803 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
 804 let v = (parser_6, 2196, fieldsig_6);;
 805 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
 806 let v = (parser_2, 1444, fieldsig_2);;
 807 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
 808 let v = (parser_7, 2392, fieldsig_7);;
 809 let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;;
 810 let v = (parser_7, 2392, fieldsig_7);;
 811 let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;;
 812 let v = (parser_3, 1384, fieldsig_3);;
 813 let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
 814 let v = (parser_8, 2304, fieldsig_8);;
 815 let map = StringMap.add "2.6.26.2-2.fc8.x86_64" v map;;
 816 let v = (parser_1, 912, fieldsig_1);;
 817 let map = StringMap.add "2.6.18-1.2798.fc6.i586" v map;;
 818 let v = (parser_1, 912, fieldsig_1);;
 819 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
 820 let v = (parser_9, 672, fieldsig_9);;
 821 let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;;
 822 let v = (parser_10, 1260, fieldsig_10);;
 823 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;;
 824 let v = (parser_10, 1260, fieldsig_10);;
 825 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;;
 826 let v = (parser_6, 1260, fieldsig_6);;
 827 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
 828 let v = (parser_1, 912, fieldsig_1);;
 829 let map = StringMap.add "2.6.20-1.2933.fc6.i586" v map;;
 830 let v = (parser_1, 912, fieldsig_1);;
 831 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 832 let v = (parser_11, 668, fieldsig_11);;
 833 let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;;
 834 let v = (parser_10, 1260, fieldsig_10);;
 835 let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;;
 836 let v = (parser_6, 1260, fieldsig_6);;
 837 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
 838 let v = (parser_1, 1284, fieldsig_1);;
 839 let map = StringMap.add "2.6.21-1.3128.fc7.i586" v map;;
 840 let v = (parser_1, 1284, fieldsig_1);;
 841 let map = StringMap.add "2.6.21-1.3128.fc7.i686" v map;;
 842 let v = (parser_9, 996, fieldsig_9);;
 843 let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;;
 844 let v = (parser_10, 1924, fieldsig_10);;
 845 let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;;
 846 let v = (parser_6, 2196, fieldsig_6);;
 847 let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;;
 848 let v = (parser_1, 1284, fieldsig_1);;
 849 let map = StringMap.add "2.6.21-1.3132.fc7.i586" v map;;
 850 let v = (parser_1, 1284, fieldsig_1);;
 851 let map = StringMap.add "2.6.21-1.3132.fc7.i686" v map;;
 852 let v = (parser_9, 996, fieldsig_9);;
 853 let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;;
 854 let v = (parser_10, 1924, fieldsig_10);;
 855 let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;;
 856 let v = (parser_6, 2196, fieldsig_6);;
 857 let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;;
 858 let v = (parser_1, 1284, fieldsig_1);;
 859 let map = StringMap.add "2.6.21-1.3141.fc7.i586" v map;;
 860 let v = (parser_1, 1284, fieldsig_1);;
 861 let map = StringMap.add "2.6.21-1.3141.fc7.i686" v map;;
 862 let v = (parser_9, 996, fieldsig_9);;
 863 let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;;
 864 let v = (parser_10, 1924, fieldsig_10);;
 865 let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;;
 866 let v = (parser_6, 2196, fieldsig_6);;
 867 let map = StringMap.add "2.6.21-1.3141.fc7.x86_64" v map;;
 868 let v = (parser_1, 1284, fieldsig_1);;
 869 let map = StringMap.add "2.6.21-1.3144.fc7.i586" v map;;
 870 let v = (parser_1, 1284, fieldsig_1);;
 871 let map = StringMap.add "2.6.21-1.3144.fc7.i686" v map;;
 872 let v = (parser_9, 996, fieldsig_9);;
 873 let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;;
 874 let v = (parser_10, 1924, fieldsig_10);;
 875 let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;;
 876 let v = (parser_6, 2196, fieldsig_6);;
 877 let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;;
 878 let v = (parser_1, 1200, fieldsig_1);;
 879 let map = StringMap.add "2.6.21-1.3145.fc7.i586" v map;;
 880 let v = (parser_1, 1200, fieldsig_1);;
 881 let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
 882 let v = (parser_9, 996, fieldsig_9);;
 883 let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;;
 884 let v = (parser_10, 1924, fieldsig_10);;
 885 let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;;
 886 let v = (parser_6, 1900, fieldsig_6);;
 887 let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
 888 let v = (parser_1, 1200, fieldsig_1);;
 889 let map = StringMap.add "2.6.21-1.3190.fc7.i586" v map;;
 890 let v = (parser_1, 1200, fieldsig_1);;
 891 let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;
 892 let v = (parser_9, 996, fieldsig_9);;
 893 let map = StringMap.add "2.6.21-1.3190.fc7.ppc" v map;;
 894 let v = (parser_10, 1924, fieldsig_10);;
 895 let map = StringMap.add "2.6.21-1.3190.fc7.ppc64" v map;;
 896 let v = (parser_6, 1900, fieldsig_6);;
 897 let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;;
 898 let v = (parser_2, 1408, fieldsig_2);;
 899 let map = StringMap.add "2.6.21-1.3209.fc8.i586" v map;;
 900 let v = (parser_2, 1408, fieldsig_2);;
 901 let map = StringMap.add "2.6.21-1.3209.fc8.i686" v map;;
 902 let v = (parser_12, 1092, fieldsig_12);;
 903 let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;;
 904 let v = (parser_13, 2044, fieldsig_13);;
 905 let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;;
 906 let v = (parser_7, 2316, fieldsig_7);;
 907 let map = StringMap.add "2.6.21-1.3209.fc8.x86_64" v map;;
 908 let v = (parser_2, 1408, fieldsig_2);;
 909 let map = StringMap.add "2.6.21-1.3218.fc8.i586" v map;;
 910 let v = (parser_2, 1408, fieldsig_2);;
 911 let map = StringMap.add "2.6.21-1.3218.fc8.i686" v map;;
 912 let v = (parser_12, 1092, fieldsig_12);;
 913 let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;;
 914 let v = (parser_13, 2044, fieldsig_13);;
 915 let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;;
 916 let v = (parser_7, 2316, fieldsig_7);;
 917 let map = StringMap.add "2.6.21-1.3218.fc8.x86_64" v map;;
 918 let v = (parser_2, 1408, fieldsig_2);;
 919 let map = StringMap.add "2.6.21-1.3221.fc8.i586" v map;;
 920 let v = (parser_2, 1408, fieldsig_2);;
 921 let map = StringMap.add "2.6.21-1.3221.fc8.i686" v map;;
 922 let v = (parser_12, 1092, fieldsig_12);;
 923 let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;;
 924 let v = (parser_13, 2044, fieldsig_13);;
 925 let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;;
 926 let v = (parser_7, 2316, fieldsig_7);;
 927 let map = StringMap.add "2.6.21-1.3221.fc8.x86_64" v map;;
 928 let v = (parser_1, 1116, fieldsig_1);;
 929 let map = StringMap.add "2.6.21-1.3228.fc7.i586" v map;;
 930 let v = (parser_1, 1116, fieldsig_1);;
 931 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
 932 let v = (parser_9, 836, fieldsig_9);;
 933 let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;;
 934 let v = (parser_10, 1684, fieldsig_10);;
 935 let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;;
 936 let v = (parser_6, 1660, fieldsig_6);;
 937 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
 938 let v = (parser_2, 1408, fieldsig_2);;
 939 let map = StringMap.add "2.6.21-1.3234.fc8.i686" v map;;
 940 let v = (parser_12, 1092, fieldsig_12);;
 941 let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;;
 942 let v = (parser_13, 2044, fieldsig_13);;
 943 let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;;
 944 let v = (parser_7, 2316, fieldsig_7);;
 945 let map = StringMap.add "2.6.21-1.3234.fc8.x86_64" v map;;
 946 let v = (parser_2, 1408, fieldsig_2);;
 947 let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;;
 948 let v = (parser_12, 1092, fieldsig_12);;
 949 let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;;
 950 let v = (parser_13, 2044, fieldsig_13);;
 951 let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;;
 952 let v = (parser_7, 2316, fieldsig_7);;
 953 let map = StringMap.add "2.6.21-1.3236.fc8.x86_64" v map;;
 954 let v = (parser_2, 1408, fieldsig_2);;
 955 let map = StringMap.add "2.6.21-1.3238.fc8.i686" v map;;
 956 let v = (parser_12, 1092, fieldsig_12);;
 957 let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;;
 958 let v = (parser_13, 2044, fieldsig_13);;
 959 let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;;
 960 let v = (parser_7, 2316, fieldsig_7);;
 961 let map = StringMap.add "2.6.21-1.3238.fc8.x86_64" v map;;
 962 let v = (parser_2, 1408, fieldsig_2);;
 963 let map = StringMap.add "2.6.21-1.3242.fc8.i686" v map;;
 964 let v = (parser_12, 1092, fieldsig_12);;
 965 let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;;
 966 let v = (parser_13, 2044, fieldsig_13);;
 967 let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;;
 968 let v = (parser_7, 2316, fieldsig_7);;
 969 let map = StringMap.add "2.6.21-1.3242.fc8.x86_64" v map;;
 970 let v = (parser_2, 1408, fieldsig_2);;
 971 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;;
 972 let v = (parser_12, 1092, fieldsig_12);;
 973 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;;
 974 let v = (parser_13, 2044, fieldsig_13);;
 975 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;;
 976 let v = (parser_7, 2316, fieldsig_7);;
 977 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.x86_64" v map;;
 978 let v = (parser_2, 1408, fieldsig_2);;
 979 let map = StringMap.add "2.6.22-0.rc7.2.fc8.i686" v map;;
 980 let v = (parser_12, 1092, fieldsig_12);;
 981 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;;
 982 let v = (parser_13, 2044, fieldsig_13);;
 983 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;;
 984 let v = (parser_7, 2316, fieldsig_7);;
 985 let map = StringMap.add "2.6.22-0.rc7.2.fc8.x86_64" v map;;
 986 let v = (parser_2, 1248, fieldsig_2);;
 987 let map = StringMap.add "2.6.23.14-135.fc8.i586" v map;;
 988 let v = (parser_2, 1248, fieldsig_2);;
 989 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
 990 let v = (parser_14, 952, fieldsig_14);;
 991 let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;;
 992 let v = (parser_13, 1824, fieldsig_13);;
 993 let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;;
 994 let v = (parser_7, 1800, fieldsig_7);;
 995 let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;;
 996 let v = (parser_2, 1248, fieldsig_2);;
 997 let map = StringMap.add "2.6.23.14-78.fc7.i586" v map;;
 998 let v = (parser_2, 1248, fieldsig_2);;
 999 let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;;
1000 let v = (parser_14, 952, fieldsig_14);;
1001 let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;;
1002 let v = (parser_13, 1824, fieldsig_13);;
1003 let map = StringMap.add "2.6.23.14-78.fc7.ppc64" v map;;
1004 let v = (parser_7, 1800, fieldsig_7);;
1005 let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;;
1006 let v = (parser_4, 1244, fieldsig_4);;
1007 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i586" v map;;
1008 let v = (parser_4, 1244, fieldsig_4);;
1009 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;;
1010 let v = (parser_15, 1048, fieldsig_15);;
1011 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;;
1012 let v = (parser_16, 1984, fieldsig_16);;
1013 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;;
1014 let v = (parser_8, 2288, fieldsig_8);;
1015 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.x86_64" v map;;
1016 let v = (parser_4, 1244, fieldsig_4);;
1017 let map = StringMap.add "2.6.24-7.fc9.i586" v map;;
1018 let v = (parser_4, 1244, fieldsig_4);;
1019 let map = StringMap.add "2.6.24-7.fc9.i686" v map;;
1020 let v = (parser_15, 1048, fieldsig_15);;
1021 let map = StringMap.add "2.6.24-7.fc9.ppc" v map;;
1022 let v = (parser_16, 1984, fieldsig_16);;
1023 let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;;
1024 let v = (parser_8, 2288, fieldsig_8);;
1025 let map = StringMap.add "2.6.24-7.fc9.x86_64" v map;;
1026 let v = (parser_4, 1244, fieldsig_4);;
1027 let map = StringMap.add "2.6.24-9.fc9.i586" v map;;
1028 let v = (parser_4, 1244, fieldsig_4);;
1029 let map = StringMap.add "2.6.24-9.fc9.i686" v map;;
1030 let v = (parser_15, 1048, fieldsig_15);;
1031 let map = StringMap.add "2.6.24-9.fc9.ppc" v map;;
1032 let v = (parser_16, 1984, fieldsig_16);;
1033 let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;;
1034 let v = (parser_8, 2288, fieldsig_8);;
1035 let map = StringMap.add "2.6.24-9.fc9.x86_64" v map;;
1036 let v = (parser_4, 1212, fieldsig_4);;
1037 let map = StringMap.add "2.6.25.11-97.fc9.i686" v map;;
1038 let v = (parser_8, 1752, fieldsig_8);;
1039 let map = StringMap.add "2.6.25.11-97.fc9.x86_64" v map;;
1040 let v = (parser_3, 1216, fieldsig_3);;
1041 let map = StringMap.add "2.6.26.2-2.fc8.i586" v map;;
1042 let v = (parser_3, 1216, fieldsig_3);;
1043 let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
1044 let v = (parser_17, 920, fieldsig_17);;
1045 let map = StringMap.add "2.6.26.2-2.fc8.ppc" v map;;
1046 let v = (parser_16, 1776, fieldsig_16);;
1047 let map = StringMap.add "2.6.26.2-2.fc8.ppc64" v map;;
1048 let v = (parser_8, 1752, fieldsig_8);;
1049 let map = StringMap.add "2.6.26.2-2.fc8.x86_64" v map;;
1050 let v = (parser_5, 1388, fieldsig_5);;
1051 let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.i686" v map;;
1052 let v = (parser_5, 1388, fieldsig_5);;
1053 let map = StringMap.add "2.6.27-0.237.rc2.fc10.i586" v map;;
1054 let v = (parser_5, 1388, fieldsig_5);;
1055 let map = StringMap.add "2.6.27-0.237.rc2.fc10.i686" v map;;
1056 let v = (parser_18, 1072, fieldsig_18);;
1057 let map = StringMap.add "2.6.27-0.237.rc2.fc10.ppc" v map;;
1058 let v = (parser_19, 2332, fieldsig_19);;
1059 let map = StringMap.add "2.6.27-0.237.rc2.fc10.ppc64" v map;;
1060 let v = (parser_20, 2316, fieldsig_20);;
1061 let map = StringMap.add "2.6.27-0.237.rc2.fc10.x86_64" v map;;
1062 let v = (parser_5, 1388, fieldsig_5);;
1063 let map = StringMap.add "2.6.27-0.238.rc2.fc10.i586" v map;;
1064 let v = (parser_5, 1388, fieldsig_5);;
1065 let map = StringMap.add "2.6.27-0.238.rc2.fc10.i686" v map;;
1066 let v = (parser_18, 1072, fieldsig_18);;
1067 let map = StringMap.add "2.6.27-0.238.rc2.fc10.ppc" v map;;
1068 let v = (parser_19, 2332, fieldsig_19);;
1069 let map = StringMap.add "2.6.27-0.238.rc2.fc10.ppc64" v map;;
1070 let v = (parser_20, 2316, fieldsig_20);;
1071 let map = StringMap.add "2.6.27-0.238.rc2.fc10.x86_64" v map;;
1072 let v = (parser_5, 1388, fieldsig_5);;
1073 let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.i586" v map;;
1074 let v = (parser_5, 1388, fieldsig_5);;
1075 let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.i686" v map;;
1076 let v = (parser_18, 1072, fieldsig_18);;
1077 let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.ppc" v map;;
1078 let v = (parser_19, 2332, fieldsig_19);;
1079 let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.ppc64" v map;;
1080 let v = (parser_20, 2316, fieldsig_20);;
1081 let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.x86_64" v map;;
1082 let v = (parser_5, 1388, fieldsig_5);;
1083 let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.i586" v map;;
1084 let v = (parser_5, 1388, fieldsig_5);;
1085 let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.i686" v map;;
1086 let v = (parser_18, 1072, fieldsig_18);;
1087 let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc" v map;;
1088 let v = (parser_19, 2332, fieldsig_19);;
1089 let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc64" v map;;
1090 let v = (parser_20, 2316, fieldsig_20);;
1091 let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.x86_64" v map;;
1092 let v = (parser_21, 672, fieldsig_21);;
1093 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
1094 let v = (parser_10, 1260, fieldsig_10);;
1095 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;;
1096 let v = (parser_10, 1260, fieldsig_10);;
1097 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;;
1098 let v = (parser_22, 1108, fieldsig_22);;
1099 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
1100 let v = (parser_23, 668, fieldsig_23);;
1101 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
1102 let v = (parser_10, 1260, fieldsig_10);;
1103 let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;;
1104 let v = (parser_24, 1100, fieldsig_24);;
1105 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
1106 let v = (parser_10, 1924, fieldsig_10);;
1107 let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;;
1108 let v = (parser_22, 2124, fieldsig_22);;
1109 let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;;
1110 let v = (parser_10, 1924, fieldsig_10);;
1111 let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;;
1112 let v = (parser_22, 2124, fieldsig_22);;
1113 let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;;
1114 let v = (parser_10, 1924, fieldsig_10);;
1115 let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;;
1116 let v = (parser_22, 2124, fieldsig_22);;
1117 let map = StringMap.add "2.6.21-1.3141.fc7.x86_64" v map;;
1118 let v = (parser_10, 1924, fieldsig_10);;
1119 let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;;
1120 let v = (parser_22, 2124, fieldsig_22);;
1121 let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;;
1122 let v = (parser_10, 1924, fieldsig_10);;
1123 let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;;
1124 let v = (parser_22, 1644, fieldsig_22);;
1125 let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
1126 let v = (parser_10, 1924, fieldsig_10);;
1127 let map = StringMap.add "2.6.21-1.3190.fc7.ppc64" v map;;
1128 let v = (parser_22, 1644, fieldsig_22);;
1129 let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;;
1130 let v = (parser_13, 2044, fieldsig_13);;
1131 let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;;
1132 let v = (parser_13, 2044, fieldsig_13);;
1133 let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;;
1134 let v = (parser_13, 2044, fieldsig_13);;
1135 let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;;
1136 let v = (parser_10, 1684, fieldsig_10);;
1137 let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;;
1138 let v = (parser_22, 1404, fieldsig_22);;
1139 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
1140 let v = (parser_13, 2044, fieldsig_13);;
1141 let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;;
1142 let v = (parser_13, 2044, fieldsig_13);;
1143 let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;;
1144 let v = (parser_13, 2044, fieldsig_13);;
1145 let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;;
1146 let v = (parser_13, 2044, fieldsig_13);;
1147 let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;;
1148 let v = (parser_13, 2044, fieldsig_13);;
1149 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;;
1150 let v = (parser_13, 2044, fieldsig_13);;
1151 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;;
1152 let v = (parser_13, 1824, fieldsig_13);;
1153 let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;;
1154 let v = (parser_13, 1824, fieldsig_13);;
1155 let map = StringMap.add "2.6.23.14-78.fc7.ppc64" v map;;
1156 let v = (parser_16, 1984, fieldsig_16);;
1157 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;;
1158 let v = (parser_16, 1984, fieldsig_16);;
1159 let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;;
1160 let v = (parser_16, 1984, fieldsig_16);;
1161 let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;;
1162 let v = (parser_16, 1776, fieldsig_16);;
1163 let map = StringMap.add "2.6.26.2-2.fc8.ppc64" v map;;
1164 let v = (parser_19, 2332, fieldsig_19);;
1165 let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.ppc64" v map;;
1166 let v = (parser_19, 2332, fieldsig_19);;
1167 let map = StringMap.add "2.6.27-0.237.rc2.fc10.ppc64" v map;;
1168 let v = (parser_19, 2332, fieldsig_19);;
1169 let map = StringMap.add "2.6.27-0.238.rc2.fc10.ppc64" v map;;
1170 let v = (parser_19, 2332, fieldsig_19);;
1171 let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.ppc64" v map;;
1172 let v = (parser_19, 2332, fieldsig_19);;
1173 let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc64" v map;;
1174 let v = (parser_9, 688, fieldsig_9);;
1175 let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;;
1176 let v = (parser_9, 688, fieldsig_9);;
1177 let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;;
1178 let v = (parser_9, 1020, fieldsig_9);;
1179 let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;;
1180 let v = (parser_9, 1020, fieldsig_9);;
1181 let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;;
1182 let v = (parser_9, 1020, fieldsig_9);;
1183 let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;;
1184 let v = (parser_9, 1020, fieldsig_9);;
1185 let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;;
1186 let v = (parser_9, 1020, fieldsig_9);;
1187 let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;;
1188 let v = (parser_9, 1020, fieldsig_9);;
1189 let map = StringMap.add "2.6.21-1.3190.fc7.ppc" v map;;
1190 let v = (parser_12, 1116, fieldsig_12);;
1191 let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;;
1192 let v = (parser_12, 1116, fieldsig_12);;
1193 let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;;
1194 let v = (parser_12, 1116, fieldsig_12);;
1195 let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;;
1196 let v = (parser_9, 936, fieldsig_9);;
1197 let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;;
1198 let v = (parser_12, 1116, fieldsig_12);;
1199 let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;;
1200 let v = (parser_12, 1116, fieldsig_12);;
1201 let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;;
1202 let v = (parser_12, 1116, fieldsig_12);;
1203 let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;;
1204 let v = (parser_12, 1116, fieldsig_12);;
1205 let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;;
1206 let v = (parser_12, 1116, fieldsig_12);;
1207 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;;
1208 let v = (parser_12, 1116, fieldsig_12);;
1209 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;;
1210 let v = (parser_25, 1064, fieldsig_25);;
1211 let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;;
1212 let v = (parser_25, 1064, fieldsig_25);;
1213 let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;;
1214 let v = (parser_15, 1072, fieldsig_15);;
1215 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;;
1216 let v = (parser_15, 1072, fieldsig_15);;
1217 let map = StringMap.add "2.6.24-7.fc9.ppc" v map;;
1218 let v = (parser_15, 1072, fieldsig_15);;
1219 let map = StringMap.add "2.6.24-9.fc9.ppc" v map;;
1220 let v = (parser_17, 1016, fieldsig_17);;
1221 let map = StringMap.add "2.6.26.2-2.fc8.ppc" v map;;
1222 let v = (parser_18, 1120, fieldsig_18);;
1223 let map = StringMap.add "2.6.27-0.237.rc2.fc10.ppc" v map;;
1224 let v = (parser_18, 1120, fieldsig_18);;
1225 let map = StringMap.add "2.6.27-0.238.rc2.fc10.ppc" v map;;
1226 let v = (parser_18, 1120, fieldsig_18);;
1227 let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.ppc" v map;;
1228 let v = (parser_18, 1120, fieldsig_18);;
1229 let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc" v map;;
1230 let v = (parser_1, 912, fieldsig_1);;
1231 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
1232 let v = (parser_6, 1260, fieldsig_6);;
1233 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
1234 let v = (parser_1, 912, fieldsig_1);;
1235 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
1236 let v = (parser_6, 1260, fieldsig_6);;
1237 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
1238 type kernel_version = string;;
1239 let net_device_known version = StringMap.mem version map;;
1240 let net_device_size version =
1241   let (_, size, _) = StringMap.find version map in size;;
1242 let net_device_of_bits version bits =
1243   let (parsefn, _, _) = StringMap.find version map in parsefn bits;;
1244 let get_net_device version mem addr =
1245   let (parsefn, size, _) = StringMap.find version map in
1246   let bytes = Virt_mem_mmap.get_bytes mem addr size in
1247   let bits = Bitstring.bitstring_of_string bytes in parsefn bits;;
1248 let field_signature_of_net_device_dev_list'prev version =
1249   let (_, _, fs) = StringMap.find version map
1250   in fs.__fs_net_device_dev_list'prev;;
1251 let field_signature_of_net_device_dev_list'next version =
1252   let (_, _, fs) = StringMap.find version map
1253   in fs.__fs_net_device_dev_list'next;;
1254 let field_signature_of_net_device_next version =
1255   let (_, _, fs) = StringMap.find version map in fs.__fs_net_device_next;;
1256 let field_signature_of_net_device_name version =
1257   let (_, _, fs) = StringMap.find version map in fs.__fs_net_device_name;;
1258 let field_signature_of_net_device_dev_addr version =
1259   let (_, _, fs) = StringMap.find version map in fs.__fs_net_device_dev_addr;;