1 exception ParseError of string * string * string;;
3 { task_struct_active_mm : Virt_mem_mmap.addr; task_struct_comm : string;
4 task_struct_mm : Virt_mem_mmap.addr; task_struct_normal_prio : int64;
5 task_struct_pid : int64; task_struct_prio : int64;
6 task_struct_state : int64; task_struct_static_prio : int64;
7 task_struct_tasks'next : Virt_mem_mmap.addr;
8 task_struct_tasks'prev : Virt_mem_mmap.addr
10 type kernel_version = string;;
11 val task_struct_known : kernel_version -> bool;;
12 val task_struct_size : kernel_version -> int;;
13 val task_struct_of_bits : kernel_version -> Bitstring.bitstring -> t;;
16 ('a, 'b, [ | `HasMapping ]) Virt_mem_mmap.t -> Virt_mem_mmap.addr -> t;;