let warning = "This code is automatically generated from the kernel database by kerneldb-to-parser program. Any edits you make will be lost.";; exception ParseError of string;; type t = { comm : string; normal_prio : int; prio : int; state : int; static_prio : int; tasks'next : [ | `list_head ] int64; tasks'prev : [ | `list_head ] int64 };; let parser_1 bits = "parser_1";; let parser_2 bits = "parser_2";; let parser_3 bits = "parser_3";; let parser_4 bits = "parser_4";; let parser_5 bits = "parser_5";; let parser_6 bits = "parser_6";; let parser_7 bits = "parser_7";; let parser_8 bits = "parser_8";; let parser_9 bits = "parser_9";; let parser_10 bits = "parser_10";; let parser_11 bits = "parser_11";; let parser_12 bits = "parser_12";; let parser_13 bits = "parser_13";; let parser_14 bits = "parser_14";; let parser_15 bits = "parser_15";; let parser_16 bits = "parser_16";; let parser_17 bits = "parser_17";; let parser_18 bits = "parser_18";; let parser_19 bits = "parser_19";; let parser_20 bits = "parser_20";; let parser_21 bits = "parser_21";; let parser_22 bits = "parser_22";; module StringMap = Map.Make(String);; let map = StringMap.empty;; let v = (parser_1, 2704);; let map = StringMap.add "2.6.21-1.3128.fc7.i586" v map;; let v = (parser_2, 1756);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;; let v = (parser_1, 2704);; let map = StringMap.add "2.6.21-1.3128.fc7.i686" v map;; let v = (parser_3, 1780);; let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;; let v = (parser_1, 1376);; let map = StringMap.add "2.6.21-1.3228.fc7.i586" v map;; let v = (parser_4, 1856);; let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;; let v = (parser_5, 3948);; let map = StringMap.add "2.6.21-1.3236.fc8.x86_64" v map;; let v = (parser_6, 2072);; let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;; let v = (parser_7, 1832);; let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;; let v = (parser_8, 3932);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.x86_64" v map;; let v = (parser_6, 2132);; let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;; let v = (parser_9, 2292);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;; let v = (parser_10, 2880);; let map = StringMap.add "2.6.21-1.3236.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_11, 4684);; let map = StringMap.add "2.6.24-9.fc9.x86_64" v map;; let v = (parser_9, 2292);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;; let v = (parser_1, 1384);; let map = StringMap.add "2.6.18-1.2798.fc6.i586" v map;; let v = (parser_12, 1620);; let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;; let v = (parser_1, 1384);; let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;; let v = (parser_13, 2496);; let map = StringMap.add "2.6.25.11-97.fc9.x86_64" v map;; let v = (parser_1, 1368);; let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;; let v = (parser_14, 3540);; let map = StringMap.add "2.6.24-9.fc9.i686" v map;; let v = (parser_15, 2856);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;; let v = (parser_16, 2308);; let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;; let v = (parser_12, 1628);; let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;; let v = (parser_16, 2308);; let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;; let v = (parser_6, 2072);; let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;; let v = (parser_6, 2132);; let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;; let v = (parser_1, 2712);; let map = StringMap.add "2.6.21-1.3209.fc8.i686" v map;; let v = (parser_7, 3772);; let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;; let v = (parser_7, 3772);; let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;; let v = (parser_17, 1948);; let map = StringMap.add "2.6.24-9.fc9.ppc" v map;; let v = (parser_12, 1576);; let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;; let v = (parser_12, 1620);; let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;; let v = (parser_1, 2712);; let map = StringMap.add "2.6.21-1.3209.fc8.i686" v map;; let v = (parser_7, 3772);; let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;; let v = (parser_12, 1620);; let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;; let v = (parser_6, 2132);; let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;; let v = (parser_18, 2492);; let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;; let v = (parser_12, 1604);; let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;; let v = (parser_19, 1928);; let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;; let v = (parser_12, 1604);; let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;; let v = (parser_12, 1584);; let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;; let v = (parser_18, 2492);; let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;; let v = (parser_6, 2104);; let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;; let v = (parser_7, 3780);; let map = StringMap.add "2.6.21-1.3128.fc7.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_7, 3772);; let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;; let v = (parser_6, 2112);; let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;; let v = (parser_2, 1772);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;; let v = (parser_12, 1612);; let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;; let v = (parser_7, 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.3132.fc7.i586" v map;; let v = (parser_1, 2704);; let map = StringMap.add "2.6.21-1.3144.fc7.i586" v map;; let v = (parser_7, 1880);; let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;; let v = (parser_6, 2088);; let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;; let v = (parser_12, 1592);; let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;; let v = (parser_1, 2704);; let map = StringMap.add "2.6.21-1.3144.fc7.i686" v map;; let v = (parser_1, 1376);; let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;; let v = (parser_1, 2712);; let map = StringMap.add "2.6.21-1.3209.fc8.i586" v map;; let v = (parser_6, 2088);; let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;; let v = (parser_1, 2704);; let map = StringMap.add "2.6.21-1.3144.fc7.i686" v map;; let v = (parser_7, 1880);; let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;; let v = (parser_7, 1920);; let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;; let v = (parser_19, 1928);; let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;; let v = (parser_7, 3780);; let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;; let v = (parser_12, 1608);; let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;; let v = (parser_14, 3540);; let map = StringMap.add "2.6.24-9.fc9.i686" v map;; let v = (parser_1, 2704);; let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;; let v = (parser_20, 1832);; let map = StringMap.add "2.6.25.11-97.fc9.i686" v map;; let v = (parser_1, 2704);; let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;; let v = (parser_1, 2704);; let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;; let v = (parser_1, 2704);; let map = StringMap.add "2.6.21-1.3128.fc7.i686" v map;; let v = (parser_12, 1604);; let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;; let v = (parser_1, 1400);; let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;; let v = (parser_21, 3756);; let map = StringMap.add "2.6.21-1.3209.fc8.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_7, 3780);; let map = StringMap.add "2.6.21-1.3132.fc7.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_6, 2104);; let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;; let v = (parser_1, 1384);; let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;; let v = (parser_12, 1560);; let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;; let v = (parser_10, 2880);; let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;; let v = (parser_3, 1796);; let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;; let v = (parser_1, 1384);; let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;; let v = (parser_14, 3540);; let map = StringMap.add "2.6.24-9.fc9.i586" v map;; let v = (parser_7, 3772);; let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;; let v = (parser_6, 2112);; let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;; let v = (parser_17, 1936);; let map = StringMap.add "2.6.24-9.fc9.ppc" v map;; let v = (parser_6, 2132);; let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;; let v = (parser_22, 2116);; let map = StringMap.add "2.6.21-1.3209.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_15, 2856);; let map = StringMap.add "2.6.22-0.23.rc7.git6.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_22, 2116);; let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;; type kernel_version = string;; let known version = StringMap.mem version map;; let size version = let (_, size) = StringMap.find version map in size;; let get version bits = let (parsefn, _) = StringMap.find version map in parsefn bits;;