- (* Starting at init_task, navigate through the linked list of
- * tasks (through tasks.next). Just make sure they are mapped
- * into memory.
- *)
- let image =
- let rec loop image task =
- let next = task.task_struct_tasks'next in
- if next <> init_task_addr then (
- let mapped =
- Virt_mem_mmap.is_mapped_range image.mem next task_struct_size in
- let image =
- if not mapped then
- Virt_mem_types.load_memory image next task_struct_size
- else
- image in
- let task = get_task_struct kernel_version image.mem next in
- loop image task
- ) else
- image
- in
- loop image init_task in
+ (* Convert to the internal format. *)
+ let tasks = List.rev_map (
+ fun task ->
+ { task_state = task.task_struct_state;
+ task_prio = task.task_struct_prio;
+ task_normal_prio = task.task_struct_normal_prio;
+ task_static_prio = task.task_struct_static_prio;
+ task_comm = truncate_c_string task.task_struct_comm;
+ task_pid = task.task_struct_pid }
+ ) tasks in