+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(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 ("task_struct", "parser_23", "failed to match kernel structure"));;
+let parser_24 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 ("task_struct", "parser_24", "failed to match kernel structure"));;
+let parser_25 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 ("task_struct", "parser_25", "failed to match kernel structure"));;
+let parser_26 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 ("task_struct", "parser_26", "failed to match kernel structure"));;
+let parser_27 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 ("task_struct", "parser_27", "failed to match kernel structure"));;