--- /dev/null
+exception ParseError of string;;
+type t =
+ { comm : string; normal_prio : int; prio : int; state : int;
+ static_prio : int; tasks'next : [ | `list_head ] int64;
+ tasks'prev : [ | `list_head ] int64
+ };;
+type kernel_version = string;;
+val known : kernel_version -> bool;;
+val size : kernel_version -> int;;
+val get : kernel_version -> Bitstring.bitstring -> t;;