+type task = {
+ task_state : int64;
+ task_prio : int64;
+ task_normal_prio : int64;
+ task_static_prio : int64;
+ task_comm : string; (** Short command name. *)
+ task_pid : int64; (** Process ID. *)
+}
+ (** Internal version of the kernel [task_struct]. *)
+
+type net_device = {
+ netdev_name : string; (** Device name. *)
+ netdev_dev_addr : string; (** Interface network address. *)
+}
+ (** Internal version of the kernel [net_device] (network device struct). *)
+