virt-ifconfig working again

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

diff --git a/lib/kernel.mli b/lib/kernel.mli
index e4f4148..6cc21a1 100644 (file)
--- a/lib/kernel.mli
+++ b/lib/kernel.mli
@@ -75,16 +75,23 @@ type addrmap =
 
 
 val task_struct_follower :
-  kernel_version -> load_fn -> addrmap -> Virt_mem_mmap.addr -> addrmap;;
+  bool ->
+    kernel_version -> load_fn -> addrmap -> Virt_mem_mmap.addr -> addrmap;;
 val net_device_follower :
-  kernel_version -> load_fn -> addrmap -> Virt_mem_mmap.addr -> addrmap;;
+  bool ->
+    kernel_version -> load_fn -> addrmap -> Virt_mem_mmap.addr -> addrmap;;
 val net_follower :
-  kernel_version -> load_fn -> addrmap -> Virt_mem_mmap.addr -> addrmap;;
+  bool ->
+    kernel_version -> load_fn -> addrmap -> Virt_mem_mmap.addr -> addrmap;;
 val in_device_follower :
-  kernel_version -> load_fn -> addrmap -> Virt_mem_mmap.addr -> addrmap;;
+  bool ->
+    kernel_version -> load_fn -> addrmap -> Virt_mem_mmap.addr -> addrmap;;
 val inet6_dev_follower :
-  kernel_version -> load_fn -> addrmap -> Virt_mem_mmap.addr -> addrmap;;
+  bool ->
+    kernel_version -> load_fn -> addrmap -> Virt_mem_mmap.addr -> addrmap;;
 val in_ifaddr_follower :
-  kernel_version -> load_fn -> addrmap -> Virt_mem_mmap.addr -> addrmap;;
+  bool ->
+    kernel_version -> load_fn -> addrmap -> Virt_mem_mmap.addr -> addrmap;;
 val inet6_ifaddr_follower :
-  kernel_version -> load_fn -> addrmap -> Virt_mem_mmap.addr -> addrmap;;
+  bool ->
+    kernel_version -> load_fn -> addrmap -> Virt_mem_mmap.addr -> addrmap;;