- printf "comm = %S prio = %Ld state = %Ld static_prio = %Ld tasks'next = %Lx\n"
- init_task.Kernel_task_struct.comm
- init_task.Kernel_task_struct.prio
- init_task.Kernel_task_struct.state
- init_task.Kernel_task_struct.static_prio
- (Virt_mem_mmap.unsafe_addr_of_typed_addr init_task.Kernel_task_struct.tasks'next);
-
- with Exit -> ()