Further code generation ** NOT WORKING **

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

diff --git a/lib/kernel.mli b/lib/kernel.mli
new file mode 100644 (file)
index 0000000..ef00e87
--- /dev/null
+++ b/lib/kernel.mli
@@ -0,0 +1,7 @@
+type ('a, 'b) task_struct;;
+type ('a, 'b) net_device;;
+type ('a, 'b) net;;
+type ('a, 'b) in_device;;
+type ('a, 'b) inet6_dev;;
+type ('a, 'b) in_ifaddr;;
+type ('a, 'b) inet6_ifaddr;;