(* WARNING: This file and the corresponding mli (interface) are
 * automatically generated by the extract/codegen/kerneldb_to_parser.ml
 * program.
 *
 * Any edits you make to this file will be lost.
 *
 * To update this file from the latest kernel database, it is recommended
 * that you do 'make update-kernel-structs'.
 *)

let zero = 0;;
let struct_name = "inet6_dev";;
let match_err = "failed to match kernel structure";;
type t = { inet6_dev_addr_list : Virt_mem_mmap.addr };;
type fs_t = { __fs_inet6_dev_addr_list : Virt_mem_types.fieldsig };;
let fieldsig_1 =
  {
    __fs_inet6_dev_addr_list =
      { Virt_mem_types.field_available = true; field_offset = 4; };
  };;
let fieldsig_2 =
  {
    __fs_inet6_dev_addr_list =
      { Virt_mem_types.field_available = true; field_offset = 8; };
  };;
let fieldsig_3 =
  {
    __fs_inet6_dev_addr_list =
      { Virt_mem_types.field_available = true; field_offset = 4; };
  };;
let fieldsig_4 =
  {
    __fs_inet6_dev_addr_list =
      { Virt_mem_types.field_available = true; field_offset = 8; };
  };;
let parser_1 bits = 
  bitmatch bits with
  | { inet6_dev_addr_list : zero+32 : offset(32), littleendian } ->
      { inet6_dev_addr_list = inet6_dev_addr_list }
  | { _ } ->
      raise (Virt_mem_types.ParseError (struct_name, "parser_1", match_err));;
let parser_2 bits = 
  bitmatch bits with
  | { inet6_dev_addr_list : zero+64 : offset(64), littleendian } ->
      { inet6_dev_addr_list = inet6_dev_addr_list }
  | { _ } ->
      raise (Virt_mem_types.ParseError (struct_name, "parser_2", match_err));;
let parser_3 bits = 
  bitmatch bits with
  | { inet6_dev_addr_list : zero+32 : offset(32), bigendian } ->
      { inet6_dev_addr_list = inet6_dev_addr_list }
  | { _ } ->
      raise (Virt_mem_types.ParseError (struct_name, "parser_3", match_err));;
let parser_4 bits = 
  bitmatch bits with
  | { inet6_dev_addr_list : zero+64 : offset(64), bigendian } ->
      { inet6_dev_addr_list = inet6_dev_addr_list }
  | { _ } ->
      raise (Virt_mem_types.ParseError (struct_name, "parser_4", match_err));;
module StringMap = Map.Make(String);;
let map = StringMap.empty;;
let v = (parser_1, 316, fieldsig_1);;
let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
let v = (parser_1, 392, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
let v = (parser_1, 392, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;
let v = (parser_1, 392, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
let v = (parser_1, 404, fieldsig_1);;
let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
let v = (parser_1, 404, fieldsig_1);;
let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;;
let v = (parser_1, 412, fieldsig_1);;
let map = StringMap.add "2.6.25.14-69.fc8.i686" v map;;
let v = (parser_1, 416, fieldsig_1);;
let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
let v = (parser_1, 292, fieldsig_1);;
let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
let v = (parser_1, 392, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3128.fc7.i686" v map;;
let v = (parser_1, 392, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3132.fc7.i686" v map;;
let v = (parser_1, 392, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3141.fc7.i686" v map;;
let v = (parser_1, 392, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3144.fc7.i686" v map;;
let v = (parser_1, 368, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
let v = (parser_1, 368, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;
let v = (parser_1, 396, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3209.fc8.i686" v map;;
let v = (parser_1, 396, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3218.fc8.i686" v map;;
let v = (parser_1, 396, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3221.fc8.i686" v map;;
let v = (parser_1, 344, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
let v = (parser_1, 396, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3234.fc8.i686" v map;;
let v = (parser_1, 396, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;;
let v = (parser_1, 396, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3238.fc8.i686" v map;;
let v = (parser_1, 396, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3242.fc8.i686" v map;;
let v = (parser_1, 396, fieldsig_1);;
let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;;
let v = (parser_1, 396, fieldsig_1);;
let map = StringMap.add "2.6.22-0.rc7.2.fc8.i686" v map;;
let v = (parser_1, 348, fieldsig_1);;
let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
let v = (parser_1, 348, fieldsig_1);;
let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;;
let v = (parser_1, 412, fieldsig_1);;
let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;;
let v = (parser_1, 412, fieldsig_1);;
let map = StringMap.add "2.6.24-7.fc9.i686" v map;;
let v = (parser_1, 412, fieldsig_1);;
let map = StringMap.add "2.6.24-9.fc9.i686" v map;;
let v = (parser_1, 356, fieldsig_1);;
let map = StringMap.add "2.6.25.14-69.fc8.i686" v map;;
let v = (parser_1, 360, fieldsig_1);;
let map = StringMap.add "2.6.26.1-9.fc9.i686" v map;;
let v = (parser_1, 360, fieldsig_1);;
let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
let v = (parser_1, 424, fieldsig_1);;
let map = StringMap.add "2.6.27-0.225.rc1.git5.fc10.i686" v map;;
let v = (parser_1, 424, fieldsig_1);;
let map = StringMap.add "2.6.27-0.226.rc1.git5.fc10.i686" v map;;
let v = (parser_1, 424, fieldsig_1);;
let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.i686" v map;;
let v = (parser_1, 424, fieldsig_1);;
let map = StringMap.add "2.6.27-0.237.rc2.fc10.i686" v map;;
let v = (parser_1, 424, fieldsig_1);;
let map = StringMap.add "2.6.27-0.238.rc2.fc10.i686" v map;;
let v = (parser_1, 424, fieldsig_1);;
let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.i686" v map;;
let v = (parser_1, 424, fieldsig_1);;
let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.i686" v map;;
let v = (parser_1, 416, fieldsig_1);;
let map = StringMap.add "2.6.26.1-9.fc9.i686" v map;;
let v = (parser_1, 316, fieldsig_1);;
let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
let v = (parser_2, 512, fieldsig_2);;
let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
let v = (parser_1, 392, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
let v = (parser_2, 608, fieldsig_2);;
let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
let v = (parser_1, 392, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;
let v = (parser_2, 608, fieldsig_2);;
let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;;
let v = (parser_1, 392, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
let v = (parser_2, 608, fieldsig_2);;
let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
let v = (parser_1, 404, fieldsig_1);;
let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
let v = (parser_2, 632, fieldsig_2);;
let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;;
let v = (parser_2, 632, fieldsig_2);;
let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;;
let v = (parser_1, 412, fieldsig_1);;
let map = StringMap.add "2.6.25.14-69.fc8.i686" v map;;
let v = (parser_2, 648, fieldsig_2);;
let map = StringMap.add "2.6.25.14-69.fc8.x86_64" v map;;
let v = (parser_1, 416, fieldsig_1);;
let map = StringMap.add "2.6.26.1-9.fc9.i686" v map;;
let v = (parser_2, 648, fieldsig_2);;
let map = StringMap.add "2.6.26.1-9.fc9.x86_64" v map;;
let v = (parser_1, 416, fieldsig_1);;
let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
let v = (parser_2, 648, fieldsig_2);;
let map = StringMap.add "2.6.26.2-2.fc8.x86_64" v map;;
let v = (parser_1, 276, fieldsig_1);;
let map = StringMap.add "2.6.18-1.2798.fc6.i586" v map;;
let v = (parser_1, 276, fieldsig_1);;
let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
let v = (parser_3, 268, fieldsig_3);;
let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;;
let v = (parser_4, 432, fieldsig_4);;
let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;;
let v = (parser_4, 432, fieldsig_4);;
let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;;
let v = (parser_2, 432, fieldsig_2);;
let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
let v = (parser_1, 292, fieldsig_1);;
let map = StringMap.add "2.6.20-1.2933.fc6.i586" v map;;
let v = (parser_1, 292, fieldsig_1);;
let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
let v = (parser_3, 284, fieldsig_3);;
let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;;
let v = (parser_4, 464, fieldsig_4);;
let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;;
let v = (parser_2, 464, fieldsig_2);;
let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
let v = (parser_1, 392, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3128.fc7.i586" v map;;
let v = (parser_1, 392, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3128.fc7.i686" v map;;
let v = (parser_3, 360, fieldsig_3);;
let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;;
let v = (parser_4, 560, fieldsig_4);;
let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;;
let v = (parser_2, 608, fieldsig_2);;
let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;;
let v = (parser_1, 392, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3132.fc7.i586" v map;;
let v = (parser_1, 392, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3132.fc7.i686" v map;;
let v = (parser_3, 360, fieldsig_3);;
let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;;
let v = (parser_4, 560, fieldsig_4);;
let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;;
let v = (parser_2, 608, fieldsig_2);;
let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;;
let v = (parser_1, 392, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3141.fc7.i586" v map;;
let v = (parser_1, 392, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3141.fc7.i686" v map;;
let v = (parser_3, 360, fieldsig_3);;
let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;;
let v = (parser_4, 560, fieldsig_4);;
let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;;
let v = (parser_2, 608, fieldsig_2);;
let map = StringMap.add "2.6.21-1.3141.fc7.x86_64" v map;;
let v = (parser_1, 392, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3144.fc7.i586" v map;;
let v = (parser_1, 392, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3144.fc7.i686" v map;;
let v = (parser_3, 360, fieldsig_3);;
let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;;
let v = (parser_4, 560, fieldsig_4);;
let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;;
let v = (parser_2, 608, fieldsig_2);;
let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;;
let v = (parser_1, 368, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3145.fc7.i586" v map;;
let v = (parser_1, 368, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
let v = (parser_3, 360, fieldsig_3);;
let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;;
let v = (parser_4, 560, fieldsig_4);;
let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;;
let v = (parser_2, 560, fieldsig_2);;
let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
let v = (parser_1, 368, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3190.fc7.i586" v map;;
let v = (parser_1, 368, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;
let v = (parser_3, 360, fieldsig_3);;
let map = StringMap.add "2.6.21-1.3190.fc7.ppc" v map;;
let v = (parser_4, 560, fieldsig_4);;
let map = StringMap.add "2.6.21-1.3190.fc7.ppc64" v map;;
let v = (parser_2, 560, fieldsig_2);;
let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;;
let v = (parser_1, 396, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3209.fc8.i586" v map;;
let v = (parser_1, 396, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3209.fc8.i686" v map;;
let v = (parser_3, 364, fieldsig_3);;
let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;;
let v = (parser_4, 568, fieldsig_4);;
let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;;
let v = (parser_2, 616, fieldsig_2);;
let map = StringMap.add "2.6.21-1.3209.fc8.x86_64" v map;;
let v = (parser_1, 396, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3218.fc8.i586" v map;;
let v = (parser_1, 396, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3218.fc8.i686" v map;;
let v = (parser_3, 364, fieldsig_3);;
let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;;
let v = (parser_4, 568, fieldsig_4);;
let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;;
let v = (parser_2, 616, fieldsig_2);;
let map = StringMap.add "2.6.21-1.3218.fc8.x86_64" v map;;
let v = (parser_1, 396, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3221.fc8.i586" v map;;
let v = (parser_1, 396, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3221.fc8.i686" v map;;
let v = (parser_3, 364, fieldsig_3);;
let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;;
let v = (parser_4, 568, fieldsig_4);;
let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;;
let v = (parser_2, 616, fieldsig_2);;
let map = StringMap.add "2.6.21-1.3221.fc8.x86_64" v map;;
let v = (parser_1, 344, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3228.fc7.i586" v map;;
let v = (parser_1, 344, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
let v = (parser_3, 336, fieldsig_3);;
let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;;
let v = (parser_4, 520, fieldsig_4);;
let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;;
let v = (parser_2, 520, fieldsig_2);;
let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
let v = (parser_1, 396, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3234.fc8.i686" v map;;
let v = (parser_3, 364, fieldsig_3);;
let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;;
let v = (parser_4, 568, fieldsig_4);;
let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;;
let v = (parser_2, 616, fieldsig_2);;
let map = StringMap.add "2.6.21-1.3234.fc8.x86_64" v map;;
let v = (parser_1, 396, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;;
let v = (parser_3, 364, fieldsig_3);;
let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;;
let v = (parser_4, 568, fieldsig_4);;
let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;;
let v = (parser_2, 616, fieldsig_2);;
let map = StringMap.add "2.6.21-1.3236.fc8.x86_64" v map;;
let v = (parser_1, 396, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3238.fc8.i686" v map;;
let v = (parser_3, 364, fieldsig_3);;
let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;;
let v = (parser_4, 568, fieldsig_4);;
let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;;
let v = (parser_2, 616, fieldsig_2);;
let map = StringMap.add "2.6.21-1.3238.fc8.x86_64" v map;;
let v = (parser_1, 396, fieldsig_1);;
let map = StringMap.add "2.6.21-1.3242.fc8.i686" v map;;
let v = (parser_3, 364, fieldsig_3);;
let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;;
let v = (parser_4, 568, fieldsig_4);;
let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;;
let v = (parser_2, 616, fieldsig_2);;
let map = StringMap.add "2.6.21-1.3242.fc8.x86_64" v map;;
let v = (parser_1, 396, fieldsig_1);;
let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;;
let v = (parser_3, 364, fieldsig_3);;
let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;;
let v = (parser_4, 568, fieldsig_4);;
let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;;
let v = (parser_2, 616, fieldsig_2);;
let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.x86_64" v map;;
let v = (parser_1, 396, fieldsig_1);;
let map = StringMap.add "2.6.22-0.rc7.2.fc8.i686" v map;;
let v = (parser_3, 364, fieldsig_3);;
let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;;
let v = (parser_4, 568, fieldsig_4);;
let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;;
let v = (parser_2, 616, fieldsig_2);;
let map = StringMap.add "2.6.22-0.rc7.2.fc8.x86_64" v map;;
let v = (parser_1, 348, fieldsig_1);;
let map = StringMap.add "2.6.23.14-135.fc8.i586" v map;;
let v = (parser_1, 348, fieldsig_1);;
let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
let v = (parser_3, 340, fieldsig_3);;
let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;;
let v = (parser_4, 528, fieldsig_4);;
let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;;
let v = (parser_2, 528, fieldsig_2);;
let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;;
let v = (parser_1, 348, fieldsig_1);;
let map = StringMap.add "2.6.23.14-78.fc7.i586" v map;;
let v = (parser_1, 348, fieldsig_1);;
let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;;
let v = (parser_3, 340, fieldsig_3);;
let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;;
let v = (parser_4, 528, fieldsig_4);;
let map = StringMap.add "2.6.23.14-78.fc7.ppc64" v map;;
let v = (parser_2, 528, fieldsig_2);;
let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;;
let v = (parser_1, 412, fieldsig_1);;
let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i586" v map;;
let v = (parser_1, 412, fieldsig_1);;
let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;;
let v = (parser_3, 372, fieldsig_3);;
let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;;
let v = (parser_4, 584, fieldsig_4);;
let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;;
let v = (parser_2, 648, fieldsig_2);;
let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.x86_64" v map;;
let v = (parser_1, 412, fieldsig_1);;
let map = StringMap.add "2.6.24-7.fc9.i586" v map;;
let v = (parser_1, 412, fieldsig_1);;
let map = StringMap.add "2.6.24-7.fc9.i686" v map;;
let v = (parser_3, 372, fieldsig_3);;
let map = StringMap.add "2.6.24-7.fc9.ppc" v map;;
let v = (parser_4, 584, fieldsig_4);;
let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;;
let v = (parser_2, 648, fieldsig_2);;
let map = StringMap.add "2.6.24-7.fc9.x86_64" v map;;
let v = (parser_1, 412, fieldsig_1);;
let map = StringMap.add "2.6.24-9.fc9.i586" v map;;
let v = (parser_1, 412, fieldsig_1);;
let map = StringMap.add "2.6.24-9.fc9.i686" v map;;
let v = (parser_3, 372, fieldsig_3);;
let map = StringMap.add "2.6.24-9.fc9.ppc" v map;;
let v = (parser_4, 584, fieldsig_4);;
let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;;
let v = (parser_2, 648, fieldsig_2);;
let map = StringMap.add "2.6.24-9.fc9.x86_64" v map;;
let v = (parser_1, 356, fieldsig_1);;
let map = StringMap.add "2.6.25.11-97.fc9.i686" v map;;
let v = (parser_2, 536, fieldsig_2);;
let map = StringMap.add "2.6.25.11-97.fc9.x86_64" v map;;
let v = (parser_1, 356, fieldsig_1);;
let map = StringMap.add "2.6.25.14-69.fc8.i586" v map;;
let v = (parser_1, 356, fieldsig_1);;
let map = StringMap.add "2.6.25.14-69.fc8.i686" v map;;
let v = (parser_4, 536, fieldsig_4);;
let map = StringMap.add "2.6.25.14-69.fc8.ppc64" v map;;
let v = (parser_1, 360, fieldsig_1);;
let map = StringMap.add "2.6.26.1-9.fc9.i586" v map;;
let v = (parser_1, 360, fieldsig_1);;
let map = StringMap.add "2.6.26.1-9.fc9.i686" v map;;
let v = (parser_3, 352, fieldsig_3);;
let map = StringMap.add "2.6.26.1-9.fc9.ppc" v map;;
let v = (parser_4, 536, fieldsig_4);;
let map = StringMap.add "2.6.26.1-9.fc9.ppc64" v map;;
let v = (parser_2, 536, fieldsig_2);;
let map = StringMap.add "2.6.26.1-9.fc9.x86_64" v map;;
let v = (parser_1, 360, fieldsig_1);;
let map = StringMap.add "2.6.26.2-2.fc8.i586" v map;;
let v = (parser_1, 360, fieldsig_1);;
let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
let v = (parser_3, 352, fieldsig_3);;
let map = StringMap.add "2.6.26.2-2.fc8.ppc" v map;;
let v = (parser_4, 536, fieldsig_4);;
let map = StringMap.add "2.6.26.2-2.fc8.ppc64" v map;;
let v = (parser_2, 536, fieldsig_2);;
let map = StringMap.add "2.6.26.2-2.fc8.x86_64" v map;;
let v = (parser_1, 424, fieldsig_1);;
let map = StringMap.add "2.6.27-0.225.rc1.git5.fc10.i586" v map;;
let v = (parser_1, 424, fieldsig_1);;
let map = StringMap.add "2.6.27-0.225.rc1.git5.fc10.i686" v map;;
let v = (parser_3, 384, fieldsig_3);;
let map = StringMap.add "2.6.27-0.225.rc1.git5.fc10.ppc" v map;;
let v = (parser_4, 656, fieldsig_4);;
let map = StringMap.add "2.6.27-0.225.rc1.git5.fc10.ppc64" v map;;
let v = (parser_2, 656, fieldsig_2);;
let map = StringMap.add "2.6.27-0.225.rc1.git5.fc10.x86_64" v map;;
let v = (parser_1, 424, fieldsig_1);;
let map = StringMap.add "2.6.27-0.226.rc1.git5.fc10.i586" v map;;
let v = (parser_1, 424, fieldsig_1);;
let map = StringMap.add "2.6.27-0.226.rc1.git5.fc10.i686" v map;;
let v = (parser_3, 384, fieldsig_3);;
let map = StringMap.add "2.6.27-0.226.rc1.git5.fc10.ppc" v map;;
let v = (parser_4, 656, fieldsig_4);;
let map = StringMap.add "2.6.27-0.226.rc1.git5.fc10.ppc64" v map;;
let v = (parser_2, 656, fieldsig_2);;
let map = StringMap.add "2.6.27-0.226.rc1.git5.fc10.x86_64" v map;;
let v = (parser_1, 424, fieldsig_1);;
let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.i586" v map;;
let v = (parser_1, 424, fieldsig_1);;
let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.i686" v map;;
let v = (parser_3, 384, fieldsig_3);;
let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.ppc" v map;;
let v = (parser_4, 656, fieldsig_4);;
let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.ppc64" v map;;
let v = (parser_2, 656, fieldsig_2);;
let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.x86_64" v map;;
let v = (parser_1, 424, fieldsig_1);;
let map = StringMap.add "2.6.27-0.237.rc2.fc10.i586" v map;;
let v = (parser_1, 424, fieldsig_1);;
let map = StringMap.add "2.6.27-0.237.rc2.fc10.i686" v map;;
let v = (parser_3, 384, fieldsig_3);;
let map = StringMap.add "2.6.27-0.237.rc2.fc10.ppc" v map;;
let v = (parser_4, 656, fieldsig_4);;
let map = StringMap.add "2.6.27-0.237.rc2.fc10.ppc64" v map;;
let v = (parser_2, 656, fieldsig_2);;
let map = StringMap.add "2.6.27-0.237.rc2.fc10.x86_64" v map;;
let v = (parser_1, 424, fieldsig_1);;
let map = StringMap.add "2.6.27-0.238.rc2.fc10.i586" v map;;
let v = (parser_1, 424, fieldsig_1);;
let map = StringMap.add "2.6.27-0.238.rc2.fc10.i686" v map;;
let v = (parser_3, 384, fieldsig_3);;
let map = StringMap.add "2.6.27-0.238.rc2.fc10.ppc" v map;;
let v = (parser_4, 656, fieldsig_4);;
let map = StringMap.add "2.6.27-0.238.rc2.fc10.ppc64" v map;;
let v = (parser_2, 656, fieldsig_2);;
let map = StringMap.add "2.6.27-0.238.rc2.fc10.x86_64" v map;;
let v = (parser_1, 424, fieldsig_1);;
let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.i586" v map;;
let v = (parser_1, 424, fieldsig_1);;
let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.i686" v map;;
let v = (parser_3, 384, fieldsig_3);;
let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.ppc" v map;;
let v = (parser_4, 656, fieldsig_4);;
let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.ppc64" v map;;
let v = (parser_2, 656, fieldsig_2);;
let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.x86_64" v map;;
let v = (parser_1, 424, fieldsig_1);;
let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.i586" v map;;
let v = (parser_1, 424, fieldsig_1);;
let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.i686" v map;;
let v = (parser_3, 384, fieldsig_3);;
let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc" v map;;
let v = (parser_4, 656, fieldsig_4);;
let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc64" v map;;
let v = (parser_2, 656, fieldsig_2);;
let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.x86_64" v map;;
let v = (parser_1, 268, fieldsig_1);;
let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
let v = (parser_4, 432, fieldsig_4);;
let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;;
let v = (parser_4, 432, fieldsig_4);;
let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;;
let v = (parser_2, 416, fieldsig_2);;
let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
let v = (parser_1, 284, fieldsig_1);;
let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
let v = (parser_4, 464, fieldsig_4);;
let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;;
let v = (parser_2, 448, fieldsig_2);;
let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
let v = (parser_4, 560, fieldsig_4);;
let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;;
let v = (parser_2, 640, fieldsig_2);;
let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;;
let v = (parser_4, 560, fieldsig_4);;
let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;;
let v = (parser_2, 640, fieldsig_2);;
let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;;
let v = (parser_4, 560, fieldsig_4);;
let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;;
let v = (parser_2, 640, fieldsig_2);;
let map = StringMap.add "2.6.21-1.3141.fc7.x86_64" v map;;
let v = (parser_4, 560, fieldsig_4);;
let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;;
let v = (parser_2, 640, fieldsig_2);;
let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;;
let v = (parser_4, 560, fieldsig_4);;
let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;;
let v = (parser_2, 544, fieldsig_2);;
let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
let v = (parser_4, 560, fieldsig_4);;
let map = StringMap.add "2.6.21-1.3190.fc7.ppc64" v map;;
let v = (parser_2, 544, fieldsig_2);;
let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;;
let v = (parser_4, 568, fieldsig_4);;
let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;;
let v = (parser_4, 568, fieldsig_4);;
let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;;
let v = (parser_4, 568, fieldsig_4);;
let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;;
let v = (parser_4, 520, fieldsig_4);;
let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;;
let v = (parser_2, 512, fieldsig_2);;
let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
let v = (parser_4, 568, fieldsig_4);;
let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;;
let v = (parser_4, 568, fieldsig_4);;
let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;;
let v = (parser_4, 568, fieldsig_4);;
let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;;
let v = (parser_4, 568, fieldsig_4);;
let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;;
let v = (parser_4, 568, fieldsig_4);;
let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;;
let v = (parser_4, 568, fieldsig_4);;
let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;;
let v = (parser_4, 528, fieldsig_4);;
let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;;
let v = (parser_4, 528, fieldsig_4);;
let map = StringMap.add "2.6.23.14-78.fc7.ppc64" v map;;
let v = (parser_4, 584, fieldsig_4);;
let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;;
let v = (parser_4, 584, fieldsig_4);;
let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;;
let v = (parser_4, 584, fieldsig_4);;
let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;;
let v = (parser_4, 536, fieldsig_4);;
let map = StringMap.add "2.6.25.14-69.fc8.ppc64" v map;;
let v = (parser_4, 536, fieldsig_4);;
let map = StringMap.add "2.6.26.1-9.fc9.ppc64" v map;;
let v = (parser_4, 536, fieldsig_4);;
let map = StringMap.add "2.6.26.2-2.fc8.ppc64" v map;;
let v = (parser_4, 656, fieldsig_4);;
let map = StringMap.add "2.6.27-0.225.rc1.git5.fc10.ppc64" v map;;
let v = (parser_4, 656, fieldsig_4);;
let map = StringMap.add "2.6.27-0.226.rc1.git5.fc10.ppc64" v map;;
let v = (parser_4, 656, fieldsig_4);;
let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.ppc64" v map;;
let v = (parser_4, 656, fieldsig_4);;
let map = StringMap.add "2.6.27-0.237.rc2.fc10.ppc64" v map;;
let v = (parser_4, 656, fieldsig_4);;
let map = StringMap.add "2.6.27-0.238.rc2.fc10.ppc64" v map;;
let v = (parser_4, 656, fieldsig_4);;
let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.ppc64" v map;;
let v = (parser_4, 656, fieldsig_4);;
let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc64" v map;;
let v = (parser_3, 276, fieldsig_3);;
let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;;
let v = (parser_3, 292, fieldsig_3);;
let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;;
let v = (parser_3, 368, fieldsig_3);;
let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;;
let v = (parser_3, 368, fieldsig_3);;
let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;;
let v = (parser_3, 368, fieldsig_3);;
let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;;
let v = (parser_3, 368, fieldsig_3);;
let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;;
let v = (parser_3, 368, fieldsig_3);;
let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;;
let v = (parser_3, 368, fieldsig_3);;
let map = StringMap.add "2.6.21-1.3190.fc7.ppc" v map;;
let v = (parser_3, 372, fieldsig_3);;
let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;;
let v = (parser_3, 372, fieldsig_3);;
let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;;
let v = (parser_3, 372, fieldsig_3);;
let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;;
let v = (parser_3, 344, fieldsig_3);;
let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;;
let v = (parser_3, 372, fieldsig_3);;
let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;;
let v = (parser_3, 372, fieldsig_3);;
let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;;
let v = (parser_3, 372, fieldsig_3);;
let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;;
let v = (parser_3, 372, fieldsig_3);;
let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;;
let v = (parser_3, 372, fieldsig_3);;
let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;;
let v = (parser_3, 372, fieldsig_3);;
let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;;
let v = (parser_3, 348, fieldsig_3);;
let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;;
let v = (parser_3, 348, fieldsig_3);;
let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;;
let v = (parser_3, 380, fieldsig_3);;
let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;;
let v = (parser_3, 380, fieldsig_3);;
let map = StringMap.add "2.6.24-7.fc9.ppc" v map;;
let v = (parser_3, 380, fieldsig_3);;
let map = StringMap.add "2.6.24-9.fc9.ppc" v map;;
let v = (parser_3, 360, fieldsig_3);;
let map = StringMap.add "2.6.26.1-9.fc9.ppc" v map;;
let v = (parser_3, 360, fieldsig_3);;
let map = StringMap.add "2.6.26.2-2.fc8.ppc" v map;;
let v = (parser_3, 392, fieldsig_3);;
let map = StringMap.add "2.6.27-0.225.rc1.git5.fc10.ppc" v map;;
let v = (parser_3, 392, fieldsig_3);;
let map = StringMap.add "2.6.27-0.226.rc1.git5.fc10.ppc" v map;;
let v = (parser_3, 392, fieldsig_3);;
let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.ppc" v map;;
let v = (parser_3, 392, fieldsig_3);;
let map = StringMap.add "2.6.27-0.237.rc2.fc10.ppc" v map;;
let v = (parser_3, 392, fieldsig_3);;
let map = StringMap.add "2.6.27-0.238.rc2.fc10.ppc" v map;;
let v = (parser_3, 392, fieldsig_3);;
let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.ppc" v map;;
let v = (parser_3, 392, fieldsig_3);;
let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc" v map;;
let v = (parser_1, 276, fieldsig_1);;
let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
let v = (parser_2, 432, fieldsig_2);;
let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
let v = (parser_1, 292, fieldsig_1);;
let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
let v = (parser_2, 464, fieldsig_2);;
let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
type kernel_version = string;;
let inet6_dev_known version = StringMap.mem version map;;
let inet6_dev_size version =
  let (_, size, _) = StringMap.find version map in size;;
let inet6_dev_of_bits version bits =
  let (parsefn, _, _) = StringMap.find version map in parsefn bits;;
let get_inet6_dev version mem addr =
  let (parsefn, size, _) = StringMap.find version map in
  let bytes = Virt_mem_mmap.get_bytes mem addr size in
  let bits = Bitstring.bitstring_of_string bytes in parsefn bits;;
let field_signature_of_inet6_dev_addr_list version =
  let (_, _, fs) = StringMap.find version map in fs.__fs_inet6_dev_addr_list;;