1 exception ParseError of string * string * string;;
3 { active_mm : [ | `mm_struct ] Virt_mem_mmap.typed_addr; comm : string;
4 mm : [ | `mm_struct ] Virt_mem_mmap.typed_addr; normal_prio : int64;
5 prio : int64; state : int64; static_prio : int64;
6 tasks'next : [ | `task_struct ] Virt_mem_mmap.typed_addr;
7 tasks'prev : [ | `task_struct ] Virt_mem_mmap.typed_addr
9 type kernel_version = string;;
10 val known : kernel_version -> bool;;
11 val size : kernel_version -> int;;
12 val of_bits : kernel_version -> Bitstring.bitstring -> t;;
15 ('a, 'b, [ | `HasMapping ]) Virt_mem_mmap.t ->
16 [ | `task_struct ] Virt_mem_mmap.typed_addr -> t;;