Extracted kernel structures for device addressing in ifconfig.

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

diff --git a/lib/kernel_task_struct.mli b/lib/kernel_task_struct.mli
index 2247c6f..101642f 100644 (file)
--- a/lib/kernel_task_struct.mli
+++ b/lib/kernel_task_struct.mli
@@ -1,16 +1,37 @@
-exception ParseError of string * string * string;;
 type t =
-  { 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
+  { task_struct_state : int64; task_struct_prio : int64;
+    task_struct_normal_prio : int64; task_struct_static_prio : int64;
+    task_struct_tasks'prev : Virt_mem_mmap.addr;
+    task_struct_tasks'next : Virt_mem_mmap.addr;
+    task_struct_mm : Virt_mem_mmap.addr;
+    task_struct_active_mm : Virt_mem_mmap.addr; task_struct_comm : string;
+    task_struct_pid : int64
   };;
+val struct_name : string;;
 type kernel_version = string;;
-val known : kernel_version -> bool;;
-val size : kernel_version -> int;;
-val of_bits : kernel_version -> Bitstring.bitstring -> t;;
-val get :
+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 ->
-      [ | `task_struct ] Virt_mem_mmap.typed_addr -> t;;
+    ('a, 'b, [ | `HasMapping ]) Virt_mem_mmap.t -> Virt_mem_mmap.addr -> t;;
+val field_signature_of_task_struct_state :
+  kernel_version -> Virt_mem_types.fieldsig;;
+val field_signature_of_task_struct_prio :
+  kernel_version -> Virt_mem_types.fieldsig;;
+val field_signature_of_task_struct_normal_prio :
+  kernel_version -> Virt_mem_types.fieldsig;;
+val field_signature_of_task_struct_static_prio :
+  kernel_version -> Virt_mem_types.fieldsig;;
+val field_signature_of_task_struct_tasks'prev :
+  kernel_version -> Virt_mem_types.fieldsig;;
+val field_signature_of_task_struct_tasks'next :
+  kernel_version -> Virt_mem_types.fieldsig;;
+val field_signature_of_task_struct_mm :
+  kernel_version -> Virt_mem_types.fieldsig;;
+val field_signature_of_task_struct_active_mm :
+  kernel_version -> Virt_mem_types.fieldsig;;
+val field_signature_of_task_struct_comm :
+  kernel_version -> Virt_mem_types.fieldsig;;
+val field_signature_of_task_struct_pid :
+  kernel_version -> Virt_mem_types.fieldsig;;