X-Git-Url: http://git.annexia.org/?p=virt-mem.git;a=blobdiff_plain;f=lib%2Fkernel_task_struct.mli;h=2247c6fef0ad63933baa3303e7657659c7751b39;hp=e600878c0e4fb99e7a0812a565e66ec05d0c5187;hb=727fe72a983a94decbd6e99d8c7c85c34f0171da;hpb=07a7cdbdb7c9d2c066ae9fc81bfbf10c942f9ead

diff --git a/lib/kernel_task_struct.mli b/lib/kernel_task_struct.mli
index e600878..2247c6f 100644
--- a/lib/kernel_task_struct.mli
+++ b/lib/kernel_task_struct.mli
@@ -1,10 +1,16 @@
-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;;