+
+val task_struct_follower :
+ kernel_version ->
+ (string -> Virt_mem_mmap.addr -> int -> Bitstring.bitstring) ->
+ Virt_mem_mmap.addr -> (string * int) AddrMap.t;;
+val net_device_follower :
+ kernel_version ->
+ (string -> Virt_mem_mmap.addr -> int -> Bitstring.bitstring) ->
+ Virt_mem_mmap.addr -> (string * int) AddrMap.t;;
+val net_follower :
+ kernel_version ->
+ (string -> Virt_mem_mmap.addr -> int -> Bitstring.bitstring) ->
+ Virt_mem_mmap.addr -> (string * int) AddrMap.t;;
+val in_device_follower :
+ kernel_version ->
+ (string -> Virt_mem_mmap.addr -> int -> Bitstring.bitstring) ->
+ Virt_mem_mmap.addr -> (string * int) AddrMap.t;;
+val inet6_dev_follower :
+ kernel_version ->
+ (string -> Virt_mem_mmap.addr -> int -> Bitstring.bitstring) ->
+ Virt_mem_mmap.addr -> (string * int) AddrMap.t;;
+val in_ifaddr_follower :
+ kernel_version ->
+ (string -> Virt_mem_mmap.addr -> int -> Bitstring.bitstring) ->
+ Virt_mem_mmap.addr -> (string * int) AddrMap.t;;
+val inet6_ifaddr_follower :
+ kernel_version ->
+ (string -> Virt_mem_mmap.addr -> int -> Bitstring.bitstring) ->
+ Virt_mem_mmap.addr -> (string * int) AddrMap.t;;