+(* 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_ifaddr";;
+let match_err = "failed to match kernel structure";;
+type t =
+ { inet6_ifaddr_prefix_len : int64;
+ inet6_ifaddr_lst_next : Virt_mem_mmap.addr
+ };;
+type fs_t =
+ { __fs_inet6_ifaddr_prefix_len : Virt_mem_types.fieldsig;
+ __fs_inet6_ifaddr_lst_next : Virt_mem_types.fieldsig
+ };;
+let fieldsig_1 =
+ {
+ __fs_inet6_ifaddr_prefix_len =
+ { Virt_mem_types.field_available = true; field_offset = 16; };
+ __fs_inet6_ifaddr_lst_next =
+ { Virt_mem_types.field_available = true; field_offset = 104; };
+ };;
+let fieldsig_2 =
+ {
+ __fs_inet6_ifaddr_prefix_len =
+ { Virt_mem_types.field_available = true; field_offset = 16; };
+ __fs_inet6_ifaddr_lst_next =
+ { Virt_mem_types.field_available = true; field_offset = 128; };
+ };;
+let fieldsig_3 =
+ {
+ __fs_inet6_ifaddr_prefix_len =
+ { Virt_mem_types.field_available = true; field_offset = 16; };
+ __fs_inet6_ifaddr_lst_next =
+ { Virt_mem_types.field_available = true; field_offset = 132; };
+ };;
+let fieldsig_4 =
+ {
+ __fs_inet6_ifaddr_prefix_len =
+ { Virt_mem_types.field_available = true; field_offset = 16; };
+ __fs_inet6_ifaddr_lst_next =
+ { Virt_mem_types.field_available = true; field_offset = 92; };
+ };;
+let fieldsig_5 =
+ {
+ __fs_inet6_ifaddr_prefix_len =
+ { Virt_mem_types.field_available = true; field_offset = 16; };
+ __fs_inet6_ifaddr_lst_next =
+ { Virt_mem_types.field_available = true; field_offset = 116; };
+ };;
+let fieldsig_6 =
+ {
+ __fs_inet6_ifaddr_prefix_len =
+ { Virt_mem_types.field_available = true; field_offset = 16; };
+ __fs_inet6_ifaddr_lst_next =
+ { Virt_mem_types.field_available = true; field_offset = 176; };
+ };;
+let fieldsig_7 =
+ {
+ __fs_inet6_ifaddr_prefix_len =
+ { Virt_mem_types.field_available = true; field_offset = 16; };
+ __fs_inet6_ifaddr_lst_next =
+ { Virt_mem_types.field_available = true; field_offset = 208; };
+ };;
+let fieldsig_8 =
+ {
+ __fs_inet6_ifaddr_prefix_len =
+ { Virt_mem_types.field_available = true; field_offset = 16; };
+ __fs_inet6_ifaddr_lst_next =
+ { Virt_mem_types.field_available = true; field_offset = 216; };
+ };;
+let fieldsig_9 =
+ {
+ __fs_inet6_ifaddr_prefix_len =
+ { Virt_mem_types.field_available = true; field_offset = 16; };
+ __fs_inet6_ifaddr_lst_next =
+ { Virt_mem_types.field_available = true; field_offset = 92; };
+ };;
+let fieldsig_10 =
+ {
+ __fs_inet6_ifaddr_prefix_len =
+ { Virt_mem_types.field_available = true; field_offset = 16; };
+ __fs_inet6_ifaddr_lst_next =
+ { Virt_mem_types.field_available = true; field_offset = 152; };
+ };;
+let fieldsig_11 =
+ {
+ __fs_inet6_ifaddr_prefix_len =
+ { Virt_mem_types.field_available = true; field_offset = 16; };
+ __fs_inet6_ifaddr_lst_next =
+ { Virt_mem_types.field_available = true; field_offset = 152; };
+ };;
+let fieldsig_12 =
+ {
+ __fs_inet6_ifaddr_prefix_len =
+ { Virt_mem_types.field_available = true; field_offset = 16; };
+ __fs_inet6_ifaddr_lst_next =
+ { Virt_mem_types.field_available = true; field_offset = 116; };
+ };;
+let fieldsig_13 =
+ {
+ __fs_inet6_ifaddr_prefix_len =
+ { Virt_mem_types.field_available = true; field_offset = 16; };
+ __fs_inet6_ifaddr_lst_next =
+ { Virt_mem_types.field_available = true; field_offset = 184; };
+ };;
+let fieldsig_14 =
+ {
+ __fs_inet6_ifaddr_prefix_len =
+ { Virt_mem_types.field_available = true; field_offset = 16; };
+ __fs_inet6_ifaddr_lst_next =
+ { Virt_mem_types.field_available = true; field_offset = 184; };
+ };;
+let fieldsig_15 =
+ {
+ __fs_inet6_ifaddr_prefix_len =
+ { Virt_mem_types.field_available = true; field_offset = 16; };
+ __fs_inet6_ifaddr_lst_next =
+ { Virt_mem_types.field_available = true; field_offset = 100; };
+ };;
+let fieldsig_16 =
+ {
+ __fs_inet6_ifaddr_prefix_len =
+ { Virt_mem_types.field_available = true; field_offset = 16; };
+ __fs_inet6_ifaddr_lst_next =
+ { Virt_mem_types.field_available = true; field_offset = 160; };
+ };;
+let fieldsig_17 =
+ {
+ __fs_inet6_ifaddr_prefix_len =
+ { Virt_mem_types.field_available = true; field_offset = 16; };
+ __fs_inet6_ifaddr_lst_next =
+ { Virt_mem_types.field_available = true; field_offset = 160; };
+ };;
+let fieldsig_18 =
+ {
+ __fs_inet6_ifaddr_prefix_len =
+ { Virt_mem_types.field_available = true; field_offset = 16; };
+ __fs_inet6_ifaddr_lst_next =
+ { Virt_mem_types.field_available = true; field_offset = 216; };
+ };;
+let fieldsig_19 =
+ {
+ __fs_inet6_ifaddr_prefix_len =
+ { Virt_mem_types.field_available = true; field_offset = 16; };
+ __fs_inet6_ifaddr_lst_next =
+ { Virt_mem_types.field_available = true; field_offset = 232; };
+ };;
+let fieldsig_20 =
+ {
+ __fs_inet6_ifaddr_prefix_len =
+ { Virt_mem_types.field_available = true; field_offset = 16; };
+ __fs_inet6_ifaddr_lst_next =
+ { Virt_mem_types.field_available = true; field_offset = 104; };
+ };;
+let parser_1 bits =
+ bitmatch bits with
+ | { inet6_ifaddr_prefix_len : zero+32 : offset(128), littleendian;
+ inet6_ifaddr_lst_next : zero+32 : offset(832), littleendian } ->
+ { inet6_ifaddr_prefix_len = inet6_ifaddr_prefix_len;
+ inet6_ifaddr_lst_next = inet6_ifaddr_lst_next }
+ | { _ } ->
+ raise (Virt_mem_types.ParseError (struct_name, "parser_1", match_err));;
+let parser_2 bits =
+ bitmatch bits with
+ | { inet6_ifaddr_prefix_len : zero+32 : offset(128), littleendian;
+ inet6_ifaddr_lst_next : zero+32 : offset(1024), littleendian } ->
+ { inet6_ifaddr_prefix_len = inet6_ifaddr_prefix_len;
+ inet6_ifaddr_lst_next = inet6_ifaddr_lst_next }
+ | { _ } ->
+ raise (Virt_mem_types.ParseError (struct_name, "parser_2", match_err));;
+let parser_3 bits =
+ bitmatch bits with
+ | { inet6_ifaddr_prefix_len : zero+32 : offset(128), littleendian;
+ inet6_ifaddr_lst_next : zero+32 : offset(1056), littleendian } ->
+ { inet6_ifaddr_prefix_len = inet6_ifaddr_prefix_len;
+ inet6_ifaddr_lst_next = inet6_ifaddr_lst_next }
+ | { _ } ->
+ raise (Virt_mem_types.ParseError (struct_name, "parser_3", match_err));;
+let parser_4 bits =
+ bitmatch bits with
+ | { inet6_ifaddr_prefix_len : zero+32 : offset(128), littleendian;
+ inet6_ifaddr_lst_next : zero+32 : offset(736), littleendian } ->
+ { inet6_ifaddr_prefix_len = inet6_ifaddr_prefix_len;
+ inet6_ifaddr_lst_next = inet6_ifaddr_lst_next }
+ | { _ } ->
+ raise (Virt_mem_types.ParseError (struct_name, "parser_4", match_err));;
+let parser_5 bits =
+ bitmatch bits with
+ | { inet6_ifaddr_prefix_len : zero+32 : offset(128), littleendian;
+ inet6_ifaddr_lst_next : zero+32 : offset(928), littleendian } ->
+ { inet6_ifaddr_prefix_len = inet6_ifaddr_prefix_len;
+ inet6_ifaddr_lst_next = inet6_ifaddr_lst_next }
+ | { _ } ->
+ raise (Virt_mem_types.ParseError (struct_name, "parser_5", match_err));;
+let parser_6 bits =
+ bitmatch bits with
+ | { inet6_ifaddr_prefix_len : zero+32 : offset(128), littleendian;
+ inet6_ifaddr_lst_next : zero+64 : offset(1408), littleendian } ->
+ { inet6_ifaddr_prefix_len = inet6_ifaddr_prefix_len;
+ inet6_ifaddr_lst_next = inet6_ifaddr_lst_next }
+ | { _ } ->
+ raise (Virt_mem_types.ParseError (struct_name, "parser_6", match_err));;
+let parser_7 bits =
+ bitmatch bits with
+ | { inet6_ifaddr_prefix_len : zero+32 : offset(128), littleendian;
+ inet6_ifaddr_lst_next : zero+64 : offset(1664), littleendian } ->
+ { inet6_ifaddr_prefix_len = inet6_ifaddr_prefix_len;
+ inet6_ifaddr_lst_next = inet6_ifaddr_lst_next }
+ | { _ } ->
+ raise (Virt_mem_types.ParseError (struct_name, "parser_7", match_err));;
+let parser_8 bits =
+ bitmatch bits with
+ | { inet6_ifaddr_prefix_len : zero+32 : offset(128), littleendian;
+ inet6_ifaddr_lst_next : zero+64 : offset(1728), littleendian } ->
+ { inet6_ifaddr_prefix_len = inet6_ifaddr_prefix_len;
+ inet6_ifaddr_lst_next = inet6_ifaddr_lst_next }
+ | { _ } ->
+ raise (Virt_mem_types.ParseError (struct_name, "parser_8", match_err));;
+let parser_9 bits =
+ bitmatch bits with
+ | { inet6_ifaddr_prefix_len : zero+32 : offset(128), bigendian;
+ inet6_ifaddr_lst_next : zero+32 : offset(736), bigendian } ->
+ { inet6_ifaddr_prefix_len = inet6_ifaddr_prefix_len;
+ inet6_ifaddr_lst_next = inet6_ifaddr_lst_next }
+ | { _ } ->
+ raise (Virt_mem_types.ParseError (struct_name, "parser_9", match_err));;
+let parser_10 bits =
+ bitmatch bits with
+ | { inet6_ifaddr_prefix_len : zero+32 : offset(128), bigendian;
+ inet6_ifaddr_lst_next : zero+64 : offset(1216), bigendian } ->
+ { inet6_ifaddr_prefix_len = inet6_ifaddr_prefix_len;
+ inet6_ifaddr_lst_next = inet6_ifaddr_lst_next }
+ | { _ } ->
+ raise (Virt_mem_types.ParseError (struct_name, "parser_10", match_err));;
+let parser_11 bits =
+ bitmatch bits with
+ | { inet6_ifaddr_prefix_len : zero+32 : offset(128), littleendian;
+ inet6_ifaddr_lst_next : zero+64 : offset(1216), littleendian } ->
+ { inet6_ifaddr_prefix_len = inet6_ifaddr_prefix_len;
+ inet6_ifaddr_lst_next = inet6_ifaddr_lst_next }
+ | { _ } ->
+ raise (Virt_mem_types.ParseError (struct_name, "parser_11", match_err));;
+let parser_12 bits =
+ bitmatch bits with
+ | { inet6_ifaddr_prefix_len : zero+32 : offset(128), bigendian;
+ inet6_ifaddr_lst_next : zero+32 : offset(928), bigendian } ->
+ { inet6_ifaddr_prefix_len = inet6_ifaddr_prefix_len;
+ inet6_ifaddr_lst_next = inet6_ifaddr_lst_next }
+ | { _ } ->
+ raise (Virt_mem_types.ParseError (struct_name, "parser_12", match_err));;
+let parser_13 bits =
+ bitmatch bits with
+ | { inet6_ifaddr_prefix_len : zero+32 : offset(128), bigendian;
+ inet6_ifaddr_lst_next : zero+64 : offset(1472), bigendian } ->
+ { inet6_ifaddr_prefix_len = inet6_ifaddr_prefix_len;
+ inet6_ifaddr_lst_next = inet6_ifaddr_lst_next }
+ | { _ } ->
+ raise (Virt_mem_types.ParseError (struct_name, "parser_13", match_err));;
+let parser_14 bits =
+ bitmatch bits with
+ | { inet6_ifaddr_prefix_len : zero+32 : offset(128), littleendian;
+ inet6_ifaddr_lst_next : zero+64 : offset(1472), littleendian } ->
+ { inet6_ifaddr_prefix_len = inet6_ifaddr_prefix_len;
+ inet6_ifaddr_lst_next = inet6_ifaddr_lst_next }
+ | { _ } ->
+ raise (Virt_mem_types.ParseError (struct_name, "parser_14", match_err));;
+let parser_15 bits =
+ bitmatch bits with
+ | { inet6_ifaddr_prefix_len : zero+32 : offset(128), bigendian;
+ inet6_ifaddr_lst_next : zero+32 : offset(800), bigendian } ->
+ { inet6_ifaddr_prefix_len = inet6_ifaddr_prefix_len;
+ inet6_ifaddr_lst_next = inet6_ifaddr_lst_next }
+ | { _ } ->
+ raise (Virt_mem_types.ParseError (struct_name, "parser_15", match_err));;
+let parser_16 bits =
+ bitmatch bits with
+ | { inet6_ifaddr_prefix_len : zero+32 : offset(128), bigendian;
+ inet6_ifaddr_lst_next : zero+64 : offset(1280), bigendian } ->
+ { inet6_ifaddr_prefix_len = inet6_ifaddr_prefix_len;
+ inet6_ifaddr_lst_next = inet6_ifaddr_lst_next }
+ | { _ } ->
+ raise (Virt_mem_types.ParseError (struct_name, "parser_16", match_err));;
+let parser_17 bits =
+ bitmatch bits with
+ | { inet6_ifaddr_prefix_len : zero+32 : offset(128), littleendian;
+ inet6_ifaddr_lst_next : zero+64 : offset(1280), littleendian } ->
+ { inet6_ifaddr_prefix_len = inet6_ifaddr_prefix_len;
+ inet6_ifaddr_lst_next = inet6_ifaddr_lst_next }
+ | { _ } ->
+ raise (Virt_mem_types.ParseError (struct_name, "parser_17", match_err));;
+let parser_18 bits =
+ bitmatch bits with
+ | { inet6_ifaddr_prefix_len : zero+32 : offset(128), bigendian;
+ inet6_ifaddr_lst_next : zero+64 : offset(1728), bigendian } ->
+ { inet6_ifaddr_prefix_len = inet6_ifaddr_prefix_len;
+ inet6_ifaddr_lst_next = inet6_ifaddr_lst_next }
+ | { _ } ->
+ raise (Virt_mem_types.ParseError (struct_name, "parser_18", match_err));;
+let parser_19 bits =
+ bitmatch bits with
+ | { inet6_ifaddr_prefix_len : zero+32 : offset(128), littleendian;
+ inet6_ifaddr_lst_next : zero+64 : offset(1856), littleendian } ->
+ { inet6_ifaddr_prefix_len = inet6_ifaddr_prefix_len;
+ inet6_ifaddr_lst_next = inet6_ifaddr_lst_next }
+ | { _ } ->
+ raise (Virt_mem_types.ParseError (struct_name, "parser_19", match_err));;
+let parser_20 bits =
+ bitmatch bits with
+ | { inet6_ifaddr_prefix_len : zero+32 : offset(128), bigendian;
+ inet6_ifaddr_lst_next : zero+32 : offset(832), bigendian } ->
+ { inet6_ifaddr_prefix_len = inet6_ifaddr_prefix_len;
+ inet6_ifaddr_lst_next = inet6_ifaddr_lst_next }
+ | { _ } ->
+ raise (Virt_mem_types.ParseError (struct_name, "parser_20", match_err));;
+module StringMap = Map.Make(String);;
+let map = StringMap.empty;;
+let v = (parser_1, 128, fieldsig_1);;
+let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.25.14-69.fc8.i686" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
+let v = (parser_4, 116, fieldsig_4);;
+let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.21-1.3128.fc7.i686" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.21-1.3132.fc7.i686" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.21-1.3141.fc7.i686" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.21-1.3144.fc7.i686" v map;;
+let v = (parser_5, 140, fieldsig_5);;
+let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
+let v = (parser_5, 140, fieldsig_5);;
+let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.21-1.3209.fc8.i686" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.21-1.3218.fc8.i686" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.21-1.3221.fc8.i686" v map;;
+let v = (parser_1, 128, fieldsig_1);;
+let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.21-1.3234.fc8.i686" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.21-1.3238.fc8.i686" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.21-1.3242.fc8.i686" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.22-0.rc7.2.fc8.i686" v map;;
+let v = (parser_1, 128, fieldsig_1);;
+let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
+let v = (parser_1, 128, fieldsig_1);;
+let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.24-7.fc9.i686" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.24-9.fc9.i686" v map;;
+let v = (parser_1, 128, fieldsig_1);;
+let map = StringMap.add "2.6.25.14-69.fc8.i686" v map;;
+let v = (parser_1, 128, fieldsig_1);;
+let map = StringMap.add "2.6.26.1-9.fc9.i686" v map;;
+let v = (parser_1, 128, fieldsig_1);;
+let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.27-0.225.rc1.git5.fc10.i686" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.27-0.226.rc1.git5.fc10.i686" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.i686" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.27-0.237.rc2.fc10.i686" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.27-0.238.rc2.fc10.i686" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.i686" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.i686" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.26.1-9.fc9.i686" v map;;
+let v = (parser_1, 128, fieldsig_1);;
+let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
+let v = (parser_6, 216, fieldsig_6);;
+let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
+let v = (parser_7, 248, fieldsig_7);;
+let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;
+let v = (parser_7, 248, fieldsig_7);;
+let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
+let v = (parser_7, 248, fieldsig_7);;
+let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
+let v = (parser_8, 256, fieldsig_8);;
+let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;;
+let v = (parser_8, 256, fieldsig_8);;
+let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.25.14-69.fc8.i686" v map;;
+let v = (parser_8, 256, fieldsig_8);;
+let map = StringMap.add "2.6.25.14-69.fc8.x86_64" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.26.1-9.fc9.i686" v map;;
+let v = (parser_8, 256, fieldsig_8);;
+let map = StringMap.add "2.6.26.1-9.fc9.x86_64" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
+let v = (parser_8, 256, fieldsig_8);;
+let map = StringMap.add "2.6.26.2-2.fc8.x86_64" v map;;
+let v = (parser_4, 116, fieldsig_4);;
+let map = StringMap.add "2.6.18-1.2798.fc6.i586" v map;;
+let v = (parser_4, 116, fieldsig_4);;
+let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
+let v = (parser_9, 116, fieldsig_9);;
+let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;;
+let v = (parser_10, 192, fieldsig_10);;
+let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;;
+let v = (parser_10, 192, fieldsig_10);;
+let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;;
+let v = (parser_11, 192, fieldsig_11);;
+let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
+let v = (parser_4, 116, fieldsig_4);;
+let map = StringMap.add "2.6.20-1.2933.fc6.i586" v map;;
+let v = (parser_4, 116, fieldsig_4);;
+let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
+let v = (parser_9, 116, fieldsig_9);;
+let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;;
+let v = (parser_10, 192, fieldsig_10);;
+let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;;
+let v = (parser_11, 192, fieldsig_11);;
+let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.21-1.3128.fc7.i586" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.21-1.3128.fc7.i686" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;;
+let v = (parser_13, 224, fieldsig_13);;
+let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;;
+let v = (parser_7, 248, fieldsig_7);;
+let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.21-1.3132.fc7.i586" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.21-1.3132.fc7.i686" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;;
+let v = (parser_13, 224, fieldsig_13);;
+let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;;
+let v = (parser_7, 248, fieldsig_7);;
+let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.21-1.3141.fc7.i586" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.21-1.3141.fc7.i686" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;;
+let v = (parser_13, 224, fieldsig_13);;
+let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;;
+let v = (parser_7, 248, fieldsig_7);;
+let map = StringMap.add "2.6.21-1.3141.fc7.x86_64" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.21-1.3144.fc7.i586" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.21-1.3144.fc7.i686" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;;
+let v = (parser_13, 224, fieldsig_13);;
+let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;;
+let v = (parser_7, 248, fieldsig_7);;
+let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;;
+let v = (parser_5, 140, fieldsig_5);;
+let map = StringMap.add "2.6.21-1.3145.fc7.i586" v map;;
+let v = (parser_5, 140, fieldsig_5);;
+let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;;
+let v = (parser_13, 224, fieldsig_13);;
+let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;;
+let v = (parser_14, 224, fieldsig_14);;
+let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
+let v = (parser_5, 140, fieldsig_5);;
+let map = StringMap.add "2.6.21-1.3190.fc7.i586" v map;;
+let v = (parser_5, 140, fieldsig_5);;
+let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.21-1.3190.fc7.ppc" v map;;
+let v = (parser_13, 224, fieldsig_13);;
+let map = StringMap.add "2.6.21-1.3190.fc7.ppc64" v map;;
+let v = (parser_14, 224, fieldsig_14);;
+let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.21-1.3209.fc8.i586" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.21-1.3209.fc8.i686" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;;
+let v = (parser_13, 224, fieldsig_13);;
+let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;;
+let v = (parser_7, 248, fieldsig_7);;
+let map = StringMap.add "2.6.21-1.3209.fc8.x86_64" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.21-1.3218.fc8.i586" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.21-1.3218.fc8.i686" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;;
+let v = (parser_13, 224, fieldsig_13);;
+let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;;
+let v = (parser_7, 248, fieldsig_7);;
+let map = StringMap.add "2.6.21-1.3218.fc8.x86_64" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.21-1.3221.fc8.i586" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.21-1.3221.fc8.i686" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;;
+let v = (parser_13, 224, fieldsig_13);;
+let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;;
+let v = (parser_7, 248, fieldsig_7);;
+let map = StringMap.add "2.6.21-1.3221.fc8.x86_64" v map;;
+let v = (parser_1, 128, fieldsig_1);;
+let map = StringMap.add "2.6.21-1.3228.fc7.i586" v map;;
+let v = (parser_1, 128, fieldsig_1);;
+let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
+let v = (parser_15, 124, fieldsig_15);;
+let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;;
+let v = (parser_16, 200, fieldsig_16);;
+let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;;
+let v = (parser_17, 200, fieldsig_17);;
+let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.21-1.3234.fc8.i686" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;;
+let v = (parser_13, 224, fieldsig_13);;
+let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;;
+let v = (parser_7, 248, fieldsig_7);;
+let map = StringMap.add "2.6.21-1.3234.fc8.x86_64" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;;
+let v = (parser_13, 224, fieldsig_13);;
+let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;;
+let v = (parser_7, 248, fieldsig_7);;
+let map = StringMap.add "2.6.21-1.3236.fc8.x86_64" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.21-1.3238.fc8.i686" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;;
+let v = (parser_13, 224, fieldsig_13);;
+let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;;
+let v = (parser_7, 248, fieldsig_7);;
+let map = StringMap.add "2.6.21-1.3238.fc8.x86_64" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.21-1.3242.fc8.i686" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;;
+let v = (parser_13, 224, fieldsig_13);;
+let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;;
+let v = (parser_7, 248, fieldsig_7);;
+let map = StringMap.add "2.6.21-1.3242.fc8.x86_64" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;;
+let v = (parser_13, 224, fieldsig_13);;
+let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;;
+let v = (parser_7, 248, fieldsig_7);;
+let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.x86_64" v map;;
+let v = (parser_2, 152, fieldsig_2);;
+let map = StringMap.add "2.6.22-0.rc7.2.fc8.i686" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;;
+let v = (parser_13, 224, fieldsig_13);;
+let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;;
+let v = (parser_7, 248, fieldsig_7);;
+let map = StringMap.add "2.6.22-0.rc7.2.fc8.x86_64" v map;;
+let v = (parser_1, 128, fieldsig_1);;
+let map = StringMap.add "2.6.23.14-135.fc8.i586" v map;;
+let v = (parser_1, 128, fieldsig_1);;
+let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
+let v = (parser_15, 124, fieldsig_15);;
+let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;;
+let v = (parser_16, 200, fieldsig_16);;
+let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;;
+let v = (parser_17, 200, fieldsig_17);;
+let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;;
+let v = (parser_1, 128, fieldsig_1);;
+let map = StringMap.add "2.6.23.14-78.fc7.i586" v map;;
+let v = (parser_1, 128, fieldsig_1);;
+let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;;
+let v = (parser_15, 124, fieldsig_15);;
+let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;;
+let v = (parser_16, 200, fieldsig_16);;
+let map = StringMap.add "2.6.23.14-78.fc7.ppc64" v map;;
+let v = (parser_17, 200, fieldsig_17);;
+let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i586" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;;
+let v = (parser_13, 224, fieldsig_13);;
+let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;;
+let v = (parser_8, 256, fieldsig_8);;
+let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.x86_64" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.24-7.fc9.i586" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.24-7.fc9.i686" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.24-7.fc9.ppc" v map;;
+let v = (parser_13, 224, fieldsig_13);;
+let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;;
+let v = (parser_8, 256, fieldsig_8);;
+let map = StringMap.add "2.6.24-7.fc9.x86_64" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.24-9.fc9.i586" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.24-9.fc9.i686" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.24-9.fc9.ppc" v map;;
+let v = (parser_13, 224, fieldsig_13);;
+let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;;
+let v = (parser_8, 256, fieldsig_8);;
+let map = StringMap.add "2.6.24-9.fc9.x86_64" v map;;
+let v = (parser_1, 128, fieldsig_1);;
+let map = StringMap.add "2.6.25.11-97.fc9.i686" v map;;
+let v = (parser_17, 200, fieldsig_17);;
+let map = StringMap.add "2.6.25.11-97.fc9.x86_64" v map;;
+let v = (parser_1, 128, fieldsig_1);;
+let map = StringMap.add "2.6.25.14-69.fc8.i586" v map;;
+let v = (parser_1, 128, fieldsig_1);;
+let map = StringMap.add "2.6.25.14-69.fc8.i686" v map;;
+let v = (parser_16, 200, fieldsig_16);;
+let map = StringMap.add "2.6.25.14-69.fc8.ppc64" v map;;
+let v = (parser_1, 128, fieldsig_1);;
+let map = StringMap.add "2.6.26.1-9.fc9.i586" v map;;
+let v = (parser_1, 128, fieldsig_1);;
+let map = StringMap.add "2.6.26.1-9.fc9.i686" v map;;
+let v = (parser_15, 124, fieldsig_15);;
+let map = StringMap.add "2.6.26.1-9.fc9.ppc" v map;;
+let v = (parser_16, 200, fieldsig_16);;
+let map = StringMap.add "2.6.26.1-9.fc9.ppc64" v map;;
+let v = (parser_17, 200, fieldsig_17);;
+let map = StringMap.add "2.6.26.1-9.fc9.x86_64" v map;;
+let v = (parser_1, 128, fieldsig_1);;
+let map = StringMap.add "2.6.26.2-2.fc8.i586" v map;;
+let v = (parser_1, 128, fieldsig_1);;
+let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
+let v = (parser_15, 124, fieldsig_15);;
+let map = StringMap.add "2.6.26.2-2.fc8.ppc" v map;;
+let v = (parser_16, 200, fieldsig_16);;
+let map = StringMap.add "2.6.26.2-2.fc8.ppc64" v map;;
+let v = (parser_17, 200, fieldsig_17);;
+let map = StringMap.add "2.6.26.2-2.fc8.x86_64" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.27-0.225.rc1.git5.fc10.i586" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.27-0.225.rc1.git5.fc10.i686" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.27-0.225.rc1.git5.fc10.ppc" v map;;
+let v = (parser_18, 256, fieldsig_18);;
+let map = StringMap.add "2.6.27-0.225.rc1.git5.fc10.ppc64" v map;;
+let v = (parser_8, 256, fieldsig_8);;
+let map = StringMap.add "2.6.27-0.225.rc1.git5.fc10.x86_64" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.27-0.226.rc1.git5.fc10.i586" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.27-0.226.rc1.git5.fc10.i686" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.27-0.226.rc1.git5.fc10.ppc" v map;;
+let v = (parser_18, 256, fieldsig_18);;
+let map = StringMap.add "2.6.27-0.226.rc1.git5.fc10.ppc64" v map;;
+let v = (parser_8, 256, fieldsig_8);;
+let map = StringMap.add "2.6.27-0.226.rc1.git5.fc10.x86_64" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.i586" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.i686" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.ppc" v map;;
+let v = (parser_18, 256, fieldsig_18);;
+let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.ppc64" v map;;
+let v = (parser_8, 256, fieldsig_8);;
+let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.x86_64" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.27-0.237.rc2.fc10.i586" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.27-0.237.rc2.fc10.i686" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.27-0.237.rc2.fc10.ppc" v map;;
+let v = (parser_18, 256, fieldsig_18);;
+let map = StringMap.add "2.6.27-0.237.rc2.fc10.ppc64" v map;;
+let v = (parser_8, 256, fieldsig_8);;
+let map = StringMap.add "2.6.27-0.237.rc2.fc10.x86_64" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.27-0.238.rc2.fc10.i586" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.27-0.238.rc2.fc10.i686" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.27-0.238.rc2.fc10.ppc" v map;;
+let v = (parser_18, 256, fieldsig_18);;
+let map = StringMap.add "2.6.27-0.238.rc2.fc10.ppc64" v map;;
+let v = (parser_8, 256, fieldsig_8);;
+let map = StringMap.add "2.6.27-0.238.rc2.fc10.x86_64" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.i586" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.i686" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.ppc" v map;;
+let v = (parser_18, 256, fieldsig_18);;
+let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.ppc64" v map;;
+let v = (parser_8, 256, fieldsig_8);;
+let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.x86_64" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.i586" v map;;
+let v = (parser_3, 156, fieldsig_3);;
+let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.i686" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc" v map;;
+let v = (parser_18, 256, fieldsig_18);;
+let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc64" v map;;
+let v = (parser_8, 256, fieldsig_8);;
+let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.x86_64" v map;;
+let v = (parser_4, 116, fieldsig_4);;
+let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
+let v = (parser_10, 192, fieldsig_10);;
+let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;;
+let v = (parser_10, 192, fieldsig_10);;
+let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;;
+let v = (parser_11, 192, fieldsig_11);;
+let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
+let v = (parser_4, 116, fieldsig_4);;
+let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
+let v = (parser_10, 192, fieldsig_10);;
+let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;;
+let v = (parser_11, 192, fieldsig_11);;
+let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
+let v = (parser_13, 224, fieldsig_13);;
+let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;;
+let v = (parser_19, 272, fieldsig_19);;
+let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;;
+let v = (parser_13, 224, fieldsig_13);;
+let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;;
+let v = (parser_19, 272, fieldsig_19);;
+let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;;
+let v = (parser_13, 224, fieldsig_13);;
+let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;;
+let v = (parser_19, 272, fieldsig_19);;
+let map = StringMap.add "2.6.21-1.3141.fc7.x86_64" v map;;
+let v = (parser_13, 224, fieldsig_13);;
+let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;;
+let v = (parser_19, 272, fieldsig_19);;
+let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;;
+let v = (parser_13, 224, fieldsig_13);;
+let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;;
+let v = (parser_14, 224, fieldsig_14);;
+let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
+let v = (parser_13, 224, fieldsig_13);;
+let map = StringMap.add "2.6.21-1.3190.fc7.ppc64" v map;;
+let v = (parser_14, 224, fieldsig_14);;
+let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;;
+let v = (parser_13, 224, fieldsig_13);;
+let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;;
+let v = (parser_13, 224, fieldsig_13);;
+let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;;
+let v = (parser_13, 224, fieldsig_13);;
+let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;;
+let v = (parser_16, 200, fieldsig_16);;
+let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;;
+let v = (parser_11, 192, fieldsig_11);;
+let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
+let v = (parser_13, 224, fieldsig_13);;
+let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;;
+let v = (parser_13, 224, fieldsig_13);;
+let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;;
+let v = (parser_13, 224, fieldsig_13);;
+let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;;
+let v = (parser_13, 224, fieldsig_13);;
+let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;;
+let v = (parser_13, 224, fieldsig_13);;
+let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;;
+let v = (parser_13, 224, fieldsig_13);;
+let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;;
+let v = (parser_16, 200, fieldsig_16);;
+let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;;
+let v = (parser_16, 200, fieldsig_16);;
+let map = StringMap.add "2.6.23.14-78.fc7.ppc64" v map;;
+let v = (parser_13, 224, fieldsig_13);;
+let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;;
+let v = (parser_13, 224, fieldsig_13);;
+let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;;
+let v = (parser_13, 224, fieldsig_13);;
+let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;;
+let v = (parser_16, 200, fieldsig_16);;
+let map = StringMap.add "2.6.25.14-69.fc8.ppc64" v map;;
+let v = (parser_16, 200, fieldsig_16);;
+let map = StringMap.add "2.6.26.1-9.fc9.ppc64" v map;;
+let v = (parser_16, 200, fieldsig_16);;
+let map = StringMap.add "2.6.26.2-2.fc8.ppc64" v map;;
+let v = (parser_18, 256, fieldsig_18);;
+let map = StringMap.add "2.6.27-0.225.rc1.git5.fc10.ppc64" v map;;
+let v = (parser_18, 256, fieldsig_18);;
+let map = StringMap.add "2.6.27-0.226.rc1.git5.fc10.ppc64" v map;;
+let v = (parser_18, 256, fieldsig_18);;
+let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.ppc64" v map;;
+let v = (parser_18, 256, fieldsig_18);;
+let map = StringMap.add "2.6.27-0.237.rc2.fc10.ppc64" v map;;
+let v = (parser_18, 256, fieldsig_18);;
+let map = StringMap.add "2.6.27-0.238.rc2.fc10.ppc64" v map;;
+let v = (parser_18, 256, fieldsig_18);;
+let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.ppc64" v map;;
+let v = (parser_18, 256, fieldsig_18);;
+let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc64" v map;;
+let v = (parser_9, 116, fieldsig_9);;
+let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;;
+let v = (parser_9, 116, fieldsig_9);;
+let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.21-1.3190.fc7.ppc" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;;
+let v = (parser_20, 128, fieldsig_20);;
+let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;;
+let v = (parser_20, 128, fieldsig_20);;
+let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;;
+let v = (parser_20, 128, fieldsig_20);;
+let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.24-7.fc9.ppc" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.24-9.fc9.ppc" v map;;
+let v = (parser_20, 128, fieldsig_20);;
+let map = StringMap.add "2.6.26.1-9.fc9.ppc" v map;;
+let v = (parser_20, 128, fieldsig_20);;
+let map = StringMap.add "2.6.26.2-2.fc8.ppc" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.27-0.225.rc1.git5.fc10.ppc" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.27-0.226.rc1.git5.fc10.ppc" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.ppc" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.27-0.237.rc2.fc10.ppc" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.27-0.238.rc2.fc10.ppc" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.ppc" v map;;
+let v = (parser_12, 140, fieldsig_12);;
+let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc" v map;;
+let v = (parser_4, 116, fieldsig_4);;
+let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
+let v = (parser_11, 192, fieldsig_11);;
+let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
+let v = (parser_4, 116, fieldsig_4);;
+let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
+let v = (parser_11, 192, fieldsig_11);;
+let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
+type kernel_version = string;;
+let inet6_ifaddr_known version = StringMap.mem version map;;
+let inet6_ifaddr_size version =
+ let (_, size, _) = StringMap.find version map in size;;
+let inet6_ifaddr_of_bits version bits =
+ let (parsefn, _, _) = StringMap.find version map in parsefn bits;;
+let get_inet6_ifaddr 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_ifaddr_prefix_len version =
+ let (_, _, fs) = StringMap.find version map
+ in fs.__fs_inet6_ifaddr_prefix_len;;
+let field_signature_of_inet6_ifaddr_lst_next version =
+ let (_, _, fs) = StringMap.find version map
+ in fs.__fs_inet6_ifaddr_lst_next;;