- | { 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_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(3200), littleendian;
+ task_struct_tasks'prev : zero+32 : offset(3232), littleendian;
+ task_struct_mm : zero+32 : offset(3264), littleendian;
+ task_struct_active_mm : zero+32 : offset(3296), littleendian;
+ task_struct_pid : zero+32 : offset(3552), littleendian;
+ task_struct_comm : 128 : offset(5896), 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 400L;
+ task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 404L;
+ 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 (Virt_mem_types.ParseError (struct_name, "parser_37", match_err));;
+let parser_38 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(3840), bigendian;
+ task_struct_tasks'prev : zero+64 : offset(3904), bigendian;
+ task_struct_mm : zero+64 : offset(3968), bigendian;
+ task_struct_active_mm : zero+64 : offset(4032), bigendian;
+ task_struct_pid : zero+32 : offset(4352), bigendian;