+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(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_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(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_4", match_err));;
+let parser_5 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_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(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_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(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_7", match_err));;
+let parser_8 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_8", match_err));;
+let parser_9 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_9", match_err));;
+let parser_10 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_10", match_err));;
+let parser_11 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_11", match_err));;
+let parser_12 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_12", match_err));;
+let parser_13 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_13", match_err));;
+let parser_14 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_14", match_err));;
+let parser_15 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_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(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_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(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_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(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_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(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_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(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_20", match_err));;
+let parser_21 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_21", match_err));;
+let parser_22 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_22", match_err));;
+let parser_23 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_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(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_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(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_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(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_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(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_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(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_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;
+ 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_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;
+ 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_30", match_err));;
+let parser_31 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_31", match_err));;
+let parser_32 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_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;
+ 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_33", match_err));;
+let parser_34 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_34", match_err));;