Further code generation ** NOT WORKING **
[virt-mem.git] / lib / virt_mem_types.ml
index 293d2de..2167314 100644 (file)
@@ -41,18 +41,44 @@ 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_flags : int64;
+  netdev_operstate : int64;
+  netdev_mtu : int64;
+  netdev_perm_addr : string;
+  netdev_addr_len : int64;
 }
 
 type kdata = {
   ksyms : ksymmap option;
   utsname : utsname option;
-  tasks : Virt_mem_mmap.addr option;
+  tasks : task list option;
+  net_devices : net_device list option;
+}
+
+exception ParseError of string * string * string
+
+type fieldsig = {
+  field_available : bool;
+  field_offset : int;
 }
 
 (* This is the maximum we can download in one go over the libvirt