X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=lib%2Fkernel.mli;h=6cc21a11c0e5083b204dd385d6e33eaa943b7ac3;hb=23d37ef6cec5003b63797343cf7f3bb75e915809;hp=e4f4148501455924237115be8493b923f9007f62;hpb=82201a5312c3582daeb7215efd731f7e784d9edf;p=virt-mem.git

diff --git a/lib/kernel.mli b/lib/kernel.mli
index e4f4148..6cc21a1 100644
--- 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;;