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;;