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