- { comm : string; normal_prio : int; prio : int; state : int;
- static_prio : int; tasks'next : [ | `list_head ] int64;
- tasks'prev : [ | `list_head ] int64
+ { task_struct_active_mm : Virt_mem_mmap.addr; task_struct_comm : string;
+ task_struct_mm : Virt_mem_mmap.addr; task_struct_normal_prio : int64;
+ task_struct_pid : int64; task_struct_prio : int64;
+ task_struct_state : int64; task_struct_static_prio : int64;
+ task_struct_tasks'next : Virt_mem_mmap.addr;
+ task_struct_tasks'prev : Virt_mem_mmap.addr