+type utsname = {
+ uts_kernel_name : string;
+ uts_nodename : string;
+ uts_kernel_release : string;
+ uts_kernel_version : string;
+ uts_machine : string;
+ uts_domainname : string;
+}
+
+type task = {
+ task_state : int64;
+ task_prio : int64;
+ task_normal_prio : int64;
+ task_static_prio : int64;
+ task_comm : string;
+ task_pid : int64;
+}
+
+type net_device = {
+ netdev_name : string;
+ netdev_flags : int64;
+ netdev_operstate : int64;
+ netdev_mtu : int64;
+ netdev_perm_addr : string;
+ netdev_addr_len : int64;
+}
+
+type kdata = {
+ ksyms : ksymmap option;
+ utsname : utsname option;
+ tasks : task list option;
+ net_devices : net_device list option;
+}
+
+exception ParseError of string * string * string
+
+type fieldsig = {
+ field_available : bool;
+ field_offset : int;