- raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_14", match_err));;
-let task_struct_parser_15 kernel_version bits =
- bitmatch bits with
- | { state : zero+32 : offset(0), littleendian;
- prio : zero+32 : offset(192), littleendian;
- static_prio : zero+32 : offset(224), littleendian;
- normal_prio : zero+32 : offset(256), littleendian;
- tasks'next : zero+32 : offset(3360), littleendian;
- tasks'prev : zero+32 : offset(3392), littleendian;
- pid : zero+32 : offset(3712), littleendian;
- comm : 128 : offset(6088), string } ->
- { task_struct_comm = comm;
- task_struct_normal_prio = normal_prio;
- task_struct_pid = pid;
- task_struct_prio = prio;
- task_struct_run_list'next = None;
- task_struct_run_list'next_offset = -1;
- task_struct_run_list'next_adjustment = -1;
- task_struct_run_list'prev = None;
- task_struct_state = state;
- task_struct_static_prio = static_prio;
- task_struct_tasks'next = tasks'next;
- task_struct_tasks'next_offset = 420;
- task_struct_tasks'next_adjustment = 420;
- task_struct_tasks'prev = tasks'prev }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_15", match_err));;
-let task_struct_parser_16 kernel_version bits =
- bitmatch bits with
- | { state : zero+32 : offset(0), littleendian;
- prio : zero+32 : offset(160), littleendian;
- static_prio : zero+32 : offset(192), littleendian;
- normal_prio : zero+32 : offset(224), littleendian;
- tasks'next : zero+32 : offset(3232), littleendian;
- tasks'prev : zero+32 : offset(3264), littleendian;
- pid : zero+32 : offset(3584), littleendian;
- comm : 128 : offset(5928), string } ->
- { task_struct_comm = comm;
- task_struct_normal_prio = normal_prio;
- task_struct_pid = pid;
- task_struct_prio = prio;
- task_struct_run_list'next = None;
- task_struct_run_list'next_offset = -1;
- task_struct_run_list'next_adjustment = -1;
- task_struct_run_list'prev = None;
- task_struct_state = state;
- task_struct_static_prio = static_prio;
- task_struct_tasks'next = tasks'next;
- task_struct_tasks'next_offset = 404;
- task_struct_tasks'next_adjustment = 404;
- task_struct_tasks'prev = tasks'prev }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_16", match_err));;
-let task_struct_parser_17 kernel_version bits =
- bitmatch bits with
- | { state : zero+32 : offset(0), bigendian;
- prio : zero+32 : offset(160), bigendian;
- static_prio : zero+32 : offset(192), bigendian;
- normal_prio : zero+32 : offset(224), bigendian;
- run_list'next : zero+32 : offset(256), bigendian;
- run_list'prev : zero+32 : offset(288), bigendian;
- tasks'next : zero+32 : offset(3136), bigendian;
- tasks'prev : zero+32 : offset(3168), bigendian;
- pid : zero+32 : offset(3488), bigendian;
- comm : 128 : offset(5576), string } ->
- { task_struct_comm = comm;
- task_struct_normal_prio = normal_prio;
- task_struct_pid = pid;
- task_struct_prio = prio;
- task_struct_run_list'next = Some run_list'next;
- task_struct_run_list'next_offset = 32;
- task_struct_run_list'next_adjustment = 32;
- task_struct_run_list'prev = Some run_list'prev;
- task_struct_state = state;
- task_struct_static_prio = static_prio;
- task_struct_tasks'next = tasks'next;
- task_struct_tasks'next_offset = 392;
- task_struct_tasks'next_adjustment = 392;
- task_struct_tasks'prev = tasks'prev }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_17", match_err));;
-let task_struct_parser_18 kernel_version bits =
- bitmatch bits with
- | { state : zero+32 : offset(0), littleendian;
- prio : zero+32 : offset(160), littleendian;
- static_prio : zero+32 : offset(192), littleendian;
- normal_prio : zero+32 : offset(224), littleendian;
- run_list'next : zero+32 : offset(256), littleendian;
- run_list'prev : zero+32 : offset(288), littleendian;
- tasks'next : zero+32 : offset(2144), littleendian;
- tasks'prev : zero+32 : offset(2176), littleendian;
- pid : zero+32 : offset(2496), littleendian;
- comm : 128 : offset(4512), string } ->
- { task_struct_comm = comm;
- task_struct_normal_prio = normal_prio;
- task_struct_pid = pid;
- task_struct_prio = prio;
- task_struct_run_list'next = Some run_list'next;
- task_struct_run_list'next_offset = 32;
- task_struct_run_list'next_adjustment = 32;
- task_struct_run_list'prev = Some run_list'prev;
- task_struct_state = state;
- task_struct_static_prio = static_prio;
- task_struct_tasks'next = tasks'next;
- task_struct_tasks'next_offset = 268;
- task_struct_tasks'next_adjustment = 268;
- task_struct_tasks'prev = tasks'prev }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_18", match_err));;
-let task_struct_parser_19 kernel_version bits =
- bitmatch bits with
- | { state : zero+32 : offset(0), littleendian;
- prio : zero+32 : offset(192), littleendian;
- static_prio : zero+32 : offset(224), littleendian;
- normal_prio : zero+32 : offset(256), littleendian;
- tasks'next : zero+32 : offset(3552), littleendian;
- tasks'prev : zero+32 : offset(3584), littleendian;
- pid : zero+32 : offset(3904), littleendian;
- comm : 128 : offset(6272), string } ->
- { task_struct_comm = comm;
- task_struct_normal_prio = normal_prio;
- task_struct_pid = pid;
- task_struct_prio = prio;
- task_struct_run_list'next = None;
- task_struct_run_list'next_offset = -1;
- task_struct_run_list'next_adjustment = -1;
- task_struct_run_list'prev = None;
- task_struct_state = state;
- task_struct_static_prio = static_prio;
- task_struct_tasks'next = tasks'next;
- task_struct_tasks'next_offset = 444;
- task_struct_tasks'next_adjustment = 444;
- task_struct_tasks'prev = tasks'prev }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_19", match_err));;
-let task_struct_parser_20 kernel_version bits =
- bitmatch bits with
- | { state : zero+32 : offset(0), bigendian;
- prio : zero+32 : offset(160), bigendian;
- static_prio : zero+32 : offset(192), bigendian;
- normal_prio : zero+32 : offset(224), bigendian;
- run_list'next : zero+32 : offset(256), bigendian;
- run_list'prev : zero+32 : offset(288), bigendian;
- tasks'next : zero+32 : offset(2240), bigendian;
- tasks'prev : zero+32 : offset(2272), bigendian;
- pid : zero+32 : offset(2592), bigendian;
- comm : 128 : offset(4608), string } ->
- { task_struct_comm = comm;
- task_struct_normal_prio = normal_prio;
- task_struct_pid = pid;
- task_struct_prio = prio;
- task_struct_run_list'next = Some run_list'next;
- task_struct_run_list'next_offset = 32;
- task_struct_run_list'next_adjustment = 32;
- task_struct_run_list'prev = Some run_list'prev;
- task_struct_state = state;
- task_struct_static_prio = static_prio;
- task_struct_tasks'next = tasks'next;
- task_struct_tasks'next_offset = 280;
- task_struct_tasks'next_adjustment = 280;
- task_struct_tasks'prev = tasks'prev }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_20", match_err));;
-let task_struct_parser_21 kernel_version bits =
- bitmatch bits with
- | { state : zero+64 : offset(0), littleendian;
- prio : zero+32 : offset(256), littleendian;
- static_prio : zero+32 : offset(288), littleendian;
- normal_prio : zero+32 : offset(320), littleendian;
- tasks'next : zero+64 : offset(4480), littleendian;
- tasks'prev : zero+64 : offset(4544), littleendian;
- pid : zero+32 : offset(4992), littleendian;
- comm : 128 : offset(9024), string } ->
- { task_struct_comm = comm;
- task_struct_normal_prio = normal_prio;
- task_struct_pid = pid;
- task_struct_prio = prio;
- task_struct_run_list'next = None;
- task_struct_run_list'next_offset = -1;
- task_struct_run_list'next_adjustment = -1;
- task_struct_run_list'prev = None;
- task_struct_state = state;
- task_struct_static_prio = static_prio;
- task_struct_tasks'next = tasks'next;
- task_struct_tasks'next_offset = 560;
- task_struct_tasks'next_adjustment = 560;
- task_struct_tasks'prev = tasks'prev }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_21", match_err));;
-let task_struct_parser_22 kernel_version bits =
- bitmatch bits with
- | { state : zero+32 : offset(0), littleendian;
- prio : zero+32 : offset(160), littleendian;
- static_prio : zero+32 : offset(192), littleendian;
- normal_prio : zero+32 : offset(224), littleendian;
- tasks'next : zero+32 : offset(3200), littleendian;
- tasks'prev : zero+32 : offset(3232), littleendian;
- pid : zero+32 : offset(3552), littleendian;
- comm : 128 : offset(5896), string } ->
- { task_struct_comm = comm;
- task_struct_normal_prio = normal_prio;
- task_struct_pid = pid;
- task_struct_prio = prio;
- task_struct_run_list'next = None;
- task_struct_run_list'next_offset = -1;
- task_struct_run_list'next_adjustment = -1;
- task_struct_run_list'prev = None;
- task_struct_state = state;
- task_struct_static_prio = static_prio;
- task_struct_tasks'next = tasks'next;
- task_struct_tasks'next_offset = 400;
- task_struct_tasks'next_adjustment = 400;
- task_struct_tasks'prev = tasks'prev }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_22", match_err));;
-let task_struct_parser_23 kernel_version bits =
- bitmatch bits with
- | { state : zero+64 : offset(0), littleendian;
- prio : zero+32 : offset(224), littleendian;
- static_prio : zero+32 : offset(256), littleendian;
- normal_prio : zero+32 : offset(288), littleendian;
- run_list'next : zero+64 : offset(320), littleendian;
- run_list'prev : zero+64 : offset(384), littleendian;
- tasks'next : zero+64 : offset(2816), littleendian;
- tasks'prev : zero+64 : offset(2880), littleendian;
- pid : zero+32 : offset(3328), littleendian;
- comm : 128 : offset(6592), string } ->
- { task_struct_comm = comm;
- task_struct_normal_prio = normal_prio;
- task_struct_pid = pid;
- task_struct_prio = prio;
- task_struct_run_list'next = Some run_list'next;
- task_struct_run_list'next_offset = 40;
- task_struct_run_list'next_adjustment = 40;
- task_struct_run_list'prev = Some run_list'prev;
- task_struct_state = state;
- task_struct_static_prio = static_prio;
- task_struct_tasks'next = tasks'next;
- task_struct_tasks'next_offset = 352;
- task_struct_tasks'next_adjustment = 352;
- task_struct_tasks'prev = tasks'prev }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_23", match_err));;
-let task_struct_parser_24 kernel_version bits =
- bitmatch bits with
- | { state : zero+64 : offset(0), bigendian;
- prio : zero+32 : offset(224), bigendian;
- static_prio : zero+32 : offset(256), bigendian;
- normal_prio : zero+32 : offset(288), bigendian;
- run_list'next : zero+64 : offset(320), bigendian;
- run_list'prev : zero+64 : offset(384), bigendian;
- tasks'next : zero+64 : offset(2816), bigendian;
- tasks'prev : zero+64 : offset(2880), bigendian;
- pid : zero+32 : offset(3328), bigendian;
- comm : 128 : offset(6528), string } ->
- { task_struct_comm = comm;
- task_struct_normal_prio = normal_prio;
- task_struct_pid = pid;
- task_struct_prio = prio;
- task_struct_run_list'next = Some run_list'next;
- task_struct_run_list'next_offset = 40;
- task_struct_run_list'next_adjustment = 40;
- task_struct_run_list'prev = Some run_list'prev;
- task_struct_state = state;
- task_struct_static_prio = static_prio;
- task_struct_tasks'next = tasks'next;
- task_struct_tasks'next_offset = 352;
- task_struct_tasks'next_adjustment = 352;
- task_struct_tasks'prev = tasks'prev }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_24", match_err));;
-let task_struct_parser_25 kernel_version bits =
- bitmatch bits with
- | { state : zero+64 : offset(0), bigendian;
- prio : zero+32 : offset(224), bigendian;
- static_prio : zero+32 : offset(256), bigendian;
- normal_prio : zero+32 : offset(288), bigendian;
- run_list'next : zero+64 : offset(320), bigendian;
- run_list'prev : zero+64 : offset(384), bigendian;
- tasks'next : zero+64 : offset(2880), bigendian;
- tasks'prev : zero+64 : offset(2944), bigendian;
- pid : zero+32 : offset(3392), bigendian;
- comm : 128 : offset(6848), string } ->
- { task_struct_comm = comm;
- task_struct_normal_prio = normal_prio;
- task_struct_pid = pid;
- task_struct_prio = prio;
- task_struct_run_list'next = Some run_list'next;
- task_struct_run_list'next_offset = 40;
- task_struct_run_list'next_adjustment = 40;
- task_struct_run_list'prev = Some run_list'prev;
- task_struct_state = state;
- task_struct_static_prio = static_prio;
- task_struct_tasks'next = tasks'next;
- task_struct_tasks'next_offset = 360;
- task_struct_tasks'next_adjustment = 360;
- task_struct_tasks'prev = tasks'prev }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_25", match_err));;
-let task_struct_parser_26 kernel_version bits =
- bitmatch bits with
- | { state : zero+32 : offset(0), bigendian;
- prio : zero+32 : offset(192), bigendian;
- static_prio : zero+32 : offset(224), bigendian;
- normal_prio : zero+32 : offset(256), bigendian;
- run_list'next : zero+32 : offset(288), bigendian;
- run_list'prev : zero+32 : offset(320), bigendian;
- tasks'next : zero+32 : offset(1024), bigendian;
- tasks'prev : zero+32 : offset(1056), bigendian;
- pid : zero+32 : offset(1376), bigendian;
- comm : 128 : offset(3264), string } ->
- { task_struct_comm = comm;
- task_struct_normal_prio = normal_prio;
- task_struct_pid = pid;
- task_struct_prio = prio;
- task_struct_run_list'next = Some run_list'next;
- task_struct_run_list'next_offset = 36;
- task_struct_run_list'next_adjustment = 36;
- task_struct_run_list'prev = Some run_list'prev;
- task_struct_state = state;
- task_struct_static_prio = static_prio;
- task_struct_tasks'next = tasks'next;
- task_struct_tasks'next_offset = 128;
- task_struct_tasks'next_adjustment = 128;
- task_struct_tasks'prev = tasks'prev }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_26", match_err));;
-let task_struct_parser_27 kernel_version bits =
- bitmatch bits with
- | { state : zero+64 : offset(0), bigendian;
- prio : zero+32 : offset(224), bigendian;
- static_prio : zero+32 : offset(256), bigendian;
- normal_prio : zero+32 : offset(288), bigendian;
- run_list'next : zero+64 : offset(320), bigendian;
- run_list'prev : zero+64 : offset(384), bigendian;
- tasks'next : zero+64 : offset(2880), bigendian;
- tasks'prev : zero+64 : offset(2944), bigendian;
- pid : zero+32 : offset(3392), bigendian;
- comm : 128 : offset(6592), string } ->
- { task_struct_comm = comm;
- task_struct_normal_prio = normal_prio;
- task_struct_pid = pid;
- task_struct_prio = prio;
- task_struct_run_list'next = Some run_list'next;
- task_struct_run_list'next_offset = 40;
- task_struct_run_list'next_adjustment = 40;
- task_struct_run_list'prev = Some run_list'prev;
- task_struct_state = state;
- task_struct_static_prio = static_prio;
- task_struct_tasks'next = tasks'next;
- task_struct_tasks'next_offset = 360;
- task_struct_tasks'next_adjustment = 360;
- task_struct_tasks'prev = tasks'prev }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_27", match_err));;
-let task_struct_parser_28 kernel_version bits =
- bitmatch bits with
- | { state : zero+32 : offset(0), littleendian;
- prio : zero+32 : offset(192), littleendian;
- static_prio : zero+32 : offset(224), littleendian;
- normal_prio : zero+32 : offset(256), littleendian;
- run_list'next : zero+32 : offset(288), littleendian;
- run_list'prev : zero+32 : offset(320), littleendian;
- tasks'next : zero+32 : offset(2208), littleendian;
- tasks'prev : zero+32 : offset(2240), littleendian;
- pid : zero+32 : offset(2688), littleendian;
- comm : 128 : offset(4608), string } ->
- { task_struct_comm = comm;
- task_struct_normal_prio = normal_prio;
- task_struct_pid = pid;
- task_struct_prio = prio;
- task_struct_run_list'next = Some run_list'next;
- task_struct_run_list'next_offset = 36;
- task_struct_run_list'next_adjustment = 36;
- task_struct_run_list'prev = Some run_list'prev;
- task_struct_state = state;
- task_struct_static_prio = static_prio;
- task_struct_tasks'next = tasks'next;
- task_struct_tasks'next_offset = 276;
- task_struct_tasks'next_adjustment = 276;
- task_struct_tasks'prev = tasks'prev }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_28", match_err));;
-let task_struct_parser_29 kernel_version bits =
- bitmatch bits with
- | { state : zero+32 : offset(0), bigendian;
- prio : zero+32 : offset(160), bigendian;
- static_prio : zero+32 : offset(192), bigendian;
- normal_prio : zero+32 : offset(224), bigendian;
- tasks'next : zero+32 : offset(3328), bigendian;
- tasks'prev : zero+32 : offset(3360), bigendian;
- pid : zero+32 : offset(3680), bigendian;
- comm : 128 : offset(6056), string } ->
- { task_struct_comm = comm;
- task_struct_normal_prio = normal_prio;
- task_struct_pid = pid;
- task_struct_prio = prio;
- task_struct_run_list'next = None;
- task_struct_run_list'next_offset = -1;
- task_struct_run_list'next_adjustment = -1;
- task_struct_run_list'prev = None;
- task_struct_state = state;
- task_struct_static_prio = static_prio;
- task_struct_tasks'next = tasks'next;
- task_struct_tasks'next_offset = 416;
- task_struct_tasks'next_adjustment = 416;
- task_struct_tasks'prev = tasks'prev }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_29", match_err));;
-let task_struct_parser_30 kernel_version bits =
- bitmatch bits with
- | { state : zero+64 : offset(0), bigendian;
- prio : zero+32 : offset(256), bigendian;
- static_prio : zero+32 : offset(288), bigendian;
- normal_prio : zero+32 : offset(320), bigendian;
- tasks'next : zero+64 : offset(4480), bigendian;
- tasks'prev : zero+64 : offset(4544), bigendian;
- pid : zero+32 : offset(4992), bigendian;
- comm : 128 : offset(9024), string } ->
- { task_struct_comm = comm;
- task_struct_normal_prio = normal_prio;
- task_struct_pid = pid;
- task_struct_prio = prio;
- task_struct_run_list'next = None;
- task_struct_run_list'next_offset = -1;
- task_struct_run_list'next_adjustment = -1;
- task_struct_run_list'prev = None;
- task_struct_state = state;
- task_struct_static_prio = static_prio;
- task_struct_tasks'next = tasks'next;
- task_struct_tasks'next_offset = 560;
- task_struct_tasks'next_adjustment = 560;
- task_struct_tasks'prev = tasks'prev }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_30", match_err));;
-let task_struct_parser_31 kernel_version bits =
- bitmatch bits with
- | { state : zero+32 : offset(0), littleendian;
- prio : zero+32 : offset(192), littleendian;
- static_prio : zero+32 : offset(224), littleendian;
- normal_prio : zero+32 : offset(256), littleendian;
- tasks'next : zero+32 : offset(3584), littleendian;
- tasks'prev : zero+32 : offset(3616), littleendian;
- pid : zero+32 : offset(3936), littleendian;
- comm : 128 : offset(6304), string } ->
- { task_struct_comm = comm;
- task_struct_normal_prio = normal_prio;
- task_struct_pid = pid;
- task_struct_prio = prio;
- task_struct_run_list'next = None;
- task_struct_run_list'next_offset = -1;
- task_struct_run_list'next_adjustment = -1;
- task_struct_run_list'prev = None;
- task_struct_state = state;
- task_struct_static_prio = static_prio;
- task_struct_tasks'next = tasks'next;
- task_struct_tasks'next_offset = 448;
- task_struct_tasks'next_adjustment = 448;
- task_struct_tasks'prev = tasks'prev }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_31", match_err));;
-let task_struct_parser_32 kernel_version bits =
- bitmatch bits with
- | { state : zero+32 : offset(0), bigendian;
- prio : zero+32 : offset(192), bigendian;
- static_prio : zero+32 : offset(224), bigendian;
- normal_prio : zero+32 : offset(256), bigendian;
- tasks'next : zero+32 : offset(3392), bigendian;
- tasks'prev : zero+32 : offset(3424), bigendian;
- pid : zero+32 : offset(3744), bigendian;
- comm : 128 : offset(6120), string } ->
- { task_struct_comm = comm;
- task_struct_normal_prio = normal_prio;
- task_struct_pid = pid;
- task_struct_prio = prio;
- task_struct_run_list'next = None;
- task_struct_run_list'next_offset = -1;
- task_struct_run_list'next_adjustment = -1;
- task_struct_run_list'prev = None;
- task_struct_state = state;
- task_struct_static_prio = static_prio;
- task_struct_tasks'next = tasks'next;
- task_struct_tasks'next_offset = 424;
- task_struct_tasks'next_adjustment = 424;
- task_struct_tasks'prev = tasks'prev }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_32", match_err));;
-let task_struct_parser_33 kernel_version bits =
- bitmatch bits with
- | { state : zero+64 : offset(0), littleendian;
- prio : zero+32 : offset(224), littleendian;
- static_prio : zero+32 : offset(256), littleendian;
- normal_prio : zero+32 : offset(288), littleendian;
- run_list'next : zero+64 : offset(320), littleendian;
- run_list'prev : zero+64 : offset(384), littleendian;
- tasks'next : zero+64 : offset(3648), littleendian;
- tasks'prev : zero+64 : offset(3712), littleendian;
- pid : zero+32 : offset(4160), littleendian;
- comm : 128 : offset(7816), string } ->
- { task_struct_comm = comm;
- task_struct_normal_prio = normal_prio;
- task_struct_pid = pid;
- task_struct_prio = prio;
- task_struct_run_list'next = Some run_list'next;
- task_struct_run_list'next_offset = 40;
- task_struct_run_list'next_adjustment = 40;
- task_struct_run_list'prev = Some run_list'prev;
- task_struct_state = state;
- task_struct_static_prio = static_prio;
- task_struct_tasks'next = tasks'next;
- task_struct_tasks'next_offset = 456;
- task_struct_tasks'next_adjustment = 456;
- task_struct_tasks'prev = tasks'prev }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_33", match_err));;
-let task_struct_parser_34 kernel_version bits =
- bitmatch bits with
- | { state : zero+64 : offset(0), littleendian;
- prio : zero+32 : offset(256), littleendian;
- static_prio : zero+32 : offset(288), littleendian;
- normal_prio : zero+32 : offset(320), littleendian;
- run_list'next : zero+64 : offset(384), littleendian;
- run_list'prev : zero+64 : offset(448), littleendian;
- tasks'next : zero+64 : offset(1408), littleendian;
- tasks'prev : zero+64 : offset(1472), littleendian;
- pid : zero+32 : offset(1920), littleendian;
- comm : 128 : offset(5184), string } ->
- { task_struct_comm = comm;
- task_struct_normal_prio = normal_prio;
- task_struct_pid = pid;
- task_struct_prio = prio;
- task_struct_run_list'next = Some run_list'next;
- task_struct_run_list'next_offset = 48;
- task_struct_run_list'next_adjustment = 48;
- task_struct_run_list'prev = Some run_list'prev;
- task_struct_state = state;
- task_struct_static_prio = static_prio;
- task_struct_tasks'next = tasks'next;
- task_struct_tasks'next_offset = 176;
- task_struct_tasks'next_adjustment = 176;
- task_struct_tasks'prev = tasks'prev }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_34", match_err));;
-let task_struct_parser_35 kernel_version bits =
- bitmatch bits with
- | { state : zero+32 : offset(0), littleendian;
- prio : zero+32 : offset(192), littleendian;
- static_prio : zero+32 : offset(224), littleendian;
- normal_prio : zero+32 : offset(256), littleendian;
- tasks'next : zero+32 : offset(3328), littleendian;
- tasks'prev : zero+32 : offset(3360), littleendian;
- pid : zero+32 : offset(3680), littleendian;
- comm : 128 : offset(6056), string } ->
- { task_struct_comm = comm;
- task_struct_normal_prio = normal_prio;
- task_struct_pid = pid;
- task_struct_prio = prio;
- task_struct_run_list'next = None;
- task_struct_run_list'next_offset = -1;
- task_struct_run_list'next_adjustment = -1;
- task_struct_run_list'prev = None;
- task_struct_state = state;
- task_struct_static_prio = static_prio;
- task_struct_tasks'next = tasks'next;
- task_struct_tasks'next_offset = 416;
- task_struct_tasks'next_adjustment = 416;
- task_struct_tasks'prev = tasks'prev }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_35", match_err));;
-let task_struct_parser_36 kernel_version bits =
- bitmatch bits with
- | { state : zero+64 : offset(0), littleendian;
- prio : zero+32 : offset(224), littleendian;
- static_prio : zero+32 : offset(256), littleendian;
- normal_prio : zero+32 : offset(288), littleendian;
- run_list'next : zero+64 : offset(320), littleendian;
- run_list'prev : zero+64 : offset(384), littleendian;
- tasks'next : zero+64 : offset(2816), littleendian;
- tasks'prev : zero+64 : offset(2880), littleendian;
- pid : zero+32 : offset(3328), littleendian;
- comm : 128 : offset(6848), string } ->
- { task_struct_comm = comm;
- task_struct_normal_prio = normal_prio;
- task_struct_pid = pid;
- task_struct_prio = prio;
- task_struct_run_list'next = Some run_list'next;
- task_struct_run_list'next_offset = 40;
- task_struct_run_list'next_adjustment = 40;
- task_struct_run_list'prev = Some run_list'prev;
- task_struct_state = state;
- task_struct_static_prio = static_prio;
- task_struct_tasks'next = tasks'next;
- task_struct_tasks'next_offset = 352;
- task_struct_tasks'next_adjustment = 352;
- task_struct_tasks'prev = tasks'prev }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_36", match_err));;
-let task_struct_parser_37 kernel_version bits =
- bitmatch bits with
- | { state : zero+64 : offset(0), bigendian;
- prio : zero+32 : offset(256), bigendian;
- static_prio : zero+32 : offset(288), bigendian;
- normal_prio : zero+32 : offset(320), bigendian;
- run_list'next : zero+64 : offset(384), bigendian;
- run_list'prev : zero+64 : offset(448), bigendian;
- tasks'next : zero+64 : offset(2688), bigendian;
- tasks'prev : zero+64 : offset(2752), bigendian;
- pid : zero+32 : offset(3456), bigendian;
- comm : 128 : offset(6720), string } ->
- { task_struct_comm = comm;
- task_struct_normal_prio = normal_prio;
- task_struct_pid = pid;
- task_struct_prio = prio;
- task_struct_run_list'next = Some run_list'next;
- task_struct_run_list'next_offset = 48;
- task_struct_run_list'next_adjustment = 48;
- task_struct_run_list'prev = Some run_list'prev;
- task_struct_state = state;
- task_struct_static_prio = static_prio;
- task_struct_tasks'next = tasks'next;
- task_struct_tasks'next_offset = 336;
- task_struct_tasks'next_adjustment = 336;
- task_struct_tasks'prev = tasks'prev }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_37", match_err));;
-let task_struct_parser_38 kernel_version bits =
- bitmatch bits with
- | { state : zero+32 : offset(0), bigendian;
- prio : zero+32 : offset(160), bigendian;
- static_prio : zero+32 : offset(192), bigendian;
- normal_prio : zero+32 : offset(224), bigendian;
- run_list'next : zero+32 : offset(256), bigendian;
- run_list'prev : zero+32 : offset(288), bigendian;
- tasks'next : zero+32 : offset(2240), bigendian;
- tasks'prev : zero+32 : offset(2272), bigendian;
- pid : zero+32 : offset(2592), bigendian;
- comm : 128 : offset(4480), string } ->
- { task_struct_comm = comm;
- task_struct_normal_prio = normal_prio;
- task_struct_pid = pid;
- task_struct_prio = prio;
- task_struct_run_list'next = Some run_list'next;
- task_struct_run_list'next_offset = 32;
- task_struct_run_list'next_adjustment = 32;
- task_struct_run_list'prev = Some run_list'prev;
- task_struct_state = state;
- task_struct_static_prio = static_prio;
- task_struct_tasks'next = tasks'next;
- task_struct_tasks'next_offset = 280;
- task_struct_tasks'next_adjustment = 280;
- task_struct_tasks'prev = tasks'prev }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_38", match_err));;
-let task_struct_parser_39 kernel_version bits =
- bitmatch bits with
- | { state : zero+32 : offset(0), littleendian;
- prio : zero+32 : offset(160), littleendian;
- static_prio : zero+32 : offset(192), littleendian;
- normal_prio : zero+32 : offset(224), littleendian;
- run_list'next : zero+32 : offset(256), littleendian;
- run_list'prev : zero+32 : offset(288), littleendian;
- tasks'next : zero+32 : offset(2144), littleendian;
- tasks'prev : zero+32 : offset(2176), littleendian;
- pid : zero+32 : offset(2496), littleendian;
- comm : 128 : offset(4384), string } ->
- { task_struct_comm = comm;
- task_struct_normal_prio = normal_prio;
- task_struct_pid = pid;
- task_struct_prio = prio;
- task_struct_run_list'next = Some run_list'next;
- task_struct_run_list'next_offset = 32;
- task_struct_run_list'next_adjustment = 32;
- task_struct_run_list'prev = Some run_list'prev;
- task_struct_state = state;
- task_struct_static_prio = static_prio;
- task_struct_tasks'next = tasks'next;
- task_struct_tasks'next_offset = 268;
- task_struct_tasks'next_adjustment = 268;
- task_struct_tasks'prev = tasks'prev }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_39", match_err));;
-let task_struct_parser_40 kernel_version bits =
- bitmatch bits with
- | { state : zero+64 : offset(0), bigendian;
- prio : zero+32 : offset(256), bigendian;
- static_prio : zero+32 : offset(288), bigendian;
- normal_prio : zero+32 : offset(320), bigendian;
- run_list'next : zero+64 : offset(384), bigendian;
- run_list'prev : zero+64 : offset(448), bigendian;
- tasks'next : zero+64 : offset(2880), bigendian;
- tasks'prev : zero+64 : offset(2944), bigendian;
- pid : zero+32 : offset(3648), bigendian;
- comm : 128 : offset(6912), string } ->
- { task_struct_comm = comm;
- task_struct_normal_prio = normal_prio;
- task_struct_pid = pid;
- task_struct_prio = prio;
- task_struct_run_list'next = Some run_list'next;
- task_struct_run_list'next_offset = 48;
- task_struct_run_list'next_adjustment = 48;
- task_struct_run_list'prev = Some run_list'prev;
- task_struct_state = state;
- task_struct_static_prio = static_prio;
- task_struct_tasks'next = tasks'next;
- task_struct_tasks'next_offset = 360;
- task_struct_tasks'next_adjustment = 360;
- task_struct_tasks'prev = tasks'prev }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_40", match_err));;
-let task_struct_parser_41 kernel_version bits =
- bitmatch bits with
- | { state : zero+64 : offset(0), littleendian;
- prio : zero+32 : offset(224), littleendian;
- static_prio : zero+32 : offset(256), littleendian;
- normal_prio : zero+32 : offset(288), littleendian;
- run_list'next : zero+64 : offset(320), littleendian;
- run_list'prev : zero+64 : offset(384), littleendian;
- tasks'next : zero+64 : offset(2752), littleendian;
- tasks'prev : zero+64 : offset(2816), littleendian;
- pid : zero+32 : offset(3264), littleendian;
- comm : 128 : offset(6528), string } ->
- { task_struct_comm = comm;
- task_struct_normal_prio = normal_prio;
- task_struct_pid = pid;
- task_struct_prio = prio;
- task_struct_run_list'next = Some run_list'next;
- task_struct_run_list'next_offset = 40;
- task_struct_run_list'next_adjustment = 40;
- task_struct_run_list'prev = Some run_list'prev;
- task_struct_state = state;
- task_struct_static_prio = static_prio;
- task_struct_tasks'next = tasks'next;
- task_struct_tasks'next_offset = 344;
- task_struct_tasks'next_adjustment = 344;
- task_struct_tasks'prev = tasks'prev }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_41", match_err));;
-let task_struct_parser_42 kernel_version bits =
- bitmatch bits with
- | { state : zero+32 : offset(0), littleendian;
- prio : zero+32 : offset(192), littleendian;
- static_prio : zero+32 : offset(224), littleendian;
- normal_prio : zero+32 : offset(256), littleendian;
- run_list'next : zero+32 : offset(288), littleendian;
- run_list'prev : zero+32 : offset(320), littleendian;
- tasks'next : zero+32 : offset(2144), littleendian;
- tasks'prev : zero+32 : offset(2176), littleendian;
- pid : zero+32 : offset(2624), littleendian;
- comm : 128 : offset(4544), string } ->
- { task_struct_comm = comm;
- task_struct_normal_prio = normal_prio;
- task_struct_pid = pid;
- task_struct_prio = prio;
- task_struct_run_list'next = Some run_list'next;
- task_struct_run_list'next_offset = 36;
- task_struct_run_list'next_adjustment = 36;
- task_struct_run_list'prev = Some run_list'prev;
- task_struct_state = state;
- task_struct_static_prio = static_prio;
- task_struct_tasks'next = tasks'next;
- task_struct_tasks'next_offset = 268;
- task_struct_tasks'next_adjustment = 268;
- task_struct_tasks'prev = tasks'prev }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_42", match_err));;
-let task_struct_parser_43 kernel_version bits =
- bitmatch bits with
- | { state : zero+64 : offset(0), littleendian;
- prio : zero+32 : offset(320), littleendian;
- static_prio : zero+32 : offset(352), littleendian;
- normal_prio : zero+32 : offset(384), littleendian;
- run_list'next : zero+64 : offset(448), littleendian;
- run_list'prev : zero+64 : offset(512), littleendian;
- tasks'next : zero+64 : offset(1728), littleendian;
- tasks'prev : zero+64 : offset(1792), littleendian;
- pid : zero+32 : offset(2336), littleendian;
- comm : 128 : offset(5568), string } ->
- { task_struct_comm = comm;
- task_struct_normal_prio = normal_prio;
- task_struct_pid = pid;
- task_struct_prio = prio;
- task_struct_run_list'next = Some run_list'next;
- task_struct_run_list'next_offset = 56;
- task_struct_run_list'next_adjustment = 56;
- task_struct_run_list'prev = Some run_list'prev;
- task_struct_state = state;
- task_struct_static_prio = static_prio;
- task_struct_tasks'next = tasks'next;
- task_struct_tasks'next_offset = 216;
- task_struct_tasks'next_adjustment = 216;
- task_struct_tasks'prev = tasks'prev }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_43", match_err));;
-let task_struct_parser_44 kernel_version bits =
- bitmatch bits with
- | { state : zero+64 : offset(0), littleendian;
- prio : zero+32 : offset(256), littleendian;
- static_prio : zero+32 : offset(288), littleendian;
- normal_prio : zero+32 : offset(320), littleendian;
- tasks'next : zero+64 : offset(4096), littleendian;
- tasks'prev : zero+64 : offset(4160), littleendian;
- pid : zero+32 : offset(4608), littleendian;
- comm : 128 : offset(8712), string } ->
- { task_struct_comm = comm;
- task_struct_normal_prio = normal_prio;
- task_struct_pid = pid;
- task_struct_prio = prio;
- task_struct_run_list'next = None;
- task_struct_run_list'next_offset = -1;
- task_struct_run_list'next_adjustment = -1;
- task_struct_run_list'prev = None;
- task_struct_state = state;
- task_struct_static_prio = static_prio;
- task_struct_tasks'next = tasks'next;
- task_struct_tasks'next_offset = 512;
- task_struct_tasks'next_adjustment = 512;
- task_struct_tasks'prev = tasks'prev }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_44", match_err));;
-let task_struct_parser_45 kernel_version bits =
- bitmatch bits with
- | { state : zero+32 : offset(0), littleendian;
- prio : zero+32 : offset(160), littleendian;
- static_prio : zero+32 : offset(192), littleendian;
- normal_prio : zero+32 : offset(224), littleendian;
- run_list'next : zero+32 : offset(256), littleendian;
- run_list'prev : zero+32 : offset(288), littleendian;
- tasks'next : zero+32 : offset(2176), littleendian;
- tasks'prev : zero+32 : offset(2208), littleendian;
- pid : zero+32 : offset(2528), littleendian;
- comm : 128 : offset(4416), string } ->
- { task_struct_comm = comm;
- task_struct_normal_prio = normal_prio;
- task_struct_pid = pid;
- task_struct_prio = prio;
- task_struct_run_list'next = Some run_list'next;
- task_struct_run_list'next_offset = 32;
- task_struct_run_list'next_adjustment = 32;
- task_struct_run_list'prev = Some run_list'prev;
- task_struct_state = state;
- task_struct_static_prio = static_prio;
- task_struct_tasks'next = tasks'next;
- task_struct_tasks'next_offset = 272;
- task_struct_tasks'next_adjustment = 272;
- task_struct_tasks'prev = tasks'prev }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_45", match_err));;
-let task_struct_parser_46 kernel_version bits =
- bitmatch bits with
- | { state : zero+32 : offset(0), bigendian;
- prio : zero+32 : offset(192), bigendian;
- static_prio : zero+32 : offset(224), bigendian;
- normal_prio : zero+32 : offset(256), bigendian;
- run_list'next : zero+32 : offset(288), bigendian;
- run_list'prev : zero+32 : offset(320), bigendian;
- tasks'next : zero+32 : offset(2240), bigendian;
- tasks'prev : zero+32 : offset(2272), bigendian;
- pid : zero+32 : offset(2720), bigendian;
- comm : 128 : offset(4672), string } ->
- { task_struct_comm = comm;
- task_struct_normal_prio = normal_prio;
- task_struct_pid = pid;
- task_struct_prio = prio;
- task_struct_run_list'next = Some run_list'next;
- task_struct_run_list'next_offset = 36;
- task_struct_run_list'next_adjustment = 36;
- task_struct_run_list'prev = Some run_list'prev;
- task_struct_state = state;
- task_struct_static_prio = static_prio;
- task_struct_tasks'next = tasks'next;
- task_struct_tasks'next_offset = 280;
- task_struct_tasks'next_adjustment = 280;
- task_struct_tasks'prev = tasks'prev }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_46", match_err));;
-let task_struct_parser_47 kernel_version bits =
- bitmatch bits with
- | { state : zero+64 : offset(0), littleendian;
- prio : zero+32 : offset(256), littleendian;
- static_prio : zero+32 : offset(288), littleendian;
- normal_prio : zero+32 : offset(320), littleendian;
- run_list'next : zero+64 : offset(384), littleendian;
- run_list'prev : zero+64 : offset(448), littleendian;
- tasks'next : zero+64 : offset(2624), littleendian;
- tasks'prev : zero+64 : offset(2688), littleendian;
- pid : zero+32 : offset(3392), littleendian;
- comm : 128 : offset(6720), string } ->
- { task_struct_comm = comm;
- task_struct_normal_prio = normal_prio;
- task_struct_pid = pid;
- task_struct_prio = prio;
- task_struct_run_list'next = Some run_list'next;
- task_struct_run_list'next_offset = 48;
- task_struct_run_list'next_adjustment = 48;
- task_struct_run_list'prev = Some run_list'prev;
- task_struct_state = state;
- task_struct_static_prio = static_prio;
- task_struct_tasks'next = tasks'next;
- task_struct_tasks'next_offset = 328;
- task_struct_tasks'next_adjustment = 328;
- task_struct_tasks'prev = tasks'prev }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("task_struct", "task_struct_parser_47", match_err));;
-let net_device_parser_48 kernel_version bits =
- bitmatch bits with
- | { name : 128 : offset(0), string;
- next : zero+32 : offset(384), littleendian;
- flags : zero+32 : offset(704), littleendian;
- operstate : zero+8 : offset(784), littleendian;
- mtu : zero+32 : offset(800), littleendian;
- perm_addr : 256 : offset(896), string;
- addr_len : zero+8 : offset(1152), littleendian;
- ip_ptr : zero+32 : offset(1344), littleendian;
- ip6_ptr : zero+32 : offset(1408), littleendian } ->
- { net_device_addr_len = addr_len;
- net_device_dev_list'next = None;
- net_device_dev_list'next_offset = -1;
- net_device_dev_list'next_adjustment = -1;
- net_device_dev_list'prev = None;
- net_device_flags = flags;
- net_device_ip6_ptr = ip6_ptr;
- net_device_ip_ptr = ip_ptr;
- net_device_mtu = mtu;
- net_device_name = name;
- net_device_next = Some next;
- net_device_operstate = operstate;
- net_device_perm_addr = perm_addr }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_48", match_err));;
-let net_device_parser_49 kernel_version bits =
- bitmatch bits with
- | { name : 128 : offset(0), string;
- dev_list'next : zero+64 : offset(576), bigendian;
- dev_list'prev : zero+64 : offset(640), bigendian;
- flags : zero+32 : offset(2880), bigendian;
- operstate : zero+8 : offset(2960), bigendian;
- mtu : zero+32 : offset(2976), bigendian;
- perm_addr : 256 : offset(3136), string;
- addr_len : zero+8 : offset(3392), bigendian;
- ip_ptr : zero+64 : offset(3840), bigendian;
- ip6_ptr : zero+64 : offset(3968), bigendian } ->
- { net_device_addr_len = addr_len;
- net_device_dev_list'next = Some dev_list'next;
- net_device_dev_list'next_offset = 72;
- net_device_dev_list'next_adjustment = 72;
- net_device_dev_list'prev = Some dev_list'prev;
- net_device_flags = flags;
- net_device_ip6_ptr = ip6_ptr;
- net_device_ip_ptr = ip_ptr;
- net_device_mtu = mtu;
- net_device_name = name;
- net_device_next = None;
- net_device_operstate = operstate;
- net_device_perm_addr = perm_addr }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_49", match_err));;
-let net_device_parser_50 kernel_version bits =
- bitmatch bits with
- | { name : 128 : offset(0), string;
- dev_list'next : zero+32 : offset(384), bigendian;
- dev_list'prev : zero+32 : offset(416), bigendian;
- flags : zero+32 : offset(1472), bigendian;
- operstate : zero+8 : offset(1552), bigendian;
- mtu : zero+32 : offset(1568), bigendian;
- perm_addr : 256 : offset(1664), string;
- addr_len : zero+8 : offset(1920), bigendian;
- ip_ptr : zero+32 : offset(2112), bigendian;
- ip6_ptr : zero+32 : offset(2176), bigendian } ->
- { net_device_addr_len = addr_len;
- net_device_dev_list'next = Some dev_list'next;
- net_device_dev_list'next_offset = 48;
- net_device_dev_list'next_adjustment = 48;
- net_device_dev_list'prev = Some dev_list'prev;
- net_device_flags = flags;
- net_device_ip6_ptr = ip6_ptr;
- net_device_ip_ptr = ip_ptr;
- net_device_mtu = mtu;
- net_device_name = name;
- net_device_next = None;
- net_device_operstate = operstate;
- net_device_perm_addr = perm_addr }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_50", match_err));;
-let net_device_parser_51 kernel_version bits =
- bitmatch bits with
- | { name : 128 : offset(0), string;
- dev_list'next : zero+64 : offset(576), littleendian;
- dev_list'prev : zero+64 : offset(640), littleendian;
- flags : zero+32 : offset(2880), littleendian;
- operstate : zero+8 : offset(2960), littleendian;
- mtu : zero+32 : offset(2976), littleendian;
- perm_addr : 256 : offset(3136), string;
- addr_len : zero+8 : offset(3392), littleendian;
- ip_ptr : zero+64 : offset(3840), littleendian;
- ip6_ptr : zero+64 : offset(3968), littleendian } ->
- { net_device_addr_len = addr_len;
- net_device_dev_list'next = Some dev_list'next;
- net_device_dev_list'next_offset = 72;
- net_device_dev_list'next_adjustment = 72;
- net_device_dev_list'prev = Some dev_list'prev;
- net_device_flags = flags;
- net_device_ip6_ptr = ip6_ptr;
- net_device_ip_ptr = ip_ptr;
- net_device_mtu = mtu;
- net_device_name = name;
- net_device_next = None;
- net_device_operstate = operstate;
- net_device_perm_addr = perm_addr }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_51", match_err));;
-let net_device_parser_52 kernel_version bits =
- bitmatch bits with
- | { name : 128 : offset(0), string;
- next : zero+64 : offset(576), littleendian;
- flags : zero+32 : offset(1152), littleendian;
- operstate : zero+8 : offset(1232), littleendian;
- mtu : zero+32 : offset(1248), littleendian;
- perm_addr : 256 : offset(1408), string;
- addr_len : zero+8 : offset(1664), littleendian;
- ip_ptr : zero+64 : offset(1984), littleendian;
- ip6_ptr : zero+64 : offset(2112), littleendian } ->
- { net_device_addr_len = addr_len;
- net_device_dev_list'next = None;
- net_device_dev_list'next_offset = -1;
- net_device_dev_list'next_adjustment = -1;
- net_device_dev_list'prev = None;
- net_device_flags = flags;
- net_device_ip6_ptr = ip6_ptr;
- net_device_ip_ptr = ip_ptr;
- net_device_mtu = mtu;
- net_device_name = name;
- net_device_next = Some next;
- net_device_operstate = operstate;
- net_device_perm_addr = perm_addr }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_52", match_err));;
-let net_device_parser_53 kernel_version bits =
- bitmatch bits with
- | { name : 128 : offset(0), string;
- dev_list'next : zero+32 : offset(384), bigendian;
- dev_list'prev : zero+32 : offset(416), bigendian;
- flags : zero+32 : offset(1536), bigendian;
- operstate : zero+8 : offset(1616), bigendian;
- mtu : zero+32 : offset(1632), bigendian;
- perm_addr : 256 : offset(1760), string;
- addr_len : zero+8 : offset(2016), bigendian;
- ip_ptr : zero+32 : offset(2432), bigendian;
- ip6_ptr : zero+32 : offset(2496), bigendian } ->
- { net_device_addr_len = addr_len;
- net_device_dev_list'next = Some dev_list'next;
- net_device_dev_list'next_offset = 48;
- net_device_dev_list'next_adjustment = 48;
- net_device_dev_list'prev = Some dev_list'prev;
- net_device_flags = flags;
- net_device_ip6_ptr = ip6_ptr;
- net_device_ip_ptr = ip_ptr;
- net_device_mtu = mtu;
- net_device_name = name;
- net_device_next = None;
- net_device_operstate = operstate;
- net_device_perm_addr = perm_addr }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_53", match_err));;
-let net_device_parser_54 kernel_version bits =
- bitmatch bits with
- | { name : 128 : offset(0), string;
- next : zero+64 : offset(576), bigendian;
- flags : zero+32 : offset(1152), bigendian;
- operstate : zero+8 : offset(1232), bigendian;
- mtu : zero+32 : offset(1248), bigendian;
- perm_addr : 256 : offset(1408), string;
- addr_len : zero+8 : offset(1664), bigendian;
- ip_ptr : zero+64 : offset(1984), bigendian;
- ip6_ptr : zero+64 : offset(2112), bigendian } ->
- { net_device_addr_len = addr_len;
- net_device_dev_list'next = None;
- net_device_dev_list'next_offset = -1;
- net_device_dev_list'next_adjustment = -1;
- net_device_dev_list'prev = None;
- net_device_flags = flags;
- net_device_ip6_ptr = ip6_ptr;
- net_device_ip_ptr = ip_ptr;
- net_device_mtu = mtu;
- net_device_name = name;
- net_device_next = Some next;
- net_device_operstate = operstate;
- net_device_perm_addr = perm_addr }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_54", match_err));;
-let net_device_parser_55 kernel_version bits =
- bitmatch bits with
- | { name : 128 : offset(0), string;
- dev_list'next : zero+32 : offset(384), littleendian;
- dev_list'prev : zero+32 : offset(416), littleendian;
- flags : zero+32 : offset(1568), littleendian;
- operstate : zero+8 : offset(1648), littleendian;
- mtu : zero+32 : offset(1664), littleendian;
- perm_addr : 256 : offset(1760), string;
- addr_len : zero+8 : offset(2016), littleendian;
- ip_ptr : zero+32 : offset(2304), littleendian;
- ip6_ptr : zero+32 : offset(2368), littleendian } ->
- { net_device_addr_len = addr_len;
- net_device_dev_list'next = Some dev_list'next;
- net_device_dev_list'next_offset = 48;
- net_device_dev_list'next_adjustment = 48;
- net_device_dev_list'prev = Some dev_list'prev;
- net_device_flags = flags;
- net_device_ip6_ptr = ip6_ptr;
- net_device_ip_ptr = ip_ptr;
- net_device_mtu = mtu;
- net_device_name = name;
- net_device_next = None;
- net_device_operstate = operstate;
- net_device_perm_addr = perm_addr }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_55", match_err));;
-let net_device_parser_56 kernel_version bits =
- bitmatch bits with
- | { name : 128 : offset(0), string;
- next : zero+64 : offset(576), littleendian;
- flags : zero+32 : offset(1216), littleendian;
- operstate : zero+8 : offset(1296), littleendian;
- mtu : zero+32 : offset(1312), littleendian;
- perm_addr : 256 : offset(1472), string;
- addr_len : zero+8 : offset(1728), littleendian;
- ip_ptr : zero+64 : offset(2048), littleendian;
- ip6_ptr : zero+64 : offset(2176), littleendian } ->
- { net_device_addr_len = addr_len;
- net_device_dev_list'next = None;
- net_device_dev_list'next_offset = -1;
- net_device_dev_list'next_adjustment = -1;
- net_device_dev_list'prev = None;
- net_device_flags = flags;
- net_device_ip6_ptr = ip6_ptr;
- net_device_ip_ptr = ip_ptr;
- net_device_mtu = mtu;
- net_device_name = name;
- net_device_next = Some next;
- net_device_operstate = operstate;
- net_device_perm_addr = perm_addr }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_56", match_err));;
-let net_device_parser_57 kernel_version bits =
- bitmatch bits with
- | { name : 128 : offset(0), string;
- dev_list'next : zero+64 : offset(576), littleendian;
- dev_list'prev : zero+64 : offset(640), littleendian;
- flags : zero+32 : offset(2688), littleendian;
- operstate : zero+8 : offset(2768), littleendian;
- mtu : zero+32 : offset(2784), littleendian;
- perm_addr : 256 : offset(2944), string;
- addr_len : zero+8 : offset(3200), littleendian;
- ip_ptr : zero+64 : offset(3520), littleendian;
- ip6_ptr : zero+64 : offset(3648), littleendian } ->
- { net_device_addr_len = addr_len;
- net_device_dev_list'next = Some dev_list'next;
- net_device_dev_list'next_offset = 72;
- net_device_dev_list'next_adjustment = 72;
- net_device_dev_list'prev = Some dev_list'prev;
- net_device_flags = flags;
- net_device_ip6_ptr = ip6_ptr;
- net_device_ip_ptr = ip_ptr;
- net_device_mtu = mtu;
- net_device_name = name;
- net_device_next = None;
- net_device_operstate = operstate;
- net_device_perm_addr = perm_addr }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_57", match_err));;
-let net_device_parser_58 kernel_version bits =
- bitmatch bits with
- | { name : 128 : offset(0), string;
- dev_list'next : zero+64 : offset(576), bigendian;
- dev_list'prev : zero+64 : offset(640), bigendian;
- flags : zero+32 : offset(2688), bigendian;
- operstate : zero+8 : offset(2768), bigendian;
- mtu : zero+32 : offset(2784), bigendian;
- perm_addr : 256 : offset(2944), string;
- addr_len : zero+8 : offset(3200), bigendian;
- ip_ptr : zero+64 : offset(3520), bigendian;
- ip6_ptr : zero+64 : offset(3648), bigendian } ->
- { net_device_addr_len = addr_len;
- net_device_dev_list'next = Some dev_list'next;
- net_device_dev_list'next_offset = 72;
- net_device_dev_list'next_adjustment = 72;
- net_device_dev_list'prev = Some dev_list'prev;
- net_device_flags = flags;
- net_device_ip6_ptr = ip6_ptr;
- net_device_ip_ptr = ip_ptr;
- net_device_mtu = mtu;
- net_device_name = name;
- net_device_next = None;
- net_device_operstate = operstate;
- net_device_perm_addr = perm_addr }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_58", match_err));;
-let net_device_parser_59 kernel_version bits =
- bitmatch bits with
- | { name : 128 : offset(0), string;
- dev_list'next : zero+32 : offset(384), littleendian;
- dev_list'prev : zero+32 : offset(416), littleendian;
- flags : zero+32 : offset(1568), littleendian;
- operstate : zero+8 : offset(1648), littleendian;
- mtu : zero+32 : offset(1664), littleendian;
- perm_addr : 256 : offset(1792), string;
- addr_len : zero+8 : offset(2048), littleendian;
- ip_ptr : zero+32 : offset(2336), littleendian;
- ip6_ptr : zero+32 : offset(2400), littleendian } ->
- { net_device_addr_len = addr_len;
- net_device_dev_list'next = Some dev_list'next;
- net_device_dev_list'next_offset = 48;
- net_device_dev_list'next_adjustment = 48;
- net_device_dev_list'prev = Some dev_list'prev;
- net_device_flags = flags;
- net_device_ip6_ptr = ip6_ptr;
- net_device_ip_ptr = ip_ptr;
- net_device_mtu = mtu;
- net_device_name = name;
- net_device_next = None;
- net_device_operstate = operstate;
- net_device_perm_addr = perm_addr }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_59", match_err));;
-let net_device_parser_60 kernel_version bits =
- bitmatch bits with
- | { name : 128 : offset(0), string;
- dev_list'next : zero+32 : offset(384), bigendian;
- dev_list'prev : zero+32 : offset(416), bigendian;
- flags : zero+32 : offset(1568), bigendian;
- operstate : zero+8 : offset(1648), bigendian;
- mtu : zero+32 : offset(1664), bigendian;
- perm_addr : 256 : offset(1760), string;
- addr_len : zero+8 : offset(2016), bigendian;
- ip_ptr : zero+32 : offset(2304), bigendian;
- ip6_ptr : zero+32 : offset(2368), bigendian } ->
- { net_device_addr_len = addr_len;
- net_device_dev_list'next = Some dev_list'next;
- net_device_dev_list'next_offset = 48;
- net_device_dev_list'next_adjustment = 48;
- net_device_dev_list'prev = Some dev_list'prev;
- net_device_flags = flags;
- net_device_ip6_ptr = ip6_ptr;
- net_device_ip_ptr = ip_ptr;
- net_device_mtu = mtu;
- net_device_name = name;
- net_device_next = None;
- net_device_operstate = operstate;
- net_device_perm_addr = perm_addr }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_60", match_err));;
-let net_device_parser_61 kernel_version bits =
- bitmatch bits with
- | { name : 128 : offset(0), string;
- dev_list'next : zero+32 : offset(384), littleendian;
- dev_list'prev : zero+32 : offset(416), littleendian;
- flags : zero+32 : offset(1472), littleendian;
- operstate : zero+8 : offset(1552), littleendian;
- mtu : zero+32 : offset(1568), littleendian;
- perm_addr : 256 : offset(1664), string;
- addr_len : zero+8 : offset(1920), littleendian;
- ip_ptr : zero+32 : offset(2208), littleendian;
- ip6_ptr : zero+32 : offset(2272), littleendian } ->
- { net_device_addr_len = addr_len;
- net_device_dev_list'next = Some dev_list'next;
- net_device_dev_list'next_offset = 48;
- net_device_dev_list'next_adjustment = 48;
- net_device_dev_list'prev = Some dev_list'prev;
- net_device_flags = flags;
- net_device_ip6_ptr = ip6_ptr;
- net_device_ip_ptr = ip_ptr;
- net_device_mtu = mtu;
- net_device_name = name;
- net_device_next = None;
- net_device_operstate = operstate;
- net_device_perm_addr = perm_addr }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_61", match_err));;
-let net_device_parser_62 kernel_version bits =
- bitmatch bits with
- | { name : 128 : offset(0), string;
- dev_list'next : zero+32 : offset(384), littleendian;
- dev_list'prev : zero+32 : offset(416), littleendian;
- flags : zero+32 : offset(1536), littleendian;
- operstate : zero+8 : offset(1616), littleendian;
- mtu : zero+32 : offset(1632), littleendian;
- perm_addr : 256 : offset(1760), string;
- addr_len : zero+8 : offset(2016), littleendian;
- ip_ptr : zero+32 : offset(2560), littleendian;
- ip6_ptr : zero+32 : offset(2624), littleendian } ->
- { net_device_addr_len = addr_len;
- net_device_dev_list'next = Some dev_list'next;
- net_device_dev_list'next_offset = 48;
- net_device_dev_list'next_adjustment = 48;
- net_device_dev_list'prev = Some dev_list'prev;
- net_device_flags = flags;
- net_device_ip6_ptr = ip6_ptr;
- net_device_ip_ptr = ip_ptr;
- net_device_mtu = mtu;
- net_device_name = name;
- net_device_next = None;
- net_device_operstate = operstate;
- net_device_perm_addr = perm_addr }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_62", match_err));;
-let net_device_parser_63 kernel_version bits =
- bitmatch bits with
- | { name : 128 : offset(0), string;
- dev_list'next : zero+32 : offset(384), bigendian;
- dev_list'prev : zero+32 : offset(416), bigendian;
- flags : zero+32 : offset(1472), bigendian;
- operstate : zero+8 : offset(1552), bigendian;
- mtu : zero+32 : offset(1568), bigendian;
- perm_addr : 256 : offset(1664), string;
- addr_len : zero+8 : offset(1920), bigendian;
- ip_ptr : zero+32 : offset(2208), bigendian;
- ip6_ptr : zero+32 : offset(2272), bigendian } ->
- { net_device_addr_len = addr_len;
- net_device_dev_list'next = Some dev_list'next;
- net_device_dev_list'next_offset = 48;
- net_device_dev_list'next_adjustment = 48;
- net_device_dev_list'prev = Some dev_list'prev;
- net_device_flags = flags;
- net_device_ip6_ptr = ip6_ptr;
- net_device_ip_ptr = ip_ptr;
- net_device_mtu = mtu;
- net_device_name = name;
- net_device_next = None;
- net_device_operstate = operstate;
- net_device_perm_addr = perm_addr }
- | { _ } ->
- raise (Virt_mem_types.ParseError ("net_device", "net_device_parser_63", match_err));;
-let net_device_parser_64 kernel_version bits =
git.annexia.org / virt-mem.git / commitdiff