- | { 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;
- tasks'next : zero+64 : offset(1536), littleendian;
- tasks'prev : zero+64 : offset(1600), littleendian;
- mm : zero+64 : offset(1664), littleendian;
- active_mm : zero+64 : offset(1728), littleendian;
- comm : 128 : offset(5376), string } -> { state = state;
- prio = prio;
- static_prio = static_prio;
- normal_prio = normal_prio;
- tasks'next = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'next 192L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
- tasks'prev = (Virt_mem_mmap.unsafe_typed_addr_of_addr (Int64.sub tasks'prev 200L) : [ `task_struct ] Virt_mem_mmap.typed_addr);
- mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
- active_mm = (Virt_mem_mmap.unsafe_typed_addr_of_addr active_mm : [ `mm_struct ] Virt_mem_mmap.typed_addr);
- comm = comm }
+ | { task_struct_state : zero+64 : offset(0), littleendian;
+ task_struct_prio : zero+32 : offset(320), littleendian;
+ task_struct_static_prio : zero+32 : offset(352), littleendian;
+ task_struct_normal_prio : zero+32 : offset(384), littleendian;
+ task_struct_tasks'next : zero+64 : offset(1536), littleendian;
+ task_struct_tasks'prev : zero+64 : offset(1600), littleendian;
+ task_struct_mm : zero+64 : offset(1664), littleendian;
+ task_struct_active_mm : zero+64 : offset(1728), littleendian;
+ task_struct_pid : zero+32 : offset(2144), littleendian;
+ task_struct_comm : 128 : offset(5376), 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 192L;
+ task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 200L;
+ 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 }