Code generation of parsing functions now working.

[virt-mem.git] / lib / kernel_task_struct.mli

diff --git a/lib/kernel_task_struct.mli b/lib/kernel_task_struct.mli
index e600878..2247c6f 100644 (file)
--- 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;;