let warning = "This code is automatically generated from the kernel database by kerneldb-to-parser program. Any edits you make will be lost.";; let zero = 0;; let struct_name = "task_struct";; let match_err = "failed to match kernel structure";; exception ParseError of string * string * string;; type t = { task_struct_active_mm : Virt_mem_mmap.addr; task_struct_comm : string; task_struct_mm : Virt_mem_mmap.addr; task_struct_normal_prio : int64; task_struct_pid : int64; task_struct_prio : int64; task_struct_state : int64; task_struct_static_prio : int64; task_struct_tasks'next : Virt_mem_mmap.addr; task_struct_tasks'prev : Virt_mem_mmap.addr };; let parser_1 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(992), littleendian; task_struct_tasks'prev : zero+32 : offset(1024), littleendian; task_struct_mm : zero+32 : offset(1056), littleendian; task_struct_active_mm : zero+32 : offset(1088), littleendian; task_struct_pid : zero+32 : offset(1344), littleendian; task_struct_comm : 128 : offset(3232), 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 124L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 128L; 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_1", match_err));; let parser_2 bits = bitmatch bits with | { task_struct_state : zero+32 : offset(0), littleendian; task_struct_prio : zero+32 : offset(160), littleendian; task_struct_static_prio : zero+32 : offset(192), littleendian; task_struct_normal_prio : zero+32 : offset(224), 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(2208), littleendian; task_struct_active_mm : zero+32 : offset(2240), littleendian; task_struct_pid : zero+32 : offset(2496), littleendian; task_struct_comm : 128 : offset(4512), 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 268L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 272L; 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_2", match_err));; let parser_3 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(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; task_struct_active_mm : zero+32 : offset(2368), littleendian; task_struct_pid : zero+32 : offset(2624), littleendian; task_struct_comm : 128 : offset(4544), 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 268L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 272L; 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_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; 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(2208), littleendian; task_struct_tasks'prev : zero+32 : offset(2240), littleendian; task_struct_mm : zero+32 : offset(2400), littleendian; task_struct_active_mm : zero+32 : offset(2432), littleendian; task_struct_pid : zero+32 : offset(2688), littleendian; task_struct_comm : 128 : offset(4608), 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 276L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 280L; 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_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; task_struct_static_prio : zero+32 : offset(192), littleendian; task_struct_normal_prio : zero+32 : offset(224), littleendian; task_struct_tasks'next : zero+32 : offset(2176), littleendian; task_struct_tasks'prev : zero+32 : offset(2208), littleendian; task_struct_mm : zero+32 : offset(2240), littleendian; task_struct_active_mm : zero+32 : offset(2272), littleendian; task_struct_pid : zero+32 : offset(2528), littleendian; task_struct_comm : 128 : offset(4416), 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 272L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 276L; 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_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; task_struct_static_prio : zero+32 : offset(192), littleendian; task_struct_normal_prio : zero+32 : offset(224), 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(2208), littleendian; task_struct_active_mm : zero+32 : offset(2240), littleendian; task_struct_pid : zero+32 : offset(2496), littleendian; task_struct_comm : 128 : offset(4384), 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 268L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 272L; 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_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; task_struct_static_prio : zero+32 : offset(192), littleendian; task_struct_normal_prio : zero+32 : offset(224), littleendian; task_struct_tasks'next : zero+32 : offset(3008), littleendian; task_struct_tasks'prev : zero+32 : offset(3040), littleendian; task_struct_mm : zero+32 : offset(3072), littleendian; task_struct_active_mm : zero+32 : offset(3104), littleendian; task_struct_pid : zero+32 : offset(3360), littleendian; task_struct_comm : 128 : offset(5416), 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 376L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 380L; 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_8", match_err));; let parser_9 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(3584), littleendian; task_struct_tasks'prev : zero+32 : offset(3616), littleendian; task_struct_mm : zero+32 : offset(3648), littleendian; task_struct_active_mm : zero+32 : offset(3680), littleendian; task_struct_pid : zero+32 : offset(3936), littleendian; task_struct_comm : 128 : offset(6304), 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 448L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 452L; 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_9", match_err));; let parser_10 bits = bitmatch bits with | { task_struct_state : zero+64 : offset(0), littleendian; task_struct_prio : zero+32 : offset(320), littleendian; task_struct_static_prio : zero+32 : offset(352), littleendian; task_struct_normal_prio : zero+32 : offset(384), littleendian; task_struct_tasks'next : zero+64 : offset(1536), littleendian; task_struct_tasks'prev : zero+64 : offset(1600), littleendian; task_struct_mm : zero+64 : offset(1664), littleendian; task_struct_active_mm : zero+64 : offset(1728), littleendian; task_struct_pid : zero+32 : offset(2144), littleendian; task_struct_comm : 128 : offset(5440), 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 192L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 200L; 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_10", match_err));; let parser_11 bits = bitmatch bits with | { task_struct_state : zero+64 : offset(0), littleendian; task_struct_prio : zero+32 : offset(224), littleendian; task_struct_static_prio : zero+32 : offset(256), littleendian; task_struct_normal_prio : zero+32 : offset(288), littleendian; task_struct_tasks'next : zero+64 : offset(2816), littleendian; task_struct_tasks'prev : zero+64 : offset(2880), littleendian; task_struct_mm : zero+64 : offset(2944), littleendian; task_struct_active_mm : zero+64 : offset(3008), littleendian; task_struct_pid : zero+32 : offset(3328), littleendian; task_struct_comm : 128 : offset(6848), 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 352L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 360L; 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+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_12", match_err));; let parser_13 bits = bitmatch bits with | { task_struct_state : zero+32 : offset(0), bigendian; task_struct_prio : zero+32 : offset(192), bigendian; task_struct_static_prio : zero+32 : offset(224), bigendian; task_struct_normal_prio : zero+32 : offset(256), bigendian; task_struct_tasks'next : zero+32 : offset(1024), bigendian; task_struct_tasks'prev : zero+32 : offset(1056), bigendian; task_struct_mm : zero+32 : offset(1088), bigendian; task_struct_active_mm : zero+32 : offset(1120), bigendian; task_struct_pid : zero+32 : offset(1376), bigendian; task_struct_comm : 128 : offset(3264), 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 128L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 132L; 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_13", match_err));; let parser_14 bits = bitmatch bits with | { task_struct_state : zero+64 : offset(0), bigendian; task_struct_prio : zero+32 : offset(320), bigendian; task_struct_static_prio : zero+32 : offset(352), bigendian; task_struct_normal_prio : zero+32 : offset(384), bigendian; task_struct_tasks'next : zero+64 : offset(1600), bigendian; task_struct_tasks'prev : zero+64 : offset(1664), bigendian; task_struct_mm : zero+64 : offset(1728), bigendian; task_struct_active_mm : zero+64 : offset(1792), bigendian; task_struct_pid : zero+32 : offset(2208), bigendian; task_struct_comm : 128 : offset(5440), 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 200L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 208L; 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_14", match_err));; let parser_15 bits = bitmatch bits with | { task_struct_state : zero+64 : offset(0), littleendian; task_struct_prio : zero+32 : offset(320), littleendian; task_struct_static_prio : zero+32 : offset(352), littleendian; task_struct_normal_prio : zero+32 : offset(384), littleendian; task_struct_tasks'next : zero+64 : offset(1728), littleendian; task_struct_tasks'prev : zero+64 : offset(1792), littleendian; task_struct_mm : zero+64 : offset(1856), littleendian; task_struct_active_mm : zero+64 : offset(1920), littleendian; task_struct_pid : zero+32 : offset(2336), littleendian; task_struct_comm : 128 : offset(5568), 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 216L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 224L; 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_15", match_err));; let parser_16 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(1472), bigendian; task_struct_tasks'prev : zero+64 : offset(1536), bigendian; task_struct_mm : zero+64 : offset(1600), bigendian; task_struct_active_mm : zero+64 : offset(1664), bigendian; task_struct_pid : zero+32 : offset(1984), bigendian; task_struct_comm : 128 : offset(5184), 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 184L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 192L; 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_16", match_err));; let parser_17 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(1408), littleendian; task_struct_tasks'prev : zero+64 : offset(1472), littleendian; task_struct_mm : zero+64 : offset(1536), littleendian; task_struct_active_mm : zero+64 : offset(1600), littleendian; task_struct_pid : zero+32 : offset(1920), littleendian; task_struct_comm : 128 : offset(5184), 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 176L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 184L; 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_17", match_err));; let parser_18 bits = bitmatch bits with | { task_struct_state : zero+32 : offset(0), bigendian; task_struct_prio : zero+32 : offset(192), bigendian; task_struct_static_prio : zero+32 : offset(224), bigendian; task_struct_normal_prio : zero+32 : offset(256), bigendian; task_struct_tasks'next : zero+32 : offset(2240), bigendian; task_struct_tasks'prev : zero+32 : offset(2272), bigendian; task_struct_mm : zero+32 : offset(2432), bigendian; task_struct_active_mm : zero+32 : offset(2464), bigendian; task_struct_pid : zero+32 : offset(2720), bigendian; task_struct_comm : 128 : offset(4672), 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 280L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 284L; 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_18", match_err));; let parser_19 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(2688), bigendian; task_struct_tasks'prev : zero+64 : offset(2752), bigendian; task_struct_mm : zero+64 : offset(3072), bigendian; task_struct_active_mm : zero+64 : offset(3136), bigendian; task_struct_pid : zero+32 : offset(3456), bigendian; task_struct_comm : 128 : offset(6720), 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 336L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 344L; 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_19", match_err));; let parser_20 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(2624), littleendian; task_struct_tasks'prev : zero+64 : offset(2688), littleendian; task_struct_mm : zero+64 : offset(3008), littleendian; task_struct_active_mm : zero+64 : offset(3072), littleendian; task_struct_pid : zero+32 : offset(3392), littleendian; task_struct_comm : 128 : offset(6720), 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 328L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 336L; 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_20", match_err));; let parser_21 bits = bitmatch bits with | { task_struct_state : zero+32 : offset(0), bigendian; task_struct_prio : zero+32 : offset(192), bigendian; task_struct_static_prio : zero+32 : offset(224), bigendian; task_struct_normal_prio : zero+32 : offset(256), bigendian; task_struct_tasks'next : zero+32 : offset(2304), bigendian; task_struct_tasks'prev : zero+32 : offset(2336), bigendian; task_struct_mm : zero+32 : offset(2496), bigendian; task_struct_active_mm : zero+32 : offset(2528), bigendian; task_struct_pid : zero+32 : offset(2784), bigendian; task_struct_comm : 128 : offset(4736), 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 288L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 292L; 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_21", match_err));; let parser_22 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(2880), bigendian; task_struct_tasks'prev : zero+64 : offset(2944), bigendian; task_struct_mm : zero+64 : offset(3264), bigendian; task_struct_active_mm : zero+64 : offset(3328), bigendian; task_struct_pid : zero+32 : offset(3648), bigendian; task_struct_comm : 128 : offset(6912), 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 360L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 368L; 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_22", match_err));; let parser_23 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(2816), littleendian; task_struct_tasks'prev : zero+64 : offset(2880), littleendian; task_struct_mm : zero+64 : offset(3200), littleendian; task_struct_active_mm : zero+64 : offset(3264), littleendian; task_struct_pid : zero+32 : offset(3584), littleendian; task_struct_comm : 128 : offset(6912), 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 352L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 360L; 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_23", match_err));; let parser_24 bits = bitmatch bits with | { task_struct_state : zero+32 : offset(0), bigendian; task_struct_prio : zero+32 : offset(160), bigendian; task_struct_static_prio : zero+32 : offset(192), bigendian; task_struct_normal_prio : zero+32 : offset(224), bigendian; task_struct_tasks'next : zero+32 : offset(2240), bigendian; task_struct_tasks'prev : zero+32 : offset(2272), bigendian; task_struct_mm : zero+32 : offset(2304), bigendian; task_struct_active_mm : zero+32 : offset(2336), bigendian; task_struct_pid : zero+32 : offset(2592), bigendian; task_struct_comm : 128 : offset(4480), 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 280L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 284L; 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_24", match_err));; let parser_25 bits = bitmatch bits with | { task_struct_state : zero+64 : offset(0), bigendian; task_struct_prio : zero+32 : offset(224), bigendian; task_struct_static_prio : zero+32 : offset(256), bigendian; task_struct_normal_prio : zero+32 : offset(288), bigendian; task_struct_tasks'next : zero+64 : offset(2816), bigendian; task_struct_tasks'prev : zero+64 : offset(2880), bigendian; task_struct_mm : zero+64 : offset(2944), bigendian; task_struct_active_mm : zero+64 : offset(3008), bigendian; task_struct_pid : zero+32 : offset(3328), bigendian; task_struct_comm : 128 : offset(6528), 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 352L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 360L; 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_25", match_err));; let parser_26 bits = bitmatch bits with | { task_struct_state : zero+64 : offset(0), littleendian; task_struct_prio : zero+32 : offset(224), littleendian; task_struct_static_prio : zero+32 : offset(256), littleendian; task_struct_normal_prio : zero+32 : offset(288), littleendian; task_struct_tasks'next : zero+64 : offset(2752), littleendian; task_struct_tasks'prev : zero+64 : offset(2816), littleendian; task_struct_mm : zero+64 : offset(2880), littleendian; task_struct_active_mm : zero+64 : offset(2944), littleendian; task_struct_pid : zero+32 : offset(3264), littleendian; task_struct_comm : 128 : offset(6528), 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 344L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 352L; 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_26", match_err));; let parser_27 bits = bitmatch bits with | { task_struct_state : zero+32 : offset(0), bigendian; task_struct_prio : zero+32 : offset(160), bigendian; task_struct_static_prio : zero+32 : offset(192), bigendian; task_struct_normal_prio : zero+32 : offset(224), bigendian; task_struct_tasks'next : zero+32 : offset(2176), bigendian; task_struct_tasks'prev : zero+32 : offset(2208), bigendian; task_struct_mm : zero+32 : offset(2240), bigendian; task_struct_active_mm : zero+32 : offset(2272), bigendian; task_struct_pid : zero+32 : offset(2528), bigendian; task_struct_comm : 128 : offset(4416), 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 272L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 276L; 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_27", match_err));; let parser_28 bits = bitmatch bits with | { task_struct_state : zero+64 : offset(0), bigendian; task_struct_prio : zero+32 : offset(224), bigendian; task_struct_static_prio : zero+32 : offset(256), bigendian; task_struct_normal_prio : zero+32 : offset(288), bigendian; task_struct_tasks'next : zero+64 : offset(2880), bigendian; task_struct_tasks'prev : zero+64 : offset(2944), bigendian; task_struct_mm : zero+64 : offset(3008), bigendian; task_struct_active_mm : zero+64 : offset(3072), bigendian; task_struct_pid : zero+32 : offset(3392), bigendian; task_struct_comm : 128 : offset(6592), 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 360L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 368L; 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_28", match_err));; let parser_29 bits = bitmatch bits with | { task_struct_state : zero+64 : offset(0), littleendian; task_struct_prio : zero+32 : offset(224), littleendian; task_struct_static_prio : zero+32 : offset(256), littleendian; task_struct_normal_prio : zero+32 : offset(288), littleendian; task_struct_tasks'next : zero+64 : offset(2816), littleendian; task_struct_tasks'prev : zero+64 : offset(2880), littleendian; task_struct_mm : zero+64 : offset(2944), littleendian; task_struct_active_mm : zero+64 : offset(3008), littleendian; task_struct_pid : zero+32 : offset(3328), littleendian; task_struct_comm : 128 : offset(6592), 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 352L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 360L; 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_29", match_err));; let parser_30 bits = bitmatch bits with | { task_struct_state : zero+32 : offset(0), bigendian; task_struct_prio : zero+32 : offset(160), bigendian; task_struct_static_prio : zero+32 : offset(192), bigendian; task_struct_normal_prio : zero+32 : offset(224), bigendian; task_struct_tasks'next : zero+32 : offset(2240), bigendian; task_struct_tasks'prev : zero+32 : offset(2272), bigendian; task_struct_mm : zero+32 : offset(2304), bigendian; task_struct_active_mm : zero+32 : offset(2336), bigendian; task_struct_pid : zero+32 : offset(2592), bigendian; task_struct_comm : 128 : offset(4608), 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 280L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 284L; 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_30", match_err));; let parser_31 bits = bitmatch bits with | { task_struct_state : zero+64 : offset(0), bigendian; task_struct_prio : zero+32 : offset(224), bigendian; task_struct_static_prio : zero+32 : offset(256), bigendian; task_struct_normal_prio : zero+32 : offset(288), bigendian; task_struct_tasks'next : zero+64 : offset(2880), bigendian; task_struct_tasks'prev : zero+64 : offset(2944), bigendian; task_struct_mm : zero+64 : offset(3008), bigendian; task_struct_active_mm : zero+64 : offset(3072), bigendian; task_struct_pid : zero+32 : offset(3392), bigendian; task_struct_comm : 128 : offset(6848), 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 360L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 368L; 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_31", match_err));; let parser_32 bits = bitmatch bits with | { task_struct_state : zero+32 : offset(0), bigendian; task_struct_prio : zero+32 : offset(160), bigendian; task_struct_static_prio : zero+32 : offset(192), bigendian; task_struct_normal_prio : zero+32 : offset(224), bigendian; task_struct_tasks'next : zero+32 : offset(3136), bigendian; task_struct_tasks'prev : zero+32 : offset(3168), bigendian; task_struct_mm : zero+32 : offset(3200), bigendian; task_struct_active_mm : zero+32 : offset(3232), bigendian; task_struct_pid : zero+32 : offset(3488), bigendian; task_struct_comm : 128 : offset(5576), 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 392L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 396L; 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_32", match_err));; let parser_33 bits = bitmatch bits with | { task_struct_state : zero+64 : offset(0), bigendian; task_struct_prio : zero+32 : offset(224), bigendian; task_struct_static_prio : zero+32 : offset(256), bigendian; task_struct_normal_prio : zero+32 : offset(288), bigendian; task_struct_tasks'next : zero+64 : offset(3648), bigendian; task_struct_tasks'prev : zero+64 : offset(3712), bigendian; task_struct_mm : zero+64 : offset(3776), bigendian; task_struct_active_mm : zero+64 : offset(3840), bigendian; task_struct_pid : zero+32 : offset(4160), bigendian; task_struct_comm : 128 : offset(7752), 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 456L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 464L; 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_33", match_err));; let parser_34 bits = bitmatch bits with | { task_struct_state : zero+64 : offset(0), littleendian; task_struct_prio : zero+32 : offset(224), littleendian; task_struct_static_prio : zero+32 : offset(256), littleendian; task_struct_normal_prio : zero+32 : offset(288), littleendian; task_struct_tasks'next : zero+64 : offset(3648), littleendian; task_struct_tasks'prev : zero+64 : offset(3712), littleendian; task_struct_mm : zero+64 : offset(3776), littleendian; task_struct_active_mm : zero+64 : offset(3840), littleendian; task_struct_pid : zero+32 : offset(4160), littleendian; task_struct_comm : 128 : offset(7816), 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 456L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 464L; 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_34", match_err));; let parser_35 bits = bitmatch bits with | { task_struct_state : zero+32 : offset(0), littleendian; task_struct_prio : zero+32 : offset(160), littleendian; task_struct_static_prio : zero+32 : offset(192), littleendian; task_struct_normal_prio : zero+32 : offset(224), littleendian; task_struct_tasks'next : zero+32 : offset(3232), littleendian; task_struct_tasks'prev : zero+32 : offset(3264), littleendian; task_struct_mm : zero+32 : offset(3296), littleendian; task_struct_active_mm : zero+32 : offset(3328), littleendian; task_struct_pid : zero+32 : offset(3584), littleendian; task_struct_comm : 128 : offset(5928), 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 404L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 408L; 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_35", match_err));; let parser_36 bits = bitmatch bits with | { task_struct_state : zero+64 : offset(0), littleendian; task_struct_prio : zero+32 : offset(224), littleendian; task_struct_static_prio : zero+32 : offset(256), littleendian; task_struct_normal_prio : zero+32 : offset(288), littleendian; task_struct_tasks'next : zero+64 : offset(3840), littleendian; task_struct_tasks'prev : zero+64 : offset(3904), littleendian; task_struct_mm : zero+64 : offset(3968), littleendian; task_struct_active_mm : zero+64 : offset(4032), littleendian; task_struct_pid : zero+32 : offset(4352), littleendian; task_struct_comm : 128 : offset(8392), 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 480L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 488L; 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+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_37", match_err));; let parser_38 bits = bitmatch bits with | { task_struct_state : zero+32 : offset(0), bigendian; task_struct_prio : zero+32 : offset(192), bigendian; task_struct_static_prio : zero+32 : offset(224), bigendian; task_struct_normal_prio : zero+32 : offset(256), bigendian; task_struct_tasks'next : zero+32 : offset(3392), bigendian; task_struct_tasks'prev : zero+32 : offset(3424), bigendian; task_struct_mm : zero+32 : offset(3456), bigendian; task_struct_active_mm : zero+32 : offset(3488), bigendian; task_struct_pid : zero+32 : offset(3744), bigendian; task_struct_comm : 128 : offset(6120), 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 424L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 428L; 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_38", match_err));; let parser_39 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_39", match_err));; let parser_40 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(3552), littleendian; task_struct_tasks'prev : zero+32 : offset(3584), littleendian; task_struct_mm : zero+32 : offset(3616), littleendian; task_struct_active_mm : zero+32 : offset(3648), littleendian; task_struct_pid : zero+32 : offset(3904), littleendian; task_struct_comm : 128 : offset(6272), 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 444L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 448L; 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_40", match_err));; let parser_41 bits = bitmatch bits with | { task_struct_state : zero+32 : offset(0), bigendian; task_struct_prio : zero+32 : offset(192), bigendian; task_struct_static_prio : zero+32 : offset(224), bigendian; task_struct_normal_prio : zero+32 : offset(256), bigendian; task_struct_tasks'next : zero+32 : offset(3712), bigendian; task_struct_tasks'prev : zero+32 : offset(3744), bigendian; task_struct_mm : zero+32 : offset(3776), bigendian; task_struct_active_mm : zero+32 : offset(3808), bigendian; task_struct_pid : zero+32 : offset(4064), bigendian; task_struct_comm : 128 : offset(6464), 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 464L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 468L; 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_41", match_err));; let parser_42 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(4480), bigendian; task_struct_tasks'prev : zero+64 : offset(4544), bigendian; task_struct_mm : zero+64 : offset(4608), bigendian; task_struct_active_mm : zero+64 : offset(4672), bigendian; task_struct_pid : zero+32 : offset(4992), bigendian; task_struct_comm : 128 : offset(9024), 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 560L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 568L; 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_42", match_err));; let parser_43 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(4480), littleendian; task_struct_tasks'prev : zero+64 : offset(4544), littleendian; task_struct_mm : zero+64 : offset(4608), littleendian; task_struct_active_mm : zero+64 : offset(4672), littleendian; task_struct_pid : zero+32 : offset(4992), littleendian; task_struct_comm : 128 : offset(9024), 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 560L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 568L; 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_43", match_err));; let parser_44 bits = bitmatch bits with | { task_struct_state : zero+64 : offset(0), littleendian; task_struct_prio : zero+32 : offset(320), littleendian; task_struct_static_prio : zero+32 : offset(352), littleendian; task_struct_normal_prio : zero+32 : offset(384), littleendian; task_struct_tasks'next : zero+64 : offset(1536), littleendian; task_struct_tasks'prev : zero+64 : offset(1600), littleendian; task_struct_mm : zero+64 : offset(1664), littleendian; task_struct_active_mm : zero+64 : offset(1728), littleendian; task_struct_pid : zero+32 : offset(2144), littleendian; task_struct_comm : 128 : offset(5376), 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 192L; task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 200L; 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_44", match_err));; module StringMap = Map.Make(String);; let map = StringMap.empty;; let v = (parser_1, 2704);; let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;; let v = (parser_1, 2704);; let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;; let v = (parser_1, 2704);; let map = StringMap.add "2.6.21-1.3190.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_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);; let map = StringMap.add "2.6.21-1.3128.fc7.i686" v map;; let v = (parser_1, 2704);; let map = StringMap.add "2.6.21-1.3132.fc7.i686" v map;; let v = (parser_1, 2704);; let map = StringMap.add "2.6.21-1.3141.fc7.i686" v map;; let v = (parser_1, 2704);; let map = StringMap.add "2.6.21-1.3144.fc7.i686" v map;; let v = (parser_1, 1400);; let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;; let v = (parser_1, 1400);; let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;; let v = (parser_1, 2712);; let map = StringMap.add "2.6.21-1.3209.fc8.i686" v map;; let v = (parser_1, 2712);; let map = StringMap.add "2.6.21-1.3218.fc8.i686" v map;; 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_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_6, 2872);; let map = StringMap.add "2.6.21-1.3238.fc8.i686" v map;; let v = (parser_6, 2872);; let map = StringMap.add "2.6.21-1.3242.fc8.i686" v map;; let v = (parser_7, 2856);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;; 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_8, 3540);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;; let v = (parser_8, 3540);; let map = StringMap.add "2.6.24-7.fc9.i686" v map;; 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_9, 4204);; let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.i686" v map;; let v = (parser_1, 2704);; let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;; let v = (parser_10, 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_10, 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_10, 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_10, 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_11, 4468);; let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;; let v = (parser_11, 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_12, 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_13, 1576);; let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;; let v = (parser_14, 2104);; let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;; let v = (parser_14, 2088);; let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;; let v = (parser_15, 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_13, 1592);; let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;; let v = (parser_14, 2112);; let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;; let v = (parser_10, 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_13, 1604);; let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;; let v = (parser_14, 2132);; let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;; let v = (parser_10, 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_13, 1604);; let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;; let v = (parser_14, 2132);; let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;; let v = (parser_10, 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_13, 1604);; let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;; let v = (parser_14, 2132);; let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;; let v = (parser_10, 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_13, 1604);; let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;; let v = (parser_14, 2132);; let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;; let v = (parser_10, 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_13, 1592);; let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;; let v = (parser_14, 2112);; let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;; let v = (parser_10, 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_13, 1592);; let map = StringMap.add "2.6.21-1.3190.fc7.ppc" v map;; let v = (parser_14, 2112);; let map = StringMap.add "2.6.21-1.3190.fc7.ppc64" v map;; let v = (parser_10, 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_13, 1612);; let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;; let v = (parser_16, 2116);; let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;; let v = (parser_17, 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_13, 1612);; let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;; let v = (parser_16, 2116);; let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;; let v = (parser_17, 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_13, 1612);; let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;; let v = (parser_16, 2116);; let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;; let v = (parser_17, 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_13, 1560);; let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;; let v = (parser_14, 2072);; let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;; let v = (parser_10, 1880);; let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;; let v = (parser_4, 2880);; let map = StringMap.add "2.6.21-1.3234.fc8.i686" v map;; let v = (parser_18, 1780);; let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;; let v = (parser_19, 2292);; let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;; let v = (parser_20, 3932);; let map = StringMap.add "2.6.21-1.3234.fc8.x86_64" v map;; let v = (parser_5, 2880);; let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;; let v = (parser_21, 1780);; let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;; let v = (parser_22, 2308);; let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;; let v = (parser_23, 3948);; let map = StringMap.add "2.6.21-1.3236.fc8.x86_64" v map;; let v = (parser_6, 2872);; let map = StringMap.add "2.6.21-1.3238.fc8.i686" v map;; let v = (parser_24, 1756);; let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;; let v = (parser_25, 2276);; let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;; let v = (parser_26, 3916);; let map = StringMap.add "2.6.21-1.3238.fc8.x86_64" v map;; let v = (parser_6, 2872);; let map = StringMap.add "2.6.21-1.3242.fc8.i686" v map;; let v = (parser_24, 1756);; let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;; let v = (parser_25, 2276);; let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;; let v = (parser_26, 3916);; let map = StringMap.add "2.6.21-1.3242.fc8.x86_64" v map;; let v = (parser_7, 2856);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;; let v = (parser_27, 1756);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;; let v = (parser_28, 2292);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;; let v = (parser_29, 3932);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.x86_64" v map;; let v = (parser_6, 2872);; let map = StringMap.add "2.6.22-0.rc7.2.fc8.i686" v map;; let v = (parser_24, 1756);; let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;; let v = (parser_25, 2276);; let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;; let v = (parser_26, 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_30, 1736);; let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;; let v = (parser_31, 2272);; let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;; let v = (parser_11, 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_30, 1736);; let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;; let v = (parser_31, 2272);; let map = StringMap.add "2.6.23.14-78.fc7.ppc64" v map;; let v = (parser_11, 2080);; let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;; let v = (parser_8, 3540);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i586" v map;; let v = (parser_8, 3540);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;; let v = (parser_32, 1936);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;; let v = (parser_33, 2492);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;; let v = (parser_34, 4684);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.x86_64" v map;; let v = (parser_8, 3540);; let map = StringMap.add "2.6.24-7.fc9.i586" v map;; let v = (parser_8, 3540);; let map = StringMap.add "2.6.24-7.fc9.i686" v map;; let v = (parser_32, 1936);; let map = StringMap.add "2.6.24-7.fc9.ppc" v map;; let v = (parser_33, 2492);; let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;; let v = (parser_34, 4684);; let map = StringMap.add "2.6.24-7.fc9.x86_64" v map;; let v = (parser_8, 3540);; let map = StringMap.add "2.6.24-9.fc9.i586" v map;; let v = (parser_8, 3540);; let map = StringMap.add "2.6.24-9.fc9.i686" v map;; let v = (parser_32, 1936);; let map = StringMap.add "2.6.24-9.fc9.ppc" v map;; let v = (parser_33, 2492);; let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;; let v = (parser_34, 4684);; let map = StringMap.add "2.6.24-9.fc9.x86_64" v map;; let v = (parser_35, 1832);; let map = StringMap.add "2.6.25.11-97.fc9.i686" v map;; let v = (parser_36, 2496);; let map = StringMap.add "2.6.25.11-97.fc9.x86_64" v map;; let v = (parser_37, 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_38, 1968);; let map = StringMap.add "2.6.26.2-2.fc8.ppc" v map;; let v = (parser_39, 2572);; let map = StringMap.add "2.6.26.2-2.fc8.ppc64" v map;; let v = (parser_12, 2072);; let map = StringMap.add "2.6.26.2-2.fc8.x86_64" v map;; let v = (parser_40, 4200);; let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.i586" v map;; let v = (parser_9, 4204);; let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.i686" v map;; let v = (parser_41, 2124);; let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc" v map;; let v = (parser_42, 6712);; let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc64" v map;; let v = (parser_43, 5824);; let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.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, 2104);; let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;; let v = (parser_14, 2088);; let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;; let v = (parser_44, 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_14, 2112);; let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;; let v = (parser_10, 1880);; let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;; let v = (parser_14, 2132);; let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;; let v = (parser_10, 3780);; let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;; let v = (parser_14, 2132);; let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;; let v = (parser_10, 3780);; let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;; let v = (parser_14, 2132);; let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;; let v = (parser_10, 3780);; let map = StringMap.add "2.6.21-1.3141.fc7.x86_64" v map;; let v = (parser_14, 2132);; let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;; let v = (parser_10, 3780);; let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;; let v = (parser_14, 2112);; let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;; let v = (parser_10, 1880);; let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;; let v = (parser_14, 2112);; let map = StringMap.add "2.6.21-1.3190.fc7.ppc64" v map;; let v = (parser_10, 1880);; let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;; let v = (parser_16, 2116);; let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;; let v = (parser_16, 2116);; let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;; let v = (parser_16, 2116);; let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;; let v = (parser_14, 2072);; let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;; let v = (parser_10, 1832);; let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;; let v = (parser_19, 2292);; let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;; let v = (parser_22, 2308);; let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;; let v = (parser_25, 2276);; let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;; let v = (parser_25, 2276);; let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;; let v = (parser_28, 2292);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;; let v = (parser_25, 2276);; let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;; let v = (parser_31, 2272);; let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;; let v = (parser_31, 2272);; let map = StringMap.add "2.6.23.14-78.fc7.ppc64" v map;; let v = (parser_33, 2492);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;; let v = (parser_33, 2492);; let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;; let v = (parser_33, 2492);; let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;; let v = (parser_39, 2572);; let map = StringMap.add "2.6.26.2-2.fc8.ppc64" v map;; let v = (parser_42, 6712);; let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc64" v map;; let v = (parser_13, 1592);; let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;; let v = (parser_13, 1608);; let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;; let v = (parser_13, 1620);; let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;; let v = (parser_13, 1620);; let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;; let v = (parser_13, 1620);; let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;; let v = (parser_13, 1620);; let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;; let v = (parser_13, 1608);; let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;; let v = (parser_13, 1608);; let map = StringMap.add "2.6.21-1.3190.fc7.ppc" v map;; let v = (parser_13, 1628);; let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;; let v = (parser_13, 1628);; let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;; let v = (parser_13, 1628);; let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;; let v = (parser_13, 1584);; let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;; let v = (parser_18, 1796);; let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;; let v = (parser_21, 1796);; let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;; let v = (parser_24, 1772);; let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;; let v = (parser_24, 1772);; let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;; let v = (parser_27, 1772);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;; let v = (parser_24, 1772);; let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;; let v = (parser_30, 1760);; let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;; let v = (parser_30, 1760);; let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;; let v = (parser_32, 1948);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;; let v = (parser_32, 1948);; let map = StringMap.add "2.6.24-7.fc9.ppc" v map;; let v = (parser_32, 1948);; let map = StringMap.add "2.6.24-9.fc9.ppc" v map;; let v = (parser_38, 1992);; let map = StringMap.add "2.6.26.2-2.fc8.ppc" v map;; let v = (parser_41, 2136);; let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc" v map;; let v = (parser_1, 1384);; let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;; let v = (parser_15, 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_10, 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;; let task_struct_size version = let (_, size) = StringMap.find version map in size;; let task_struct_of_bits version bits = let (parsefn, _) = StringMap.find version map in parsefn bits;; let get_task_struct version mem addr = let (parsefn, size) = StringMap.find version map in let bytes = Virt_mem_mmap.get_bytes mem addr size in let bits = Bitstring.bitstring_of_string bytes in parsefn bits;;