+++ /dev/null
-type t =
- { task_struct_state : int64; task_struct_prio : int64;
- task_struct_normal_prio : int64; task_struct_static_prio : int64;
- task_struct_tasks'prev : Virt_mem_mmap.addr;
- task_struct_tasks'next : Virt_mem_mmap.addr;
- task_struct_mm : Virt_mem_mmap.addr;
- task_struct_active_mm : Virt_mem_mmap.addr; task_struct_comm : string;
- task_struct_pid : int64
- };;
-val struct_name : string;;
-type kernel_version = string;;
-val task_struct_known : kernel_version -> bool;;
-val task_struct_size : kernel_version -> int;;
-val task_struct_of_bits : kernel_version -> Bitstring.bitstring -> t;;
-val get_task_struct :
- kernel_version ->
- ('a, 'b, [ | `HasMapping ]) Virt_mem_mmap.t -> Virt_mem_mmap.addr -> t;;
-val field_signature_of_task_struct_state :
- kernel_version -> Virt_mem_types.fieldsig;;
-val field_signature_of_task_struct_prio :
- kernel_version -> Virt_mem_types.fieldsig;;
-val field_signature_of_task_struct_normal_prio :
- kernel_version -> Virt_mem_types.fieldsig;;
-val field_signature_of_task_struct_static_prio :
- kernel_version -> Virt_mem_types.fieldsig;;
-val field_signature_of_task_struct_tasks'prev :
- kernel_version -> Virt_mem_types.fieldsig;;
-val field_signature_of_task_struct_tasks'next :
- kernel_version -> Virt_mem_types.fieldsig;;
-val field_signature_of_task_struct_mm :
- kernel_version -> Virt_mem_types.fieldsig;;
-val field_signature_of_task_struct_active_mm :
- kernel_version -> Virt_mem_types.fieldsig;;
-val field_signature_of_task_struct_comm :
- kernel_version -> Virt_mem_types.fieldsig;;
-val field_signature_of_task_struct_pid :
- kernel_version -> Virt_mem_types.fieldsig;;