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

diff --git a/lib/kernel_task_struct.mli b/lib/kernel_task_struct.mli
index e600878..8cbdae4 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
+  { task_struct_active_mm : Virt_mem_mmap.addr; task_struct_comm : string;
+    task_struct_mm : Virt_mem_mmap.addr; task_struct_normal_prio : int64;
+    task_struct_pid : int64; task_struct_prio : int64;
+    task_struct_state : int64; task_struct_static_prio : int64;
+    task_struct_tasks'next : Virt_mem_mmap.addr;
+    task_struct_tasks'prev : Virt_mem_mmap.addr
   };;
 type kernel_version = string;;
-val known : kernel_version -> bool;;
-val size : kernel_version -> int;;
-val get : kernel_version -> Bitstring.bitstring -> t;;
+val task_struct_known : kernel_version -> bool;;
+val task_struct_size : kernel_version -> int;;
+val task_struct_of_bits : kernel_version -> Bitstring.bitstring -> t;;
+val get_task_struct :
+  kernel_version ->
+    ('a, 'b, [ | `HasMapping ]) Virt_mem_mmap.t -> Virt_mem_mmap.addr -> t;;