X-Git-Url: http://git.annexia.org/?p=virt-mem.git;a=blobdiff_plain;f=lib%2Fkernel_task_struct.ml;h=6b940d7a37278d00370014776300c3fc76f1d9d3;hp=a6765dc07bc5630e4f7c2c55d771b8b6248f2deb;hb=6a9ef09747fe85ca7f69c3c9e08c1372db62b90e;hpb=0a354dd8e7e1fc5853af75d76de772e31f4a7901 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;;