Change to using internal format for kernel structures.
[virt-mem.git] / lib / virt_mem_types.ml
index f8d3f0f..556a3c7 100644 (file)
@@ -41,19 +41,33 @@ type image = {
 }
 
 type utsname = {
-  kernel_name : string;
-  nodename : string;
-  kernel_release : string;
-  kernel_version : string;
-  machine : string;
-  domainname : string;
+  uts_kernel_name : string;
+  uts_nodename : string;
+  uts_kernel_release : string;
+  uts_kernel_version : string;
+  uts_machine : string;
+  uts_domainname : string;
+}
+
+type task = {
+  task_state : int64;
+  task_prio : int64;
+  task_normal_prio : int64;
+  task_static_prio : int64;
+  task_comm : string;
+  task_pid : int64;
+}
+
+type net_device = {
+  netdev_name : string;
+  netdev_dev_addr : string;
 }
 
 type kdata = {
   ksyms : ksymmap option;
   utsname : utsname option;
-  tasks : Virt_mem_mmap.addr option;
-  net_devices : Virt_mem_mmap.addr option;
+  tasks : task list option;
+  net_devices : net_device list option;
 }
 
 exception ParseError of string * string * string