Further code generation ** NOT WORKING **

[virt-mem.git] / lib / kernel.ml

diff --git a/lib/kernel.ml b/lib/kernel.ml
new file mode 100644 (file)
index 0000000..a75fdad
--- /dev/null
+++ b/lib/kernel.ml
@@ -0,0 +1,50 @@
+type ('a, 'b) task_struct =
+  { task_struct_shape : 'a; task_struct_content : 'b
+  };;
+type task_struct_shape_fields_2 =
+  { tasks'next : Virt_mem_mmap.addr; tasks'prev : Virt_mem_mmap.addr
+  };;
+type task_struct_shape_fields_1 =
+  { run_list'next : Virt_mem_mmap.addr; run_list'prev : Virt_mem_mmap.addr;
+    tasks'next : Virt_mem_mmap.addr; tasks'prev : Virt_mem_mmap.addr
+  };;
+type task_struct_content_fields_3 =
+  { comm : string; normal_prio : int64; pid : int64; prio : int64;
+    state : int64; static_prio : int64
+  };;
+type ('a, 'b) net_device = { net_device_shape : 'a; net_device_content : 'b };;
+type net_device_shape_fields_12 =
+  { ip6_ptr : Virt_mem_mmap.addr; ip_ptr : Virt_mem_mmap.addr;
+    next : Virt_mem_mmap.addr
+  };;
+type net_device_shape_fields_13 =
+  { dev_list'next : Virt_mem_mmap.addr; dev_list'prev : Virt_mem_mmap.addr;
+    ip6_ptr : Virt_mem_mmap.addr; ip_ptr : Virt_mem_mmap.addr
+  };;
+type net_device_content_fields_14 =
+  { addr_len : int64; flags : int64; mtu : int64; name : string;
+    operstate : int64; perm_addr : string
+  };;
+type ('a, 'b) net = { net_shape : 'a; net_content : 'b };;
+type net_shape_fields_22 =
+  { dev_base_head'next : Virt_mem_mmap.addr;
+    dev_base_head'prev : Virt_mem_mmap.addr
+  };;
+type net_content_fields_23 = unit;;
+type ('a, 'b) in_device = { in_device_shape : 'a; in_device_content : 'b };;
+type in_device_shape_fields_28 = { ifa_list : Virt_mem_mmap.addr };;
+type in_device_content_fields_29 = unit;;
+type ('a, 'b) inet6_dev = { inet6_dev_shape : 'a; inet6_dev_content : 'b };;
+type inet6_dev_shape_fields_34 = { addr_list : Virt_mem_mmap.addr };;
+type inet6_dev_content_fields_35 = unit;;
+type ('a, 'b) in_ifaddr = { in_ifaddr_shape : 'a; in_ifaddr_content : 'b };;
+type in_ifaddr_shape_fields_40 = { ifa_next : Virt_mem_mmap.addr };;
+type in_ifaddr_content_fields_41 =
+  { ifa_address : int64; ifa_broadcast : int64; ifa_local : int64;
+    ifa_mask : int64
+  };;
+type ('a, 'b) inet6_ifaddr =
+  { inet6_ifaddr_shape : 'a; inet6_ifaddr_content : 'b
+  };;
+type inet6_ifaddr_shape_fields_46 = { lst_next : Virt_mem_mmap.addr };;
+type inet6_ifaddr_content_fields_47 = { prefix_len : int64 };;