From: Richard W.M. Jones <"Richard W.M. Jones "> Date: Sun, 10 Aug 2008 22:44:34 +0000 (+0100) Subject: Update kerneldb. X-Git-Url: http://git.annexia.org/?p=virt-mem.git;a=commitdiff_plain;h=6a9ef09747fe85ca7f69c3c9e08c1372db62b90e;hp=0a354dd8e7e1fc5853af75d76de772e31f4a7901 Update kerneldb. --- diff --git a/extract/fedora-koji/fedora_koji_download_kernels.ml b/extract/fedora-koji/fedora_koji_download_kernels.ml index 89879e4..57abfd3 100644 --- a/extract/fedora-koji/fedora_koji_download_kernels.ml +++ b/extract/fedora-koji/fedora_koji_download_kernels.ml @@ -197,6 +197,13 @@ let main outputdir = let nr_builds = List.length builds in printf "%d kernel builds found on Koji.\n%!" nr_builds; + (* Sort the builds by build ID in reverse, so that we tend to download + * the most recent kernels first. + *) + let builds = + let cmp { build_id = id1 } { build_id = id2 } = compare id2 id1 in + List.sort ~cmp builds in + List.iteri ( fun i build -> printf "Build %d/%d: %s\n" (i+1) nr_builds (string_of_build build); diff --git a/kernels/kernel-PAE-debug-debuginfo-2.6.26.2-2.fc8.i686.rpm.data.bz2 b/kernels/kernel-PAE-debug-debuginfo-2.6.26.2-2.fc8.i686.rpm.data.bz2 new file mode 100644 index 0000000..b238a84 Binary files /dev/null and b/kernels/kernel-PAE-debug-debuginfo-2.6.26.2-2.fc8.i686.rpm.data.bz2 differ diff --git a/kernels/kernel-PAE-debug-debuginfo-2.6.26.2-2.fc8.i686.rpm.info b/kernels/kernel-PAE-debug-debuginfo-2.6.26.2-2.fc8.i686.rpm.info new file mode 100644 index 0000000..5225bd5 --- /dev/null +++ b/kernels/kernel-PAE-debug-debuginfo-2.6.26.2-2.fc8.i686.rpm.info @@ -0,0 +1,23 @@ +Source: fedora-koji +Distribution: Fedora +RPM_id: 701546 +RPM_build_id: 59084 +Name: kernel-PAE-debug-debuginfo +Version: 2.6.26.2 +Release: 2.fc8 +Architecture: i686 +RPM_size: 248955096 + +Name : kernel-PAE-debug-debuginfo Relocations: (not relocatable) +Version : 2.6.26.2 Vendor: Fedora Project +Release : 2.fc8 Build Date: Sat 09 Aug 2008 06:10:17 PM BST +Install Date: (not installed) Build Host: x86-1 +Group : Development/Debug Source RPM: kernel-2.6.26.2-2.fc8.src.rpm +Size : 598319273 License: GPLv2 +Signature : (none) +Packager : Fedora Project +URL : http://www.kernel.org/ +Summary : Debug information for package kernel-PAE-debug +Description : +This package provides debug information for package kernel-PAE-debug. +This is required to use SystemTap with kernel-PAE-debug-2.6.26.2-2.fc8. diff --git a/kernels/kernel-PAE-debuginfo-2.6.26.2-2.fc8.i686.rpm.data.bz2 b/kernels/kernel-PAE-debuginfo-2.6.26.2-2.fc8.i686.rpm.data.bz2 new file mode 100644 index 0000000..931c4c8 Binary files /dev/null and b/kernels/kernel-PAE-debuginfo-2.6.26.2-2.fc8.i686.rpm.data.bz2 differ diff --git a/kernels/kernel-PAE-debuginfo-2.6.26.2-2.fc8.i686.rpm.info b/kernels/kernel-PAE-debuginfo-2.6.26.2-2.fc8.i686.rpm.info new file mode 100644 index 0000000..ddc08d3 --- /dev/null +++ b/kernels/kernel-PAE-debuginfo-2.6.26.2-2.fc8.i686.rpm.info @@ -0,0 +1,23 @@ +Source: fedora-koji +Distribution: Fedora +RPM_id: 701543 +RPM_build_id: 59084 +Name: kernel-PAE-debuginfo +Version: 2.6.26.2 +Release: 2.fc8 +Architecture: i686 +RPM_size: 239991050 + +Name : kernel-PAE-debuginfo Relocations: (not relocatable) +Version : 2.6.26.2 Vendor: Fedora Project +Release : 2.fc8 Build Date: Sat 09 Aug 2008 06:10:17 PM BST +Install Date: (not installed) Build Host: x86-1 +Group : Development/Debug Source RPM: kernel-2.6.26.2-2.fc8.src.rpm +Size : 578986496 License: GPLv2 +Signature : (none) +Packager : Fedora Project +URL : http://www.kernel.org/ +Summary : Debug information for package kernel-PAE +Description : +This package provides debug information for package kernel-PAE. +This is required to use SystemTap with kernel-PAE-2.6.26.2-2.fc8. diff --git a/kernels/kernel-debug-debuginfo-2.6.26.2-2.fc8.i686.rpm.data.bz2 b/kernels/kernel-debug-debuginfo-2.6.26.2-2.fc8.i686.rpm.data.bz2 new file mode 100644 index 0000000..21a20fd Binary files /dev/null and b/kernels/kernel-debug-debuginfo-2.6.26.2-2.fc8.i686.rpm.data.bz2 differ diff --git a/kernels/kernel-debug-debuginfo-2.6.26.2-2.fc8.i686.rpm.info b/kernels/kernel-debug-debuginfo-2.6.26.2-2.fc8.i686.rpm.info new file mode 100644 index 0000000..71da85a --- /dev/null +++ b/kernels/kernel-debug-debuginfo-2.6.26.2-2.fc8.i686.rpm.info @@ -0,0 +1,23 @@ +Source: fedora-koji +Distribution: Fedora +RPM_id: 701549 +RPM_build_id: 59084 +Name: kernel-debug-debuginfo +Version: 2.6.26.2 +Release: 2.fc8 +Architecture: i686 +RPM_size: 248577936 + +Name : kernel-debug-debuginfo Relocations: (not relocatable) +Version : 2.6.26.2 Vendor: Fedora Project +Release : 2.fc8 Build Date: Sat 09 Aug 2008 06:10:17 PM BST +Install Date: (not installed) Build Host: x86-1 +Group : Development/Debug Source RPM: kernel-2.6.26.2-2.fc8.src.rpm +Size : 597719170 License: GPLv2 +Signature : (none) +Packager : Fedora Project +URL : http://www.kernel.org/ +Summary : Debug information for package kernel-debug +Description : +This package provides debug information for package kernel-debug. +This is required to use SystemTap with kernel-debug-2.6.26.2-2.fc8. diff --git a/kernels/kernel-debug-debuginfo-2.6.26.2-2.fc8.x86_64.rpm.data.bz2 b/kernels/kernel-debug-debuginfo-2.6.26.2-2.fc8.x86_64.rpm.data.bz2 new file mode 100644 index 0000000..89728d7 Binary files /dev/null and b/kernels/kernel-debug-debuginfo-2.6.26.2-2.fc8.x86_64.rpm.data.bz2 differ diff --git a/kernels/kernel-debug-debuginfo-2.6.26.2-2.fc8.x86_64.rpm.info b/kernels/kernel-debug-debuginfo-2.6.26.2-2.fc8.x86_64.rpm.info new file mode 100644 index 0000000..cad009e --- /dev/null +++ b/kernels/kernel-debug-debuginfo-2.6.26.2-2.fc8.x86_64.rpm.info @@ -0,0 +1,23 @@ +Source: fedora-koji +Distribution: Fedora +RPM_id: 701524 +RPM_build_id: 59084 +Name: kernel-debug-debuginfo +Version: 2.6.26.2 +Release: 2.fc8 +Architecture: x86_64 +RPM_size: 241172112 + +Name : kernel-debug-debuginfo Relocations: (not relocatable) +Version : 2.6.26.2 Vendor: Fedora Project +Release : 2.fc8 Build Date: Sat 09 Aug 2008 05:44:01 PM BST +Install Date: (not installed) Build Host: x86-6 +Group : Development/Debug Source RPM: kernel-2.6.26.2-2.fc8.src.rpm +Size : 790296397 License: GPLv2 +Signature : (none) +Packager : Fedora Project +URL : http://www.kernel.org/ +Summary : Debug information for package kernel-debug +Description : +This package provides debug information for package kernel-debug. +This is required to use SystemTap with kernel-debug-2.6.26.2-2.fc8. diff --git a/kernels/kernel-debuginfo-2.6.26.2-2.fc8.i586.rpm.data.bz2 b/kernels/kernel-debuginfo-2.6.26.2-2.fc8.i586.rpm.data.bz2 new file mode 100644 index 0000000..7d0fa74 Binary files /dev/null and b/kernels/kernel-debuginfo-2.6.26.2-2.fc8.i586.rpm.data.bz2 differ diff --git a/kernels/kernel-debuginfo-2.6.26.2-2.fc8.i586.rpm.info b/kernels/kernel-debuginfo-2.6.26.2-2.fc8.i586.rpm.info new file mode 100644 index 0000000..3b55763 --- /dev/null +++ b/kernels/kernel-debuginfo-2.6.26.2-2.fc8.i586.rpm.info @@ -0,0 +1,23 @@ +Source: fedora-koji +Distribution: Fedora +RPM_id: 701528 +RPM_build_id: 59084 +Name: kernel-debuginfo +Version: 2.6.26.2 +Release: 2.fc8 +Architecture: i586 +RPM_size: 238769836 + +Name : kernel-debuginfo Relocations: (not relocatable) +Version : 2.6.26.2 Vendor: Fedora Project +Release : 2.fc8 Build Date: Sat 09 Aug 2008 05:26:56 PM BST +Install Date: (not installed) Build Host: x86-4 +Group : Development/Debug Source RPM: kernel-2.6.26.2-2.fc8.src.rpm +Size : 576394714 License: GPLv2 +Signature : (none) +Packager : Fedora Project +URL : http://www.kernel.org/ +Summary : Debug information for package kernel +Description : +This package provides debug information for package kernel. +This is required to use SystemTap with kernel-2.6.26.2-2.fc8. diff --git a/kernels/kernel-debuginfo-2.6.26.2-2.fc8.i686.rpm.data.bz2 b/kernels/kernel-debuginfo-2.6.26.2-2.fc8.i686.rpm.data.bz2 new file mode 100644 index 0000000..ae76cd8 Binary files /dev/null and b/kernels/kernel-debuginfo-2.6.26.2-2.fc8.i686.rpm.data.bz2 differ diff --git a/kernels/kernel-debuginfo-2.6.26.2-2.fc8.i686.rpm.info b/kernels/kernel-debuginfo-2.6.26.2-2.fc8.i686.rpm.info new file mode 100644 index 0000000..535ddda --- /dev/null +++ b/kernels/kernel-debuginfo-2.6.26.2-2.fc8.i686.rpm.info @@ -0,0 +1,23 @@ +Source: fedora-koji +Distribution: Fedora +RPM_id: 701540 +RPM_build_id: 59084 +Name: kernel-debuginfo +Version: 2.6.26.2 +Release: 2.fc8 +Architecture: i686 +RPM_size: 239580805 + +Name : kernel-debuginfo Relocations: (not relocatable) +Version : 2.6.26.2 Vendor: Fedora Project +Release : 2.fc8 Build Date: Sat 09 Aug 2008 06:10:17 PM BST +Install Date: (not installed) Build Host: x86-1 +Group : Development/Debug Source RPM: kernel-2.6.26.2-2.fc8.src.rpm +Size : 578317358 License: GPLv2 +Signature : (none) +Packager : Fedora Project +URL : http://www.kernel.org/ +Summary : Debug information for package kernel +Description : +This package provides debug information for package kernel. +This is required to use SystemTap with kernel-2.6.26.2-2.fc8. diff --git a/kernels/kernel-debuginfo-2.6.26.2-2.fc8.ppc64.rpm.data.bz2 b/kernels/kernel-debuginfo-2.6.26.2-2.fc8.ppc64.rpm.data.bz2 new file mode 100644 index 0000000..5044f98 Binary files /dev/null and b/kernels/kernel-debuginfo-2.6.26.2-2.fc8.ppc64.rpm.data.bz2 differ diff --git a/kernels/kernel-debuginfo-2.6.26.2-2.fc8.ppc64.rpm.info b/kernels/kernel-debuginfo-2.6.26.2-2.fc8.ppc64.rpm.info new file mode 100644 index 0000000..567123e --- /dev/null +++ b/kernels/kernel-debuginfo-2.6.26.2-2.fc8.ppc64.rpm.info @@ -0,0 +1,23 @@ +Source: fedora-koji +Distribution: Fedora +RPM_id: 701533 +RPM_build_id: 59084 +Name: kernel-debuginfo +Version: 2.6.26.2 +Release: 2.fc8 +Architecture: ppc64 +RPM_size: 310970727 + +Name : kernel-debuginfo Relocations: (not relocatable) +Version : 2.6.26.2 Vendor: Fedora Project +Release : 2.fc8 Build Date: Sat 09 Aug 2008 06:49:13 PM BST +Install Date: (not installed) Build Host: ppc4.fedora.phx.redhat.com +Group : Development/Debug Source RPM: kernel-2.6.26.2-2.fc8.src.rpm +Size : 868627010 License: GPLv2 +Signature : (none) +Packager : Fedora Project +URL : http://www.kernel.org/ +Summary : Debug information for package kernel +Description : +This package provides debug information for package kernel. +This is required to use SystemTap with kernel-2.6.26.2-2.fc8. diff --git a/kernels/kernel-kdump-debuginfo-2.6.26.2-2.fc8.ppc64.rpm.data.bz2 b/kernels/kernel-kdump-debuginfo-2.6.26.2-2.fc8.ppc64.rpm.data.bz2 new file mode 100644 index 0000000..8f148ec Binary files /dev/null and b/kernels/kernel-kdump-debuginfo-2.6.26.2-2.fc8.ppc64.rpm.data.bz2 differ diff --git a/kernels/kernel-kdump-debuginfo-2.6.26.2-2.fc8.ppc64.rpm.info b/kernels/kernel-kdump-debuginfo-2.6.26.2-2.fc8.ppc64.rpm.info new file mode 100644 index 0000000..e8d2681 --- /dev/null +++ b/kernels/kernel-kdump-debuginfo-2.6.26.2-2.fc8.ppc64.rpm.info @@ -0,0 +1,23 @@ +Source: fedora-koji +Distribution: Fedora +RPM_id: 701536 +RPM_build_id: 59084 +Name: kernel-kdump-debuginfo +Version: 2.6.26.2 +Release: 2.fc8 +Architecture: ppc64 +RPM_size: 311051512 + +Name : kernel-kdump-debuginfo Relocations: (not relocatable) +Version : 2.6.26.2 Vendor: Fedora Project +Release : 2.fc8 Build Date: Sat 09 Aug 2008 06:49:13 PM BST +Install Date: (not installed) Build Host: ppc4.fedora.phx.redhat.com +Group : Development/Debug Source RPM: kernel-2.6.26.2-2.fc8.src.rpm +Size : 868692553 License: GPLv2 +Signature : (none) +Packager : Fedora Project +URL : http://www.kernel.org/ +Summary : Debug information for package kernel-kdump +Description : +This package provides debug information for package kernel-kdump. +This is required to use SystemTap with kernel-kdump-2.6.26.2-2.fc8. diff --git a/lib/kernel_net_device.ml b/lib/kernel_net_device.ml index 223aa68..72a29a0 100644 --- a/lib/kernel_net_device.ml +++ b/lib/kernel_net_device.ml @@ -24,7 +24,7 @@ let parser_2 bits = let parser_3 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; - net_device_dev_addr : 256 : offset(2528), string } -> + net_device_dev_addr : 256 : offset(2560), string } -> { net_device_name = net_device_name; net_device_dev_addr = net_device_dev_addr } | { _ } -> @@ -32,7 +32,7 @@ let parser_3 bits = let parser_4 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; - net_device_dev_addr : 256 : offset(3392), string } -> + net_device_dev_addr : 256 : offset(2528), string } -> { net_device_name = net_device_name; net_device_dev_addr = net_device_dev_addr } | { _ } -> @@ -40,7 +40,7 @@ let parser_4 bits = let parser_5 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; - net_device_dev_addr : 256 : offset(4416), string } -> + net_device_dev_addr : 256 : offset(3392), string } -> { net_device_name = net_device_name; net_device_dev_addr = net_device_dev_addr } | { _ } -> @@ -48,7 +48,7 @@ let parser_5 bits = let parser_6 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; - net_device_dev_addr : 256 : offset(1728), string } -> + net_device_dev_addr : 256 : offset(4416), string } -> { net_device_name = net_device_name; net_device_dev_addr = net_device_dev_addr } | { _ } -> @@ -56,7 +56,7 @@ let parser_6 bits = let parser_7 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; - net_device_dev_addr : 256 : offset(3392), string } -> + net_device_dev_addr : 256 : offset(4288), string } -> { net_device_name = net_device_name; net_device_dev_addr = net_device_dev_addr } | { _ } -> @@ -64,7 +64,7 @@ let parser_7 bits = let parser_8 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; - net_device_dev_addr : 256 : offset(1696), string } -> + net_device_dev_addr : 256 : offset(1728), string } -> { net_device_name = net_device_name; net_device_dev_addr = net_device_dev_addr } | { _ } -> @@ -72,7 +72,7 @@ let parser_8 bits = let parser_9 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; - net_device_dev_addr : 256 : offset(2496), string } -> + net_device_dev_addr : 256 : offset(3392), string } -> { net_device_name = net_device_name; net_device_dev_addr = net_device_dev_addr } | { _ } -> @@ -80,7 +80,7 @@ let parser_9 bits = let parser_10 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; - net_device_dev_addr : 256 : offset(4416), string } -> + net_device_dev_addr : 256 : offset(1696), string } -> { net_device_name = net_device_name; net_device_dev_addr = net_device_dev_addr } | { _ } -> @@ -88,7 +88,7 @@ let parser_10 bits = let parser_11 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; - net_device_dev_addr : 256 : offset(2592), string } -> + net_device_dev_addr : 256 : offset(2496), string } -> { net_device_name = net_device_name; net_device_dev_addr = net_device_dev_addr } | { _ } -> @@ -96,7 +96,7 @@ let parser_11 bits = let parser_12 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; - net_device_dev_addr : 256 : offset(2528), string } -> + net_device_dev_addr : 256 : offset(4416), string } -> { net_device_name = net_device_name; net_device_dev_addr = net_device_dev_addr } | { _ } -> @@ -104,7 +104,7 @@ let parser_12 bits = let parser_13 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; - net_device_dev_addr : 256 : offset(4288), string } -> + net_device_dev_addr : 256 : offset(2592), string } -> { net_device_name = net_device_name; net_device_dev_addr = net_device_dev_addr } | { _ } -> @@ -112,7 +112,7 @@ let parser_13 bits = let parser_14 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; - net_device_dev_addr : 256 : offset(4288), string } -> + net_device_dev_addr : 256 : offset(2528), string } -> { net_device_name = net_device_name; net_device_dev_addr = net_device_dev_addr } | { _ } -> @@ -120,7 +120,7 @@ let parser_14 bits = let parser_15 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; - net_device_dev_addr : 256 : offset(1728), string } -> + net_device_dev_addr : 256 : offset(4288), string } -> { net_device_name = net_device_name; net_device_dev_addr = net_device_dev_addr } | { _ } -> @@ -128,7 +128,7 @@ let parser_15 bits = let parser_16 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; - net_device_dev_addr : 256 : offset(2688), string } -> + net_device_dev_addr : 256 : offset(1728), string } -> { net_device_name = net_device_name; net_device_dev_addr = net_device_dev_addr } | { _ } -> @@ -136,7 +136,7 @@ let parser_16 bits = let parser_17 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; - net_device_dev_addr : 256 : offset(1696), string } -> + net_device_dev_addr : 256 : offset(2688), string } -> { net_device_name = net_device_name; net_device_dev_addr = net_device_dev_addr } | { _ } -> @@ -144,7 +144,7 @@ let parser_17 bits = let parser_18 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; - net_device_dev_addr : 256 : offset(2624), string } -> + net_device_dev_addr : 256 : offset(1696), string } -> { net_device_name = net_device_name; net_device_dev_addr = net_device_dev_addr } | { _ } -> @@ -152,11 +152,19 @@ let parser_18 bits = let parser_19 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; - net_device_dev_addr : 256 : offset(2752), string } -> + net_device_dev_addr : 256 : offset(2624), string } -> { net_device_name = net_device_name; net_device_dev_addr = net_device_dev_addr } | { _ } -> raise (ParseError (struct_name, "parser_19", match_err));; +let parser_20 bits = + bitmatch bits with + | { net_device_name : 128 : offset(0), string; + net_device_dev_addr : 256 : offset(2752), string } -> + { net_device_name = net_device_name; + net_device_dev_addr = net_device_dev_addr } + | { _ } -> + raise (ParseError (struct_name, "parser_20", match_err));; module StringMap = Map.Make(String);; let map = StringMap.empty;; let v = (parser_1, 924);; @@ -171,6 +179,8 @@ let v = (parser_2, 1444);; let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;; let v = (parser_2, 1444);; let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;; +let v = (parser_3, 1384);; +let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;; let v = (parser_1, 912);; let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;; let v = (parser_1, 1284);; @@ -209,381 +219,395 @@ let v = (parser_2, 1248);; let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;; let v = (parser_2, 1248);; let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;; -let v = (parser_3, 1244);; +let v = (parser_4, 1244);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;; -let v = (parser_3, 1244);; +let v = (parser_4, 1244);; let map = StringMap.add "2.6.24-7.fc9.i686" v map;; -let v = (parser_3, 1244);; +let v = (parser_4, 1244);; let map = StringMap.add "2.6.24-9.fc9.i686" v map;; +let v = (parser_3, 1216);; +let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;; let v = (parser_1, 924);; let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;; -let v = (parser_4, 1540);; +let v = (parser_5, 1540);; let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;; let v = (parser_1, 1284);; let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;; -let v = (parser_4, 2196);; +let v = (parser_5, 2196);; let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;; let v = (parser_1, 1284);; let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;; -let v = (parser_4, 2196);; +let v = (parser_5, 2196);; let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;; let v = (parser_1, 1284);; let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;; -let v = (parser_4, 2196);; +let v = (parser_5, 2196);; let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;; let v = (parser_2, 1444);; let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;; -let v = (parser_5, 2392);; +let v = (parser_6, 2392);; let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;; -let v = (parser_5, 2392);; +let v = (parser_6, 2392);; let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;; +let v = (parser_3, 1384);; +let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;; +let v = (parser_7, 2304);; +let map = StringMap.add "2.6.26.2-2.fc8.x86_64" v map;; let v = (parser_1, 912);; let map = StringMap.add "2.6.18-1.2798.fc6.i586" v map;; let v = (parser_1, 912);; let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;; -let v = (parser_6, 672);; +let v = (parser_8, 672);; let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;; -let v = (parser_7, 1260);; +let v = (parser_9, 1260);; let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;; -let v = (parser_7, 1260);; +let v = (parser_9, 1260);; let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;; -let v = (parser_4, 1260);; +let v = (parser_5, 1260);; let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;; let v = (parser_1, 912);; let map = StringMap.add "2.6.20-1.2933.fc6.i586" v map;; let v = (parser_1, 912);; let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;; -let v = (parser_8, 668);; +let v = (parser_10, 668);; let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;; -let v = (parser_7, 1260);; +let v = (parser_9, 1260);; let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;; -let v = (parser_4, 1260);; +let v = (parser_5, 1260);; let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;; let v = (parser_1, 1284);; let map = StringMap.add "2.6.21-1.3128.fc7.i586" v map;; let v = (parser_1, 1284);; let map = StringMap.add "2.6.21-1.3128.fc7.i686" v map;; -let v = (parser_6, 996);; +let v = (parser_8, 996);; let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;; -let v = (parser_7, 1924);; +let v = (parser_9, 1924);; let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;; -let v = (parser_4, 2196);; +let v = (parser_5, 2196);; let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;; let v = (parser_1, 1284);; let map = StringMap.add "2.6.21-1.3132.fc7.i586" v map;; let v = (parser_1, 1284);; let map = StringMap.add "2.6.21-1.3132.fc7.i686" v map;; -let v = (parser_6, 996);; +let v = (parser_8, 996);; let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;; -let v = (parser_7, 1924);; +let v = (parser_9, 1924);; let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;; -let v = (parser_4, 2196);; +let v = (parser_5, 2196);; let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;; let v = (parser_1, 1284);; let map = StringMap.add "2.6.21-1.3141.fc7.i586" v map;; let v = (parser_1, 1284);; let map = StringMap.add "2.6.21-1.3141.fc7.i686" v map;; -let v = (parser_6, 996);; +let v = (parser_8, 996);; let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;; -let v = (parser_7, 1924);; +let v = (parser_9, 1924);; let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;; -let v = (parser_4, 2196);; +let v = (parser_5, 2196);; let map = StringMap.add "2.6.21-1.3141.fc7.x86_64" v map;; let v = (parser_1, 1284);; let map = StringMap.add "2.6.21-1.3144.fc7.i586" v map;; let v = (parser_1, 1284);; let map = StringMap.add "2.6.21-1.3144.fc7.i686" v map;; -let v = (parser_6, 996);; +let v = (parser_8, 996);; let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;; -let v = (parser_7, 1924);; +let v = (parser_9, 1924);; let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;; -let v = (parser_4, 2196);; +let v = (parser_5, 2196);; let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;; let v = (parser_1, 1200);; let map = StringMap.add "2.6.21-1.3145.fc7.i586" v map;; let v = (parser_1, 1200);; let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;; -let v = (parser_6, 996);; +let v = (parser_8, 996);; let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;; -let v = (parser_7, 1924);; +let v = (parser_9, 1924);; let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;; -let v = (parser_4, 1900);; +let v = (parser_5, 1900);; let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;; let v = (parser_1, 1200);; let map = StringMap.add "2.6.21-1.3190.fc7.i586" v map;; let v = (parser_1, 1200);; let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;; -let v = (parser_6, 996);; +let v = (parser_8, 996);; let map = StringMap.add "2.6.21-1.3190.fc7.ppc" v map;; -let v = (parser_7, 1924);; +let v = (parser_9, 1924);; let map = StringMap.add "2.6.21-1.3190.fc7.ppc64" v map;; -let v = (parser_4, 1900);; +let v = (parser_5, 1900);; let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;; let v = (parser_2, 1408);; let map = StringMap.add "2.6.21-1.3209.fc8.i586" v map;; let v = (parser_2, 1408);; let map = StringMap.add "2.6.21-1.3209.fc8.i686" v map;; -let v = (parser_9, 1092);; +let v = (parser_11, 1092);; let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;; -let v = (parser_10, 2044);; +let v = (parser_12, 2044);; let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;; -let v = (parser_5, 2316);; +let v = (parser_6, 2316);; let map = StringMap.add "2.6.21-1.3209.fc8.x86_64" v map;; let v = (parser_2, 1408);; let map = StringMap.add "2.6.21-1.3218.fc8.i586" v map;; let v = (parser_2, 1408);; let map = StringMap.add "2.6.21-1.3218.fc8.i686" v map;; -let v = (parser_9, 1092);; +let v = (parser_11, 1092);; let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;; -let v = (parser_10, 2044);; +let v = (parser_12, 2044);; let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;; -let v = (parser_5, 2316);; +let v = (parser_6, 2316);; let map = StringMap.add "2.6.21-1.3218.fc8.x86_64" v map;; let v = (parser_2, 1408);; let map = StringMap.add "2.6.21-1.3221.fc8.i586" v map;; let v = (parser_2, 1408);; let map = StringMap.add "2.6.21-1.3221.fc8.i686" v map;; -let v = (parser_9, 1092);; +let v = (parser_11, 1092);; let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;; -let v = (parser_10, 2044);; +let v = (parser_12, 2044);; let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;; -let v = (parser_5, 2316);; +let v = (parser_6, 2316);; let map = StringMap.add "2.6.21-1.3221.fc8.x86_64" v map;; let v = (parser_1, 1116);; let map = StringMap.add "2.6.21-1.3228.fc7.i586" v map;; let v = (parser_1, 1116);; let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;; -let v = (parser_6, 836);; +let v = (parser_8, 836);; let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;; -let v = (parser_7, 1684);; +let v = (parser_9, 1684);; let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;; -let v = (parser_4, 1660);; +let v = (parser_5, 1660);; let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;; let v = (parser_2, 1408);; let map = StringMap.add "2.6.21-1.3234.fc8.i686" v map;; -let v = (parser_9, 1092);; +let v = (parser_11, 1092);; let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;; -let v = (parser_10, 2044);; +let v = (parser_12, 2044);; let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;; -let v = (parser_5, 2316);; +let v = (parser_6, 2316);; let map = StringMap.add "2.6.21-1.3234.fc8.x86_64" v map;; let v = (parser_2, 1408);; let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;; -let v = (parser_9, 1092);; +let v = (parser_11, 1092);; let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;; -let v = (parser_10, 2044);; +let v = (parser_12, 2044);; let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;; -let v = (parser_5, 2316);; +let v = (parser_6, 2316);; let map = StringMap.add "2.6.21-1.3236.fc8.x86_64" v map;; let v = (parser_2, 1408);; let map = StringMap.add "2.6.21-1.3238.fc8.i686" v map;; -let v = (parser_9, 1092);; +let v = (parser_11, 1092);; let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;; -let v = (parser_10, 2044);; +let v = (parser_12, 2044);; let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;; -let v = (parser_5, 2316);; +let v = (parser_6, 2316);; let map = StringMap.add "2.6.21-1.3238.fc8.x86_64" v map;; let v = (parser_2, 1408);; let map = StringMap.add "2.6.21-1.3242.fc8.i686" v map;; -let v = (parser_9, 1092);; +let v = (parser_11, 1092);; let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;; -let v = (parser_10, 2044);; +let v = (parser_12, 2044);; let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;; -let v = (parser_5, 2316);; +let v = (parser_6, 2316);; let map = StringMap.add "2.6.21-1.3242.fc8.x86_64" v map;; let v = (parser_2, 1408);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;; -let v = (parser_9, 1092);; +let v = (parser_11, 1092);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;; -let v = (parser_10, 2044);; +let v = (parser_12, 2044);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;; -let v = (parser_5, 2316);; +let v = (parser_6, 2316);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.x86_64" v map;; let v = (parser_2, 1408);; let map = StringMap.add "2.6.22-0.rc7.2.fc8.i686" v map;; -let v = (parser_9, 1092);; +let v = (parser_11, 1092);; let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;; -let v = (parser_10, 2044);; +let v = (parser_12, 2044);; let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;; -let v = (parser_5, 2316);; +let v = (parser_6, 2316);; let map = StringMap.add "2.6.22-0.rc7.2.fc8.x86_64" v map;; let v = (parser_2, 1248);; let map = StringMap.add "2.6.23.14-135.fc8.i586" v map;; let v = (parser_2, 1248);; let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;; -let v = (parser_11, 952);; +let v = (parser_13, 952);; let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;; -let v = (parser_10, 1824);; +let v = (parser_12, 1824);; let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;; -let v = (parser_5, 1800);; +let v = (parser_6, 1800);; let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;; let v = (parser_2, 1248);; let map = StringMap.add "2.6.23.14-78.fc7.i586" v map;; let v = (parser_2, 1248);; let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;; -let v = (parser_11, 952);; +let v = (parser_13, 952);; let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;; -let v = (parser_10, 1824);; +let v = (parser_12, 1824);; let map = StringMap.add "2.6.23.14-78.fc7.ppc64" v map;; -let v = (parser_5, 1800);; +let v = (parser_6, 1800);; let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;; -let v = (parser_3, 1244);; +let v = (parser_4, 1244);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i586" v map;; -let v = (parser_3, 1244);; +let v = (parser_4, 1244);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;; -let v = (parser_12, 1048);; +let v = (parser_14, 1048);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;; -let v = (parser_13, 1984);; +let v = (parser_15, 1984);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;; -let v = (parser_14, 2288);; +let v = (parser_7, 2288);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.x86_64" v map;; -let v = (parser_3, 1244);; +let v = (parser_4, 1244);; let map = StringMap.add "2.6.24-7.fc9.i586" v map;; -let v = (parser_3, 1244);; +let v = (parser_4, 1244);; let map = StringMap.add "2.6.24-7.fc9.i686" v map;; -let v = (parser_12, 1048);; +let v = (parser_14, 1048);; let map = StringMap.add "2.6.24-7.fc9.ppc" v map;; -let v = (parser_13, 1984);; +let v = (parser_15, 1984);; let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;; -let v = (parser_14, 2288);; +let v = (parser_7, 2288);; let map = StringMap.add "2.6.24-7.fc9.x86_64" v map;; -let v = (parser_3, 1244);; +let v = (parser_4, 1244);; let map = StringMap.add "2.6.24-9.fc9.i586" v map;; -let v = (parser_3, 1244);; +let v = (parser_4, 1244);; let map = StringMap.add "2.6.24-9.fc9.i686" v map;; -let v = (parser_12, 1048);; +let v = (parser_14, 1048);; let map = StringMap.add "2.6.24-9.fc9.ppc" v map;; -let v = (parser_13, 1984);; +let v = (parser_15, 1984);; let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;; -let v = (parser_14, 2288);; +let v = (parser_7, 2288);; let map = StringMap.add "2.6.24-9.fc9.x86_64" v map;; -let v = (parser_3, 1212);; +let v = (parser_4, 1212);; let map = StringMap.add "2.6.25.11-97.fc9.i686" v map;; -let v = (parser_14, 1752);; +let v = (parser_7, 1752);; let map = StringMap.add "2.6.25.11-97.fc9.x86_64" v map;; -let v = (parser_15, 672);; +let v = (parser_3, 1216);; +let map = StringMap.add "2.6.26.2-2.fc8.i586" v map;; +let v = (parser_3, 1216);; +let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;; +let v = (parser_15, 1776);; +let map = StringMap.add "2.6.26.2-2.fc8.ppc64" v map;; +let v = (parser_16, 672);; let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;; -let v = (parser_7, 1260);; +let v = (parser_9, 1260);; let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;; -let v = (parser_7, 1260);; +let v = (parser_9, 1260);; let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;; -let v = (parser_16, 1108);; +let v = (parser_17, 1108);; let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;; -let v = (parser_17, 668);; +let v = (parser_18, 668);; let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;; -let v = (parser_7, 1260);; +let v = (parser_9, 1260);; let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;; -let v = (parser_18, 1100);; +let v = (parser_19, 1100);; let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;; -let v = (parser_7, 1924);; +let v = (parser_9, 1924);; let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;; -let v = (parser_16, 2124);; +let v = (parser_17, 2124);; let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;; -let v = (parser_7, 1924);; +let v = (parser_9, 1924);; let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;; -let v = (parser_16, 2124);; +let v = (parser_17, 2124);; let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;; -let v = (parser_7, 1924);; +let v = (parser_9, 1924);; let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;; -let v = (parser_16, 2124);; +let v = (parser_17, 2124);; let map = StringMap.add "2.6.21-1.3141.fc7.x86_64" v map;; -let v = (parser_7, 1924);; +let v = (parser_9, 1924);; let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;; -let v = (parser_16, 2124);; +let v = (parser_17, 2124);; let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;; -let v = (parser_7, 1924);; +let v = (parser_9, 1924);; let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;; -let v = (parser_16, 1644);; +let v = (parser_17, 1644);; let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;; -let v = (parser_7, 1924);; +let v = (parser_9, 1924);; let map = StringMap.add "2.6.21-1.3190.fc7.ppc64" v map;; -let v = (parser_16, 1644);; +let v = (parser_17, 1644);; let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;; -let v = (parser_10, 2044);; +let v = (parser_12, 2044);; let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;; -let v = (parser_10, 2044);; +let v = (parser_12, 2044);; let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;; -let v = (parser_10, 2044);; +let v = (parser_12, 2044);; let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;; -let v = (parser_7, 1684);; +let v = (parser_9, 1684);; let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;; -let v = (parser_16, 1404);; +let v = (parser_17, 1404);; let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;; -let v = (parser_10, 2044);; +let v = (parser_12, 2044);; let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;; -let v = (parser_10, 2044);; +let v = (parser_12, 2044);; let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;; -let v = (parser_10, 2044);; +let v = (parser_12, 2044);; let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;; -let v = (parser_10, 2044);; +let v = (parser_12, 2044);; let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;; -let v = (parser_10, 2044);; +let v = (parser_12, 2044);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;; -let v = (parser_10, 2044);; +let v = (parser_12, 2044);; let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;; -let v = (parser_10, 1824);; +let v = (parser_12, 1824);; let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;; -let v = (parser_10, 1824);; +let v = (parser_12, 1824);; let map = StringMap.add "2.6.23.14-78.fc7.ppc64" v map;; -let v = (parser_13, 1984);; +let v = (parser_15, 1984);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;; -let v = (parser_13, 1984);; +let v = (parser_15, 1984);; let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;; -let v = (parser_13, 1984);; +let v = (parser_15, 1984);; let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;; -let v = (parser_6, 688);; +let v = (parser_15, 1776);; +let map = StringMap.add "2.6.26.2-2.fc8.ppc64" v map;; +let v = (parser_8, 688);; let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;; -let v = (parser_6, 688);; +let v = (parser_8, 688);; let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;; -let v = (parser_6, 1020);; +let v = (parser_8, 1020);; let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;; -let v = (parser_6, 1020);; +let v = (parser_8, 1020);; let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;; -let v = (parser_6, 1020);; +let v = (parser_8, 1020);; let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;; -let v = (parser_6, 1020);; +let v = (parser_8, 1020);; let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;; -let v = (parser_6, 1020);; +let v = (parser_8, 1020);; let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;; -let v = (parser_6, 1020);; +let v = (parser_8, 1020);; let map = StringMap.add "2.6.21-1.3190.fc7.ppc" v map;; -let v = (parser_9, 1116);; +let v = (parser_11, 1116);; let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;; -let v = (parser_9, 1116);; +let v = (parser_11, 1116);; let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;; -let v = (parser_9, 1116);; +let v = (parser_11, 1116);; let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;; -let v = (parser_6, 936);; +let v = (parser_8, 936);; let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;; -let v = (parser_9, 1116);; +let v = (parser_11, 1116);; let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;; -let v = (parser_9, 1116);; +let v = (parser_11, 1116);; let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;; -let v = (parser_9, 1116);; +let v = (parser_11, 1116);; let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;; -let v = (parser_9, 1116);; +let v = (parser_11, 1116);; let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;; -let v = (parser_9, 1116);; +let v = (parser_11, 1116);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;; -let v = (parser_9, 1116);; +let v = (parser_11, 1116);; let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;; -let v = (parser_19, 1064);; +let v = (parser_20, 1064);; let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;; -let v = (parser_19, 1064);; +let v = (parser_20, 1064);; let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;; -let v = (parser_12, 1072);; +let v = (parser_14, 1072);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;; -let v = (parser_12, 1072);; +let v = (parser_14, 1072);; let map = StringMap.add "2.6.24-7.fc9.ppc" v map;; -let v = (parser_12, 1072);; +let v = (parser_14, 1072);; let map = StringMap.add "2.6.24-9.fc9.ppc" v map;; let v = (parser_1, 912);; let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;; -let v = (parser_4, 1260);; +let v = (parser_5, 1260);; let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;; let v = (parser_1, 912);; let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;; -let v = (parser_4, 1260);; +let v = (parser_5, 1260);; let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;; type kernel_version = string;; let net_device_known version = StringMap.mem version map;; diff --git a/lib/kernel_task_struct.ml b/lib/kernel_task_struct.ml index a6765dc..6b940d7 100644 --- a/lib/kernel_task_struct.ml +++ b/lib/kernel_task_struct.ml @@ -66,6 +66,30 @@ let parser_3 bits = task_struct_prio : zero+32 : offset(192), littleendian; task_struct_static_prio : zero+32 : offset(224), littleendian; task_struct_normal_prio : zero+32 : offset(256), littleendian; + task_struct_tasks'next : zero+32 : offset(3360), littleendian; + task_struct_tasks'prev : zero+32 : offset(3392), littleendian; + task_struct_mm : zero+32 : offset(3424), littleendian; + task_struct_active_mm : zero+32 : offset(3456), littleendian; + task_struct_pid : zero+32 : offset(3712), littleendian; + task_struct_comm : 128 : offset(6088), string } -> + { task_struct_state = task_struct_state; + task_struct_prio = task_struct_prio; + task_struct_static_prio = task_struct_static_prio; + task_struct_normal_prio = task_struct_normal_prio; + task_struct_tasks'next = Int64.sub task_struct_tasks'next 420L; + task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 424L; + task_struct_mm = task_struct_mm; + task_struct_active_mm = task_struct_active_mm; + task_struct_pid = task_struct_pid; + task_struct_comm = task_struct_comm } + | { _ } -> + raise (ParseError (struct_name, "parser_3", match_err));; +let parser_4 bits = + bitmatch bits with + | { task_struct_state : zero+32 : offset(0), littleendian; + task_struct_prio : zero+32 : offset(192), littleendian; + task_struct_static_prio : zero+32 : offset(224), littleendian; + task_struct_normal_prio : zero+32 : offset(256), littleendian; task_struct_tasks'next : zero+32 : offset(2144), littleendian; task_struct_tasks'prev : zero+32 : offset(2176), littleendian; task_struct_mm : zero+32 : offset(2336), littleendian; @@ -83,8 +107,8 @@ let parser_3 bits = task_struct_pid = task_struct_pid; task_struct_comm = task_struct_comm } | { _ } -> - raise (ParseError (struct_name, "parser_3", match_err));; -let parser_4 bits = + raise (ParseError (struct_name, "parser_4", match_err));; +let parser_5 bits = bitmatch bits with | { task_struct_state : zero+32 : offset(0), littleendian; task_struct_prio : zero+32 : offset(192), littleendian; @@ -107,8 +131,8 @@ let parser_4 bits = task_struct_pid = task_struct_pid; task_struct_comm = task_struct_comm } | { _ } -> - raise (ParseError (struct_name, "parser_4", match_err));; -let parser_5 bits = + raise (ParseError (struct_name, "parser_5", match_err));; +let parser_6 bits = bitmatch bits with | { task_struct_state : zero+32 : offset(0), littleendian; task_struct_prio : zero+32 : offset(160), littleendian; @@ -131,8 +155,8 @@ let parser_5 bits = task_struct_pid = task_struct_pid; task_struct_comm = task_struct_comm } | { _ } -> - raise (ParseError (struct_name, "parser_5", match_err));; -let parser_6 bits = + raise (ParseError (struct_name, "parser_6", match_err));; +let parser_7 bits = bitmatch bits with | { task_struct_state : zero+32 : offset(0), littleendian; task_struct_prio : zero+32 : offset(160), littleendian; @@ -155,8 +179,8 @@ let parser_6 bits = task_struct_pid = task_struct_pid; task_struct_comm = task_struct_comm } | { _ } -> - raise (ParseError (struct_name, "parser_6", match_err));; -let parser_7 bits = + raise (ParseError (struct_name, "parser_7", match_err));; +let parser_8 bits = bitmatch bits with | { task_struct_state : zero+32 : offset(0), littleendian; task_struct_prio : zero+32 : offset(160), littleendian; @@ -179,8 +203,8 @@ let parser_7 bits = task_struct_pid = task_struct_pid; task_struct_comm = task_struct_comm } | { _ } -> - raise (ParseError (struct_name, "parser_7", match_err));; -let parser_8 bits = + raise (ParseError (struct_name, "parser_8", match_err));; +let parser_9 bits = bitmatch bits with | { task_struct_state : zero+64 : offset(0), littleendian; task_struct_prio : zero+32 : offset(320), littleendian; @@ -203,8 +227,8 @@ let parser_8 bits = task_struct_pid = task_struct_pid; task_struct_comm = task_struct_comm } | { _ } -> - raise (ParseError (struct_name, "parser_8", match_err));; -let parser_9 bits = + raise (ParseError (struct_name, "parser_9", match_err));; +let parser_10 bits = bitmatch bits with | { task_struct_state : zero+64 : offset(0), littleendian; task_struct_prio : zero+32 : offset(224), littleendian; @@ -227,8 +251,32 @@ let parser_9 bits = task_struct_pid = task_struct_pid; task_struct_comm = task_struct_comm } | { _ } -> - raise (ParseError (struct_name, "parser_9", match_err));; -let parser_10 bits = + raise (ParseError (struct_name, "parser_10", match_err));; +let parser_11 bits = + bitmatch bits with + | { task_struct_state : zero+64 : offset(0), littleendian; + task_struct_prio : zero+32 : offset(256), littleendian; + task_struct_static_prio : zero+32 : offset(288), littleendian; + task_struct_normal_prio : zero+32 : offset(320), littleendian; + task_struct_tasks'next : zero+64 : offset(4096), littleendian; + task_struct_tasks'prev : zero+64 : offset(4160), littleendian; + task_struct_mm : zero+64 : offset(4224), littleendian; + task_struct_active_mm : zero+64 : offset(4288), littleendian; + task_struct_pid : zero+32 : offset(4608), littleendian; + task_struct_comm : 128 : offset(8712), string } -> + { task_struct_state = task_struct_state; + task_struct_prio = task_struct_prio; + task_struct_static_prio = task_struct_static_prio; + task_struct_normal_prio = task_struct_normal_prio; + task_struct_tasks'next = Int64.sub task_struct_tasks'next 512L; + task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 520L; + task_struct_mm = task_struct_mm; + task_struct_active_mm = task_struct_active_mm; + task_struct_pid = task_struct_pid; + task_struct_comm = task_struct_comm } + | { _ } -> + raise (ParseError (struct_name, "parser_11", match_err));; +let parser_12 bits = bitmatch bits with | { task_struct_state : zero+32 : offset(0), bigendian; task_struct_prio : zero+32 : offset(192), bigendian; @@ -251,8 +299,8 @@ let parser_10 bits = task_struct_pid = task_struct_pid; task_struct_comm = task_struct_comm } | { _ } -> - raise (ParseError (struct_name, "parser_10", match_err));; -let parser_11 bits = + raise (ParseError (struct_name, "parser_12", match_err));; +let parser_13 bits = bitmatch bits with | { task_struct_state : zero+64 : offset(0), bigendian; task_struct_prio : zero+32 : offset(320), bigendian; @@ -275,8 +323,8 @@ let parser_11 bits = task_struct_pid = task_struct_pid; task_struct_comm = task_struct_comm } | { _ } -> - raise (ParseError (struct_name, "parser_11", match_err));; -let parser_12 bits = + raise (ParseError (struct_name, "parser_13", match_err));; +let parser_14 bits = bitmatch bits with | { task_struct_state : zero+64 : offset(0), littleendian; task_struct_prio : zero+32 : offset(320), littleendian; @@ -299,8 +347,8 @@ let parser_12 bits = task_struct_pid = task_struct_pid; task_struct_comm = task_struct_comm } | { _ } -> - raise (ParseError (struct_name, "parser_12", match_err));; -let parser_13 bits = + raise (ParseError (struct_name, "parser_14", match_err));; +let parser_15 bits = bitmatch bits with | { task_struct_state : zero+64 : offset(0), bigendian; task_struct_prio : zero+32 : offset(256), bigendian; @@ -323,8 +371,8 @@ let parser_13 bits = task_struct_pid = task_struct_pid; task_struct_comm = task_struct_comm } | { _ } -> - raise (ParseError (struct_name, "parser_13", match_err));; -let parser_14 bits = + raise (ParseError (struct_name, "parser_15", match_err));; +let parser_16 bits = bitmatch bits with | { task_struct_state : zero+64 : offset(0), littleendian; task_struct_prio : zero+32 : offset(256), littleendian; @@ -347,8 +395,8 @@ let parser_14 bits = task_struct_pid = task_struct_pid; task_struct_comm = task_struct_comm } | { _ } -> - raise (ParseError (struct_name, "parser_14", match_err));; -let parser_15 bits = + raise (ParseError (struct_name, "parser_16", match_err));; +let parser_17 bits = bitmatch bits with | { task_struct_state : zero+32 : offset(0), bigendian; task_struct_prio : zero+32 : offset(192), bigendian; @@ -371,8 +419,8 @@ let parser_15 bits = task_struct_pid = task_struct_pid; task_struct_comm = task_struct_comm } | { _ } -> - raise (ParseError (struct_name, "parser_15", match_err));; -let parser_16 bits = + raise (ParseError (struct_name, "parser_17", match_err));; +let parser_18 bits = bitmatch bits with | { task_struct_state : zero+64 : offset(0), bigendian; task_struct_prio : zero+32 : offset(256), bigendian; @@ -395,8 +443,8 @@ let parser_16 bits = task_struct_pid = task_struct_pid; task_struct_comm = task_struct_comm } | { _ } -> - raise (ParseError (struct_name, "parser_16", match_err));; -let parser_17 bits = + raise (ParseError (struct_name, "parser_18", match_err));; +let parser_19 bits = bitmatch bits with | { task_struct_state : zero+64 : offset(0), littleendian; task_struct_prio : zero+32 : offset(256), littleendian; @@ -419,8 +467,8 @@ let parser_17 bits = task_struct_pid = task_struct_pid; task_struct_comm = task_struct_comm } | { _ } -> - raise (ParseError (struct_name, "parser_17", match_err));; -let parser_18 bits = + raise (ParseError (struct_name, "parser_19", match_err));; +let parser_20 bits = bitmatch bits with | { task_struct_state : zero+32 : offset(0), bigendian; task_struct_prio : zero+32 : offset(192), bigendian; @@ -443,8 +491,8 @@ let parser_18 bits = task_struct_pid = task_struct_pid; task_struct_comm = task_struct_comm } | { _ } -> - raise (ParseError (struct_name, "parser_18", match_err));; -let parser_19 bits = + raise (ParseError (struct_name, "parser_20", match_err));; +let parser_21 bits = bitmatch bits with | { task_struct_state : zero+64 : offset(0), bigendian; task_struct_prio : zero+32 : offset(256), bigendian; @@ -467,8 +515,8 @@ let parser_19 bits = task_struct_pid = task_struct_pid; task_struct_comm = task_struct_comm } | { _ } -> - raise (ParseError (struct_name, "parser_19", match_err));; -let parser_20 bits = + raise (ParseError (struct_name, "parser_21", match_err));; +let parser_22 bits = bitmatch bits with | { task_struct_state : zero+64 : offset(0), littleendian; task_struct_prio : zero+32 : offset(256), littleendian; @@ -491,8 +539,8 @@ let parser_20 bits = task_struct_pid = task_struct_pid; task_struct_comm = task_struct_comm } | { _ } -> - raise (ParseError (struct_name, "parser_20", match_err));; -let parser_21 bits = + raise (ParseError (struct_name, "parser_22", match_err));; +let parser_23 bits = bitmatch bits with | { task_struct_state : zero+32 : offset(0), bigendian; task_struct_prio : zero+32 : offset(160), bigendian; @@ -515,8 +563,8 @@ let parser_21 bits = task_struct_pid = task_struct_pid; task_struct_comm = task_struct_comm } | { _ } -> - raise (ParseError (struct_name, "parser_21", match_err));; -let parser_22 bits = + raise (ParseError (struct_name, "parser_23", match_err));; +let parser_24 bits = bitmatch bits with | { task_struct_state : zero+64 : offset(0), bigendian; task_struct_prio : zero+32 : offset(224), bigendian; @@ -539,8 +587,8 @@ let parser_22 bits = task_struct_pid = task_struct_pid; task_struct_comm = task_struct_comm } | { _ } -> - raise (ParseError (struct_name, "parser_22", match_err));; -let parser_23 bits = + raise (ParseError (struct_name, "parser_24", match_err));; +let parser_25 bits = bitmatch bits with | { task_struct_state : zero+64 : offset(0), littleendian; task_struct_prio : zero+32 : offset(224), littleendian; @@ -563,8 +611,8 @@ let parser_23 bits = task_struct_pid = task_struct_pid; task_struct_comm = task_struct_comm } | { _ } -> - raise (ParseError (struct_name, "parser_23", match_err));; -let parser_24 bits = + raise (ParseError (struct_name, "parser_25", match_err));; +let parser_26 bits = bitmatch bits with | { task_struct_state : zero+32 : offset(0), bigendian; task_struct_prio : zero+32 : offset(160), bigendian; @@ -587,8 +635,8 @@ let parser_24 bits = task_struct_pid = task_struct_pid; task_struct_comm = task_struct_comm } | { _ } -> - raise (ParseError (struct_name, "parser_24", match_err));; -let parser_25 bits = + raise (ParseError (struct_name, "parser_26", match_err));; +let parser_27 bits = bitmatch bits with | { task_struct_state : zero+64 : offset(0), bigendian; task_struct_prio : zero+32 : offset(224), bigendian; @@ -611,8 +659,8 @@ let parser_25 bits = task_struct_pid = task_struct_pid; task_struct_comm = task_struct_comm } | { _ } -> - raise (ParseError (struct_name, "parser_25", match_err));; -let parser_26 bits = + raise (ParseError (struct_name, "parser_27", match_err));; +let parser_28 bits = bitmatch bits with | { task_struct_state : zero+64 : offset(0), littleendian; task_struct_prio : zero+32 : offset(224), littleendian; @@ -635,8 +683,8 @@ let parser_26 bits = task_struct_pid = task_struct_pid; task_struct_comm = task_struct_comm } | { _ } -> - raise (ParseError (struct_name, "parser_26", match_err));; -let parser_27 bits = + raise (ParseError (struct_name, "parser_28", match_err));; +let parser_29 bits = bitmatch bits with | { task_struct_state : zero+32 : offset(0), bigendian; task_struct_prio : zero+32 : offset(160), bigendian; @@ -659,8 +707,8 @@ let parser_27 bits = task_struct_pid = task_struct_pid; task_struct_comm = task_struct_comm } | { _ } -> - raise (ParseError (struct_name, "parser_27", match_err));; -let parser_28 bits = + raise (ParseError (struct_name, "parser_29", match_err));; +let parser_30 bits = bitmatch bits with | { task_struct_state : zero+64 : offset(0), bigendian; task_struct_prio : zero+32 : offset(224), bigendian; @@ -683,8 +731,8 @@ let parser_28 bits = task_struct_pid = task_struct_pid; task_struct_comm = task_struct_comm } | { _ } -> - raise (ParseError (struct_name, "parser_28", match_err));; -let parser_29 bits = + raise (ParseError (struct_name, "parser_30", match_err));; +let parser_31 bits = bitmatch bits with | { task_struct_state : zero+32 : offset(0), bigendian; task_struct_prio : zero+32 : offset(160), bigendian; @@ -707,8 +755,8 @@ let parser_29 bits = task_struct_pid = task_struct_pid; task_struct_comm = task_struct_comm } | { _ } -> - raise (ParseError (struct_name, "parser_29", match_err));; -let parser_30 bits = + raise (ParseError (struct_name, "parser_31", match_err));; +let parser_32 bits = bitmatch bits with | { task_struct_state : zero+64 : offset(0), bigendian; task_struct_prio : zero+32 : offset(224), bigendian; @@ -731,8 +779,8 @@ let parser_30 bits = task_struct_pid = task_struct_pid; task_struct_comm = task_struct_comm } | { _ } -> - raise (ParseError (struct_name, "parser_30", match_err));; -let parser_31 bits = + raise (ParseError (struct_name, "parser_32", match_err));; +let parser_33 bits = bitmatch bits with | { task_struct_state : zero+64 : offset(0), littleendian; task_struct_prio : zero+32 : offset(224), littleendian; @@ -755,8 +803,8 @@ let parser_31 bits = task_struct_pid = task_struct_pid; task_struct_comm = task_struct_comm } | { _ } -> - raise (ParseError (struct_name, "parser_31", match_err));; -let parser_32 bits = + raise (ParseError (struct_name, "parser_33", match_err));; +let parser_34 bits = bitmatch bits with | { task_struct_state : zero+32 : offset(0), littleendian; task_struct_prio : zero+32 : offset(160), littleendian; @@ -779,8 +827,8 @@ let parser_32 bits = task_struct_pid = task_struct_pid; task_struct_comm = task_struct_comm } | { _ } -> - raise (ParseError (struct_name, "parser_32", match_err));; -let parser_33 bits = + raise (ParseError (struct_name, "parser_34", match_err));; +let parser_35 bits = bitmatch bits with | { task_struct_state : zero+64 : offset(0), littleendian; task_struct_prio : zero+32 : offset(224), littleendian; @@ -803,8 +851,56 @@ let parser_33 bits = task_struct_pid = task_struct_pid; task_struct_comm = task_struct_comm } | { _ } -> - raise (ParseError (struct_name, "parser_33", match_err));; -let parser_34 bits = + raise (ParseError (struct_name, "parser_35", match_err));; +let parser_36 bits = + bitmatch bits with + | { task_struct_state : zero+32 : offset(0), littleendian; + task_struct_prio : zero+32 : offset(192), littleendian; + task_struct_static_prio : zero+32 : offset(224), littleendian; + task_struct_normal_prio : zero+32 : offset(256), littleendian; + task_struct_tasks'next : zero+32 : offset(3328), littleendian; + task_struct_tasks'prev : zero+32 : offset(3360), littleendian; + task_struct_mm : zero+32 : offset(3392), littleendian; + task_struct_active_mm : zero+32 : offset(3424), littleendian; + task_struct_pid : zero+32 : offset(3680), littleendian; + task_struct_comm : 128 : offset(6056), string } -> + { task_struct_state = task_struct_state; + task_struct_prio = task_struct_prio; + task_struct_static_prio = task_struct_static_prio; + task_struct_normal_prio = task_struct_normal_prio; + task_struct_tasks'next = Int64.sub task_struct_tasks'next 416L; + task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 420L; + task_struct_mm = task_struct_mm; + task_struct_active_mm = task_struct_active_mm; + task_struct_pid = task_struct_pid; + task_struct_comm = task_struct_comm } + | { _ } -> + raise (ParseError (struct_name, "parser_36", match_err));; +let parser_37 bits = + bitmatch bits with + | { task_struct_state : zero+64 : offset(0), bigendian; + task_struct_prio : zero+32 : offset(256), bigendian; + task_struct_static_prio : zero+32 : offset(288), bigendian; + task_struct_normal_prio : zero+32 : offset(320), bigendian; + task_struct_tasks'next : zero+64 : offset(4096), bigendian; + task_struct_tasks'prev : zero+64 : offset(4160), bigendian; + task_struct_mm : zero+64 : offset(4224), bigendian; + task_struct_active_mm : zero+64 : offset(4288), bigendian; + task_struct_pid : zero+32 : offset(4608), bigendian; + task_struct_comm : 128 : offset(8712), string } -> + { task_struct_state = task_struct_state; + task_struct_prio = task_struct_prio; + task_struct_static_prio = task_struct_static_prio; + task_struct_normal_prio = task_struct_normal_prio; + task_struct_tasks'next = Int64.sub task_struct_tasks'next 512L; + task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 520L; + task_struct_mm = task_struct_mm; + task_struct_active_mm = task_struct_active_mm; + task_struct_pid = task_struct_pid; + task_struct_comm = task_struct_comm } + | { _ } -> + raise (ParseError (struct_name, "parser_37", match_err));; +let parser_38 bits = bitmatch bits with | { task_struct_state : zero+64 : offset(0), littleendian; task_struct_prio : zero+32 : offset(320), littleendian; @@ -827,7 +923,7 @@ let parser_34 bits = task_struct_pid = task_struct_pid; task_struct_comm = task_struct_comm } | { _ } -> - raise (ParseError (struct_name, "parser_34", match_err));; + raise (ParseError (struct_name, "parser_38", match_err));; module StringMap = Map.Make(String);; let map = StringMap.empty;; let v = (parser_1, 2704);; @@ -842,6 +938,8 @@ let v = (parser_2, 3364);; let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;; let v = (parser_2, 3364);; let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;; +let v = (parser_3, 4180);; +let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;; let v = (parser_1, 1400);; let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;; let v = (parser_1, 2704);; @@ -864,397 +962,411 @@ let v = (parser_1, 2712);; let map = StringMap.add "2.6.21-1.3221.fc8.i686" v map;; let v = (parser_1, 1376);; let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;; -let v = (parser_3, 2880);; -let map = StringMap.add "2.6.21-1.3234.fc8.i686" v map;; let v = (parser_4, 2880);; +let map = StringMap.add "2.6.21-1.3234.fc8.i686" v map;; +let v = (parser_5, 2880);; let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;; -let v = (parser_5, 2872);; +let v = (parser_6, 2872);; let map = StringMap.add "2.6.21-1.3238.fc8.i686" v map;; -let v = (parser_5, 2872);; +let v = (parser_6, 2872);; let map = StringMap.add "2.6.21-1.3242.fc8.i686" v map;; -let v = (parser_6, 2856);; +let v = (parser_7, 2856);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;; -let v = (parser_5, 2872);; +let v = (parser_6, 2872);; let map = StringMap.add "2.6.22-0.rc7.2.fc8.i686" v map;; let v = (parser_2, 1548);; let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;; let v = (parser_2, 1548);; let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;; -let v = (parser_7, 3540);; +let v = (parser_8, 3540);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;; -let v = (parser_7, 3540);; +let v = (parser_8, 3540);; let map = StringMap.add "2.6.24-7.fc9.i686" v map;; -let v = (parser_7, 3540);; +let v = (parser_8, 3540);; let map = StringMap.add "2.6.24-9.fc9.i686" v map;; +let v = (parser_3, 1328);; +let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;; let v = (parser_1, 2704);; let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;; -let v = (parser_8, 3772);; +let v = (parser_9, 3772);; let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;; let v = (parser_1, 2704);; let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;; -let v = (parser_8, 3772);; +let v = (parser_9, 3772);; let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;; let v = (parser_1, 2704);; let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;; -let v = (parser_8, 3772);; +let v = (parser_9, 3772);; let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;; let v = (parser_1, 2704);; let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;; -let v = (parser_8, 3772);; +let v = (parser_9, 3772);; let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;; let v = (parser_2, 3364);; let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;; -let v = (parser_9, 4468);; +let v = (parser_10, 4468);; let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;; -let v = (parser_9, 4468);; +let v = (parser_10, 4468);; let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;; +let v = (parser_3, 4180);; +let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;; +let v = (parser_11, 5808);; +let map = StringMap.add "2.6.26.2-2.fc8.x86_64" v map;; let v = (parser_1, 1384);; let map = StringMap.add "2.6.18-1.2798.fc6.i586" v map;; let v = (parser_1, 1384);; let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;; -let v = (parser_10, 1576);; +let v = (parser_12, 1576);; let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;; -let v = (parser_11, 2104);; +let v = (parser_13, 2104);; let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;; -let v = (parser_11, 2088);; +let v = (parser_13, 2088);; let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;; -let v = (parser_12, 1928);; +let v = (parser_14, 1928);; let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;; let v = (parser_1, 1400);; let map = StringMap.add "2.6.20-1.2933.fc6.i586" v map;; let v = (parser_1, 1400);; let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;; -let v = (parser_10, 1592);; +let v = (parser_12, 1592);; let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;; -let v = (parser_11, 2112);; +let v = (parser_13, 2112);; let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;; -let v = (parser_8, 1920);; +let v = (parser_9, 1920);; let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;; let v = (parser_1, 2704);; let map = StringMap.add "2.6.21-1.3128.fc7.i586" v map;; let v = (parser_1, 2704);; let map = StringMap.add "2.6.21-1.3128.fc7.i686" v map;; -let v = (parser_10, 1604);; +let v = (parser_12, 1604);; let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;; -let v = (parser_11, 2132);; +let v = (parser_13, 2132);; let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;; -let v = (parser_8, 3772);; +let v = (parser_9, 3772);; let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;; let v = (parser_1, 2704);; let map = StringMap.add "2.6.21-1.3132.fc7.i586" v map;; let v = (parser_1, 2704);; let map = StringMap.add "2.6.21-1.3132.fc7.i686" v map;; -let v = (parser_10, 1604);; +let v = (parser_12, 1604);; let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;; -let v = (parser_11, 2132);; +let v = (parser_13, 2132);; let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;; -let v = (parser_8, 3772);; +let v = (parser_9, 3772);; let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;; let v = (parser_1, 2704);; let map = StringMap.add "2.6.21-1.3141.fc7.i586" v map;; let v = (parser_1, 2704);; let map = StringMap.add "2.6.21-1.3141.fc7.i686" v map;; -let v = (parser_10, 1604);; +let v = (parser_12, 1604);; let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;; -let v = (parser_11, 2132);; +let v = (parser_13, 2132);; let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;; -let v = (parser_8, 3772);; +let v = (parser_9, 3772);; let map = StringMap.add "2.6.21-1.3141.fc7.x86_64" v map;; let v = (parser_1, 2704);; let map = StringMap.add "2.6.21-1.3144.fc7.i586" v map;; let v = (parser_1, 2704);; let map = StringMap.add "2.6.21-1.3144.fc7.i686" v map;; -let v = (parser_10, 1604);; +let v = (parser_12, 1604);; let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;; -let v = (parser_11, 2132);; +let v = (parser_13, 2132);; let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;; -let v = (parser_8, 3772);; +let v = (parser_9, 3772);; let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;; let v = (parser_1, 1400);; let map = StringMap.add "2.6.21-1.3145.fc7.i586" v map;; let v = (parser_1, 1400);; let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;; -let v = (parser_10, 1592);; +let v = (parser_12, 1592);; let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;; -let v = (parser_11, 2112);; +let v = (parser_13, 2112);; let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;; -let v = (parser_8, 1920);; +let v = (parser_9, 1920);; let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;; let v = (parser_1, 1400);; let map = StringMap.add "2.6.21-1.3190.fc7.i586" v map;; let v = (parser_1, 1400);; let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;; -let v = (parser_10, 1592);; +let v = (parser_12, 1592);; let map = StringMap.add "2.6.21-1.3190.fc7.ppc" v map;; -let v = (parser_11, 2112);; +let v = (parser_13, 2112);; let map = StringMap.add "2.6.21-1.3190.fc7.ppc64" v map;; -let v = (parser_8, 1920);; +let v = (parser_9, 1920);; let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;; let v = (parser_1, 2712);; let map = StringMap.add "2.6.21-1.3209.fc8.i586" v map;; let v = (parser_1, 2712);; let map = StringMap.add "2.6.21-1.3209.fc8.i686" v map;; -let v = (parser_10, 1612);; +let v = (parser_12, 1612);; let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;; -let v = (parser_13, 2116);; +let v = (parser_15, 2116);; let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;; -let v = (parser_14, 3756);; +let v = (parser_16, 3756);; let map = StringMap.add "2.6.21-1.3209.fc8.x86_64" v map;; let v = (parser_1, 2712);; let map = StringMap.add "2.6.21-1.3218.fc8.i586" v map;; let v = (parser_1, 2712);; let map = StringMap.add "2.6.21-1.3218.fc8.i686" v map;; -let v = (parser_10, 1612);; +let v = (parser_12, 1612);; let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;; -let v = (parser_13, 2116);; +let v = (parser_15, 2116);; let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;; -let v = (parser_14, 3756);; +let v = (parser_16, 3756);; let map = StringMap.add "2.6.21-1.3218.fc8.x86_64" v map;; let v = (parser_1, 2712);; let map = StringMap.add "2.6.21-1.3221.fc8.i586" v map;; let v = (parser_1, 2712);; let map = StringMap.add "2.6.21-1.3221.fc8.i686" v map;; -let v = (parser_10, 1612);; +let v = (parser_12, 1612);; let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;; -let v = (parser_13, 2116);; +let v = (parser_15, 2116);; let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;; -let v = (parser_14, 3756);; +let v = (parser_16, 3756);; let map = StringMap.add "2.6.21-1.3221.fc8.x86_64" v map;; let v = (parser_1, 1376);; let map = StringMap.add "2.6.21-1.3228.fc7.i586" v map;; let v = (parser_1, 1376);; let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;; -let v = (parser_10, 1560);; +let v = (parser_12, 1560);; let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;; -let v = (parser_11, 2072);; +let v = (parser_13, 2072);; let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;; -let v = (parser_8, 1880);; +let v = (parser_9, 1880);; let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;; -let v = (parser_3, 2880);; +let v = (parser_4, 2880);; let map = StringMap.add "2.6.21-1.3234.fc8.i686" v map;; -let v = (parser_15, 1780);; +let v = (parser_17, 1780);; let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;; -let v = (parser_16, 2292);; +let v = (parser_18, 2292);; let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;; -let v = (parser_17, 3932);; +let v = (parser_19, 3932);; let map = StringMap.add "2.6.21-1.3234.fc8.x86_64" v map;; -let v = (parser_4, 2880);; +let v = (parser_5, 2880);; let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;; -let v = (parser_18, 1780);; +let v = (parser_20, 1780);; let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;; -let v = (parser_19, 2308);; +let v = (parser_21, 2308);; let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;; -let v = (parser_20, 3948);; +let v = (parser_22, 3948);; let map = StringMap.add "2.6.21-1.3236.fc8.x86_64" v map;; -let v = (parser_5, 2872);; +let v = (parser_6, 2872);; let map = StringMap.add "2.6.21-1.3238.fc8.i686" v map;; -let v = (parser_21, 1756);; +let v = (parser_23, 1756);; let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;; -let v = (parser_22, 2276);; +let v = (parser_24, 2276);; let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;; -let v = (parser_23, 3916);; +let v = (parser_25, 3916);; let map = StringMap.add "2.6.21-1.3238.fc8.x86_64" v map;; -let v = (parser_5, 2872);; +let v = (parser_6, 2872);; let map = StringMap.add "2.6.21-1.3242.fc8.i686" v map;; -let v = (parser_21, 1756);; +let v = (parser_23, 1756);; let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;; -let v = (parser_22, 2276);; +let v = (parser_24, 2276);; let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;; -let v = (parser_23, 3916);; +let v = (parser_25, 3916);; let map = StringMap.add "2.6.21-1.3242.fc8.x86_64" v map;; -let v = (parser_6, 2856);; +let v = (parser_7, 2856);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;; -let v = (parser_24, 1756);; +let v = (parser_26, 1756);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;; -let v = (parser_25, 2292);; +let v = (parser_27, 2292);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;; -let v = (parser_26, 3932);; +let v = (parser_28, 3932);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.x86_64" v map;; -let v = (parser_5, 2872);; +let v = (parser_6, 2872);; let map = StringMap.add "2.6.22-0.rc7.2.fc8.i686" v map;; -let v = (parser_21, 1756);; +let v = (parser_23, 1756);; let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;; -let v = (parser_22, 2276);; +let v = (parser_24, 2276);; let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;; -let v = (parser_23, 3916);; +let v = (parser_25, 3916);; let map = StringMap.add "2.6.22-0.rc7.2.fc8.x86_64" v map;; let v = (parser_2, 1548);; let map = StringMap.add "2.6.23.14-135.fc8.i586" v map;; let v = (parser_2, 1548);; let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;; -let v = (parser_27, 1736);; +let v = (parser_29, 1736);; let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;; -let v = (parser_28, 2272);; +let v = (parser_30, 2272);; let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;; -let v = (parser_9, 2080);; +let v = (parser_10, 2080);; let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;; let v = (parser_2, 1548);; let map = StringMap.add "2.6.23.14-78.fc7.i586" v map;; let v = (parser_2, 1548);; let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;; -let v = (parser_27, 1736);; +let v = (parser_29, 1736);; let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;; -let v = (parser_28, 2272);; +let v = (parser_30, 2272);; let map = StringMap.add "2.6.23.14-78.fc7.ppc64" v map;; -let v = (parser_9, 2080);; +let v = (parser_10, 2080);; let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;; -let v = (parser_7, 3540);; +let v = (parser_8, 3540);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i586" v map;; -let v = (parser_7, 3540);; +let v = (parser_8, 3540);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;; -let v = (parser_29, 1936);; +let v = (parser_31, 1936);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;; -let v = (parser_30, 2492);; +let v = (parser_32, 2492);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;; -let v = (parser_31, 4684);; +let v = (parser_33, 4684);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.x86_64" v map;; -let v = (parser_7, 3540);; +let v = (parser_8, 3540);; let map = StringMap.add "2.6.24-7.fc9.i586" v map;; -let v = (parser_7, 3540);; +let v = (parser_8, 3540);; let map = StringMap.add "2.6.24-7.fc9.i686" v map;; -let v = (parser_29, 1936);; +let v = (parser_31, 1936);; let map = StringMap.add "2.6.24-7.fc9.ppc" v map;; -let v = (parser_30, 2492);; +let v = (parser_32, 2492);; let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;; -let v = (parser_31, 4684);; +let v = (parser_33, 4684);; let map = StringMap.add "2.6.24-7.fc9.x86_64" v map;; -let v = (parser_7, 3540);; +let v = (parser_8, 3540);; let map = StringMap.add "2.6.24-9.fc9.i586" v map;; -let v = (parser_7, 3540);; +let v = (parser_8, 3540);; let map = StringMap.add "2.6.24-9.fc9.i686" v map;; -let v = (parser_29, 1936);; +let v = (parser_31, 1936);; let map = StringMap.add "2.6.24-9.fc9.ppc" v map;; -let v = (parser_30, 2492);; +let v = (parser_32, 2492);; let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;; -let v = (parser_31, 4684);; +let v = (parser_33, 4684);; let map = StringMap.add "2.6.24-9.fc9.x86_64" v map;; -let v = (parser_32, 1832);; +let v = (parser_34, 1832);; let map = StringMap.add "2.6.25.11-97.fc9.i686" v map;; -let v = (parser_33, 2496);; +let v = (parser_35, 2496);; let map = StringMap.add "2.6.25.11-97.fc9.x86_64" v map;; +let v = (parser_36, 1324);; +let map = StringMap.add "2.6.26.2-2.fc8.i586" v map;; +let v = (parser_3, 1328);; +let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;; +let v = (parser_37, 2572);; +let map = StringMap.add "2.6.26.2-2.fc8.ppc64" v map;; let v = (parser_1, 1368);; let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;; -let v = (parser_11, 2104);; +let v = (parser_13, 2104);; let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;; -let v = (parser_11, 2088);; +let v = (parser_13, 2088);; let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;; -let v = (parser_34, 1856);; +let v = (parser_38, 1856);; let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;; let v = (parser_1, 1384);; let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;; -let v = (parser_11, 2112);; +let v = (parser_13, 2112);; let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;; -let v = (parser_8, 1880);; +let v = (parser_9, 1880);; let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;; -let v = (parser_11, 2132);; +let v = (parser_13, 2132);; let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;; -let v = (parser_8, 3780);; +let v = (parser_9, 3780);; let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;; -let v = (parser_11, 2132);; +let v = (parser_13, 2132);; let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;; -let v = (parser_8, 3780);; +let v = (parser_9, 3780);; let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;; -let v = (parser_11, 2132);; +let v = (parser_13, 2132);; let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;; -let v = (parser_8, 3780);; +let v = (parser_9, 3780);; let map = StringMap.add "2.6.21-1.3141.fc7.x86_64" v map;; -let v = (parser_11, 2132);; +let v = (parser_13, 2132);; let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;; -let v = (parser_8, 3780);; +let v = (parser_9, 3780);; let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;; -let v = (parser_11, 2112);; +let v = (parser_13, 2112);; let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;; -let v = (parser_8, 1880);; +let v = (parser_9, 1880);; let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;; -let v = (parser_11, 2112);; +let v = (parser_13, 2112);; let map = StringMap.add "2.6.21-1.3190.fc7.ppc64" v map;; -let v = (parser_8, 1880);; +let v = (parser_9, 1880);; let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;; -let v = (parser_13, 2116);; +let v = (parser_15, 2116);; let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;; -let v = (parser_13, 2116);; +let v = (parser_15, 2116);; let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;; -let v = (parser_13, 2116);; +let v = (parser_15, 2116);; let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;; -let v = (parser_11, 2072);; +let v = (parser_13, 2072);; let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;; -let v = (parser_8, 1832);; +let v = (parser_9, 1832);; let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;; -let v = (parser_16, 2292);; +let v = (parser_18, 2292);; let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;; -let v = (parser_19, 2308);; +let v = (parser_21, 2308);; let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;; -let v = (parser_22, 2276);; +let v = (parser_24, 2276);; let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;; -let v = (parser_22, 2276);; +let v = (parser_24, 2276);; let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;; -let v = (parser_25, 2292);; +let v = (parser_27, 2292);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;; -let v = (parser_22, 2276);; +let v = (parser_24, 2276);; let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;; -let v = (parser_28, 2272);; +let v = (parser_30, 2272);; let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;; -let v = (parser_28, 2272);; +let v = (parser_30, 2272);; let map = StringMap.add "2.6.23.14-78.fc7.ppc64" v map;; -let v = (parser_30, 2492);; +let v = (parser_32, 2492);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;; -let v = (parser_30, 2492);; +let v = (parser_32, 2492);; let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;; -let v = (parser_30, 2492);; +let v = (parser_32, 2492);; let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;; -let v = (parser_10, 1592);; +let v = (parser_37, 2572);; +let map = StringMap.add "2.6.26.2-2.fc8.ppc64" v map;; +let v = (parser_12, 1592);; let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;; -let v = (parser_10, 1608);; +let v = (parser_12, 1608);; let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;; -let v = (parser_10, 1620);; +let v = (parser_12, 1620);; let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;; -let v = (parser_10, 1620);; +let v = (parser_12, 1620);; let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;; -let v = (parser_10, 1620);; +let v = (parser_12, 1620);; let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;; -let v = (parser_10, 1620);; +let v = (parser_12, 1620);; let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;; -let v = (parser_10, 1608);; +let v = (parser_12, 1608);; let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;; -let v = (parser_10, 1608);; +let v = (parser_12, 1608);; let map = StringMap.add "2.6.21-1.3190.fc7.ppc" v map;; -let v = (parser_10, 1628);; +let v = (parser_12, 1628);; let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;; -let v = (parser_10, 1628);; +let v = (parser_12, 1628);; let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;; -let v = (parser_10, 1628);; +let v = (parser_12, 1628);; let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;; -let v = (parser_10, 1584);; +let v = (parser_12, 1584);; let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;; -let v = (parser_15, 1796);; +let v = (parser_17, 1796);; let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;; -let v = (parser_18, 1796);; +let v = (parser_20, 1796);; let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;; -let v = (parser_21, 1772);; +let v = (parser_23, 1772);; let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;; -let v = (parser_21, 1772);; +let v = (parser_23, 1772);; let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;; -let v = (parser_24, 1772);; +let v = (parser_26, 1772);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;; -let v = (parser_21, 1772);; +let v = (parser_23, 1772);; let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;; -let v = (parser_27, 1760);; +let v = (parser_29, 1760);; let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;; -let v = (parser_27, 1760);; +let v = (parser_29, 1760);; let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;; -let v = (parser_29, 1948);; +let v = (parser_31, 1948);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;; -let v = (parser_29, 1948);; +let v = (parser_31, 1948);; let map = StringMap.add "2.6.24-7.fc9.ppc" v map;; -let v = (parser_29, 1948);; +let v = (parser_31, 1948);; let map = StringMap.add "2.6.24-9.fc9.ppc" v map;; let v = (parser_1, 1384);; let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;; -let v = (parser_12, 1928);; +let v = (parser_14, 1928);; let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;; let v = (parser_1, 1400);; let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;; -let v = (parser_8, 1920);; +let v = (parser_9, 1920);; let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;; type kernel_version = string;; let task_struct_known version = StringMap.mem version map;;