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

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;;