3 type key = Virt_mem_mmap.addr;;
4 type 'a t = 'a Map.Make(Int64).t;;
6 val is_empty : 'a t -> bool;;
7 val add : key -> 'a -> 'a t -> 'a t;;
8 val find : key -> 'a t -> 'a;;
9 val remove : key -> 'a t -> 'a t;;
10 val mem : key -> 'a t -> bool;;
11 val iter : (key -> 'a -> unit) -> 'a t -> unit;;
12 val map : ('a -> 'b) -> 'a t -> 'b t;;
13 val mapi : (key -> 'a -> 'b) -> 'a t -> 'b t;;
14 val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b;;
15 val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int;;
16 val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool;;
18 type kernel_version = string;;
20 { task_struct_comm : string; task_struct_normal_prio : int64;
21 task_struct_pid : int64; task_struct_prio : int64;
22 task_struct_run_list'next : Virt_mem_mmap.addr option;
23 task_struct_run_list'next_offset : int;
24 task_struct_run_list'next_adjustment : int;
25 task_struct_run_list'prev : Virt_mem_mmap.addr option;
26 task_struct_state : int64; task_struct_static_prio : int64;
27 task_struct_tasks'next : Virt_mem_mmap.addr;
28 task_struct_tasks'next_offset : int;
29 task_struct_tasks'next_adjustment : int;
30 task_struct_tasks'prev : Virt_mem_mmap.addr
33 { net_device_addr_len : int64;
34 net_device_dev_list'next : Virt_mem_mmap.addr option;
35 net_device_dev_list'next_offset : int;
36 net_device_dev_list'next_adjustment : int;
37 net_device_dev_list'prev : Virt_mem_mmap.addr option;
38 net_device_flags : int64; net_device_ip6_ptr : Virt_mem_mmap.addr;
39 net_device_ip_ptr : Virt_mem_mmap.addr; net_device_mtu : int64;
40 net_device_name : string; net_device_next : Virt_mem_mmap.addr option;
41 net_device_operstate : int64; net_device_perm_addr : string
44 { net_dev_base_head'next : Virt_mem_mmap.addr;
45 net_dev_base_head'next_offset : int;
46 net_dev_base_head'next_adjustment : int;
47 net_dev_base_head'prev : Virt_mem_mmap.addr;
48 net_dev_base_head'prev_offset : int;
49 net_dev_base_head'prev_adjustment : int
51 type in_device = { in_device_ifa_list : Virt_mem_mmap.addr };;
52 type inet6_dev = { inet6_dev_addr_list : Virt_mem_mmap.addr };;
54 { in_ifaddr_ifa_address : int64; in_ifaddr_ifa_broadcast : int64;
55 in_ifaddr_ifa_local : int64; in_ifaddr_ifa_mask : int64;
56 in_ifaddr_ifa_next : Virt_mem_mmap.addr
59 { inet6_ifaddr_lst_next : Virt_mem_mmap.addr;
60 inet6_ifaddr_prefix_len : int64
63 Task_struct of task_struct
64 | Net_device of net_device
66 | In_device of in_device
67 | Inet6_dev of inet6_dev
68 | In_ifaddr of in_ifaddr
69 | Inet6_ifaddr of inet6_ifaddr;;
73 val task_struct_follower :
75 (string -> Virt_mem_mmap.addr -> int -> Bitstring.bitstring) ->
76 (string * ((int * Bitstring.bitstring * kernel_struct) option))
79 (string * ((int * Bitstring.bitstring * kernel_struct) option))
81 val net_device_follower :
83 (string -> Virt_mem_mmap.addr -> int -> Bitstring.bitstring) ->
84 (string * ((int * Bitstring.bitstring * kernel_struct) option))
87 (string * ((int * Bitstring.bitstring * kernel_struct) option))
91 (string -> Virt_mem_mmap.addr -> int -> Bitstring.bitstring) ->
92 (string * ((int * Bitstring.bitstring * kernel_struct) option))
95 (string * ((int * Bitstring.bitstring * kernel_struct) option))
97 val in_device_follower :
99 (string -> Virt_mem_mmap.addr -> int -> Bitstring.bitstring) ->
100 (string * ((int * Bitstring.bitstring * kernel_struct) option))
102 Virt_mem_mmap.addr ->
103 (string * ((int * Bitstring.bitstring * kernel_struct) option))
105 val inet6_dev_follower :
107 (string -> Virt_mem_mmap.addr -> int -> Bitstring.bitstring) ->
108 (string * ((int * Bitstring.bitstring * kernel_struct) option))
110 Virt_mem_mmap.addr ->
111 (string * ((int * Bitstring.bitstring * kernel_struct) option))
113 val in_ifaddr_follower :
115 (string -> Virt_mem_mmap.addr -> int -> Bitstring.bitstring) ->
116 (string * ((int * Bitstring.bitstring * kernel_struct) option))
118 Virt_mem_mmap.addr ->
119 (string * ((int * Bitstring.bitstring * kernel_struct) option))
121 val inet6_ifaddr_follower :
123 (string -> Virt_mem_mmap.addr -> int -> Bitstring.bitstring) ->
124 (string * ((int * Bitstring.bitstring * kernel_struct) option))
126 Virt_mem_mmap.addr ->
127 (string * ((int * Bitstring.bitstring * kernel_struct) option))