- 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 ("task_struct", "parser_1", "failed to match kernel structure"));;
-let parser_2 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 ("task_struct", "parser_2", "failed to match kernel structure"));;
-let parser_3 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 ("task_struct", "parser_3", "failed to match kernel structure"));;
-let parser_4 bits = bitmatch bits with
+ 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