Generated files to parse some kernel structures.

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

diff --git a/lib/kernel_task_struct.mli b/lib/kernel_task_struct.mli
new file mode 100644 (file)
index 0000000..e600878
--- /dev/null
+++ b/lib/kernel_task_struct.mli
@@ -0,0 +1,10 @@
+exception ParseError of 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
+  };;
+type kernel_version = string;;
+val known : kernel_version -> bool;;
+val size : kernel_version -> int;;
+val get : kernel_version -> Bitstring.bitstring -> t;;