-exception ParseError of string;;
+exception ParseError of string * string * string;;
type t =
- { comm : string; normal_prio : int; prio : int; state : int;
- static_prio : int; tasks'next : [ | `list_head ] int64;
- tasks'prev : [ | `list_head ] int64
+ { active_mm : [ | `mm_struct ] Virt_mem_mmap.typed_addr; comm : string;
+ mm : [ | `mm_struct ] Virt_mem_mmap.typed_addr; normal_prio : int64;
+ prio : int64; state : int64; static_prio : int64;
+ tasks'next : [ | `task_struct ] Virt_mem_mmap.typed_addr;
+ tasks'prev : [ | `task_struct ] Virt_mem_mmap.typed_addr
};;
type kernel_version = string;;
val known : kernel_version -> bool;;
val size : kernel_version -> int;;
-val get : kernel_version -> Bitstring.bitstring -> t;;
+val of_bits : kernel_version -> Bitstring.bitstring -> t;;
+val get :
+ kernel_version ->
+ ('a, 'b, [ | `HasMapping ]) Virt_mem_mmap.t ->
+ [ | `task_struct ] Virt_mem_mmap.typed_addr -> t;;