lib/kernel_task_struct.ml

   1 let warning =
   2   "This code is automatically generated from the kernel database by kerneldb-to-parser program.  Any edits you make will be lost.";;
   3 let zero = 0;;
   4 exception ParseError of string * string * string;;
   5 type t =
   6   { task_struct_active_mm : Virt_mem_mmap.addr; task_struct_comm : string;
   7     task_struct_mm : Virt_mem_mmap.addr; task_struct_normal_prio : int64;
   8     task_struct_pid : int64; task_struct_prio : int64;
   9     task_struct_state : int64; task_struct_static_prio : int64;
  10     task_struct_tasks'next : Virt_mem_mmap.addr;
  11     task_struct_tasks'prev : Virt_mem_mmap.addr
  12   };;
  13 let parser_1 bits = bitmatch bits with
  14   | { task_struct_state : zero+32 : offset(0), littleendian;
  15     task_struct_prio : zero+32 : offset(192), littleendian;
  16     task_struct_static_prio : zero+32 : offset(224), littleendian;
  17     task_struct_normal_prio : zero+32 : offset(256), littleendian;
  18     task_struct_tasks'next : zero+32 : offset(992), littleendian;
  19     task_struct_tasks'prev : zero+32 : offset(1024), littleendian;
  20     task_struct_mm : zero+32 : offset(1056), littleendian;
  21     task_struct_active_mm : zero+32 : offset(1088), littleendian;
  22     task_struct_pid : zero+32 : offset(1344), littleendian;
  23     task_struct_comm : 128 : offset(3232), string } -> { task_struct_state = task_struct_state;
  24     task_struct_prio = task_struct_prio;
  25     task_struct_static_prio = task_struct_static_prio;
  26     task_struct_normal_prio = task_struct_normal_prio;
  27     task_struct_tasks'next = Int64.sub task_struct_tasks'next 124L;
  28     task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 128L;
  29     task_struct_mm = task_struct_mm;
  30     task_struct_active_mm = task_struct_active_mm;
  31     task_struct_pid = task_struct_pid;
  32     task_struct_comm = task_struct_comm }
  33   | { _ } -> raise (ParseError ("task_struct", "parser_1", "failed to match kernel structure"));;
  34 let parser_2 bits = bitmatch bits with
  35   | { task_struct_state : zero+32 : offset(0), bigendian;
  36     task_struct_prio : zero+32 : offset(160), bigendian;
  37     task_struct_static_prio : zero+32 : offset(192), bigendian;
  38     task_struct_normal_prio : zero+32 : offset(224), bigendian;
  39     task_struct_tasks'next : zero+32 : offset(2176), bigendian;
  40     task_struct_tasks'prev : zero+32 : offset(2208), bigendian;
  41     task_struct_mm : zero+32 : offset(2240), bigendian;
  42     task_struct_active_mm : zero+32 : offset(2272), bigendian;
  43     task_struct_pid : zero+32 : offset(2528), bigendian;
  44     task_struct_comm : 128 : offset(4416), string } -> { task_struct_state = task_struct_state;
  45     task_struct_prio = task_struct_prio;
  46     task_struct_static_prio = task_struct_static_prio;
  47     task_struct_normal_prio = task_struct_normal_prio;
  48     task_struct_tasks'next = Int64.sub task_struct_tasks'next 272L;
  49     task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 276L;
  50     task_struct_mm = task_struct_mm;
  51     task_struct_active_mm = task_struct_active_mm;
  52     task_struct_pid = task_struct_pid;
  53     task_struct_comm = task_struct_comm }
  54   | { _ } -> raise (ParseError ("task_struct", "parser_2", "failed to match kernel structure"));;
  55 let parser_3 bits = bitmatch bits with
  56   | { task_struct_state : zero+32 : offset(0), bigendian;
  57     task_struct_prio : zero+32 : offset(192), bigendian;
  58     task_struct_static_prio : zero+32 : offset(224), bigendian;
  59     task_struct_normal_prio : zero+32 : offset(256), bigendian;
  60     task_struct_tasks'next : zero+32 : offset(2304), bigendian;
  61     task_struct_tasks'prev : zero+32 : offset(2336), bigendian;
  62     task_struct_mm : zero+32 : offset(2496), bigendian;
  63     task_struct_active_mm : zero+32 : offset(2528), bigendian;
  64     task_struct_pid : zero+32 : offset(2784), bigendian;
  65     task_struct_comm : 128 : offset(4736), string } -> { task_struct_state = task_struct_state;
  66     task_struct_prio = task_struct_prio;
  67     task_struct_static_prio = task_struct_static_prio;
  68     task_struct_normal_prio = task_struct_normal_prio;
  69     task_struct_tasks'next = Int64.sub task_struct_tasks'next 288L;
  70     task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 292L;
  71     task_struct_mm = task_struct_mm;
  72     task_struct_active_mm = task_struct_active_mm;
  73     task_struct_pid = task_struct_pid;
  74     task_struct_comm = task_struct_comm }
  75   | { _ } -> raise (ParseError ("task_struct", "parser_3", "failed to match kernel structure"));;
  76 let parser_4 bits = bitmatch bits with
  77   | { task_struct_state : zero+64 : offset(0), littleendian;
  78     task_struct_prio : zero+32 : offset(320), littleendian;
  79     task_struct_static_prio : zero+32 : offset(352), littleendian;
  80     task_struct_normal_prio : zero+32 : offset(384), littleendian;
  81     task_struct_tasks'next : zero+64 : offset(1536), littleendian;
  82     task_struct_tasks'prev : zero+64 : offset(1600), littleendian;
  83     task_struct_mm : zero+64 : offset(1664), littleendian;
  84     task_struct_active_mm : zero+64 : offset(1728), littleendian;
  85     task_struct_pid : zero+32 : offset(2144), littleendian;
  86     task_struct_comm : 128 : offset(5376), string } -> { task_struct_state = task_struct_state;
  87     task_struct_prio = task_struct_prio;
  88     task_struct_static_prio = task_struct_static_prio;
  89     task_struct_normal_prio = task_struct_normal_prio;
  90     task_struct_tasks'next = Int64.sub task_struct_tasks'next 192L;
  91     task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 200L;
  92     task_struct_mm = task_struct_mm;
  93     task_struct_active_mm = task_struct_active_mm;
  94     task_struct_pid = task_struct_pid;
  95     task_struct_comm = task_struct_comm }
  96   | { _ } -> raise (ParseError ("task_struct", "parser_4", "failed to match kernel structure"));;
  97 let parser_5 bits = bitmatch bits with
  98   | { task_struct_state : zero+64 : offset(0), littleendian;
  99     task_struct_prio : zero+32 : offset(256), littleendian;
 100     task_struct_static_prio : zero+32 : offset(288), littleendian;
 101     task_struct_normal_prio : zero+32 : offset(320), littleendian;
 102     task_struct_tasks'next : zero+64 : offset(2816), littleendian;
 103     task_struct_tasks'prev : zero+64 : offset(2880), littleendian;
 104     task_struct_mm : zero+64 : offset(3200), littleendian;
 105     task_struct_active_mm : zero+64 : offset(3264), littleendian;
 106     task_struct_pid : zero+32 : offset(3584), littleendian;
 107     task_struct_comm : 128 : offset(6912), string } -> { task_struct_state = task_struct_state;
 108     task_struct_prio = task_struct_prio;
 109     task_struct_static_prio = task_struct_static_prio;
 110     task_struct_normal_prio = task_struct_normal_prio;
 111     task_struct_tasks'next = Int64.sub task_struct_tasks'next 352L;
 112     task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 360L;
 113     task_struct_mm = task_struct_mm;
 114     task_struct_active_mm = task_struct_active_mm;
 115     task_struct_pid = task_struct_pid;
 116     task_struct_comm = task_struct_comm }
 117   | { _ } -> raise (ParseError ("task_struct", "parser_5", "failed to match kernel structure"));;
 118 let parser_6 bits = bitmatch bits with
 119   | { task_struct_state : zero+64 : offset(0), bigendian;
 120     task_struct_prio : zero+32 : offset(320), bigendian;
 121     task_struct_static_prio : zero+32 : offset(352), bigendian;
 122     task_struct_normal_prio : zero+32 : offset(384), bigendian;
 123     task_struct_tasks'next : zero+64 : offset(1600), bigendian;
 124     task_struct_tasks'prev : zero+64 : offset(1664), bigendian;
 125     task_struct_mm : zero+64 : offset(1728), bigendian;
 126     task_struct_active_mm : zero+64 : offset(1792), bigendian;
 127     task_struct_pid : zero+32 : offset(2208), bigendian;
 128     task_struct_comm : 128 : offset(5440), string } -> { task_struct_state = task_struct_state;
 129     task_struct_prio = task_struct_prio;
 130     task_struct_static_prio = task_struct_static_prio;
 131     task_struct_normal_prio = task_struct_normal_prio;
 132     task_struct_tasks'next = Int64.sub task_struct_tasks'next 200L;
 133     task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 208L;
 134     task_struct_mm = task_struct_mm;
 135     task_struct_active_mm = task_struct_active_mm;
 136     task_struct_pid = task_struct_pid;
 137     task_struct_comm = task_struct_comm }
 138   | { _ } -> raise (ParseError ("task_struct", "parser_6", "failed to match kernel structure"));;
 139 let parser_7 bits = bitmatch bits with
 140   | { task_struct_state : zero+64 : offset(0), littleendian;
 141     task_struct_prio : zero+32 : offset(320), littleendian;
 142     task_struct_static_prio : zero+32 : offset(352), littleendian;
 143     task_struct_normal_prio : zero+32 : offset(384), littleendian;
 144     task_struct_tasks'next : zero+64 : offset(1536), littleendian;
 145     task_struct_tasks'prev : zero+64 : offset(1600), littleendian;
 146     task_struct_mm : zero+64 : offset(1664), littleendian;
 147     task_struct_active_mm : zero+64 : offset(1728), littleendian;
 148     task_struct_pid : zero+32 : offset(2144), littleendian;
 149     task_struct_comm : 128 : offset(5440), string } -> { task_struct_state = task_struct_state;
 150     task_struct_prio = task_struct_prio;
 151     task_struct_static_prio = task_struct_static_prio;
 152     task_struct_normal_prio = task_struct_normal_prio;
 153     task_struct_tasks'next = Int64.sub task_struct_tasks'next 192L;
 154     task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 200L;
 155     task_struct_mm = task_struct_mm;
 156     task_struct_active_mm = task_struct_active_mm;
 157     task_struct_pid = task_struct_pid;
 158     task_struct_comm = task_struct_comm }
 159   | { _ } -> raise (ParseError ("task_struct", "parser_7", "failed to match kernel structure"));;
 160 let parser_8 bits = bitmatch bits with
 161   | { task_struct_state : zero+64 : offset(0), littleendian;
 162     task_struct_prio : zero+32 : offset(224), littleendian;
 163     task_struct_static_prio : zero+32 : offset(256), littleendian;
 164     task_struct_normal_prio : zero+32 : offset(288), littleendian;
 165     task_struct_tasks'next : zero+64 : offset(2816), littleendian;
 166     task_struct_tasks'prev : zero+64 : offset(2880), littleendian;
 167     task_struct_mm : zero+64 : offset(2944), littleendian;
 168     task_struct_active_mm : zero+64 : offset(3008), littleendian;
 169     task_struct_pid : zero+32 : offset(3328), littleendian;
 170     task_struct_comm : 128 : offset(6592), string } -> { task_struct_state = task_struct_state;
 171     task_struct_prio = task_struct_prio;
 172     task_struct_static_prio = task_struct_static_prio;
 173     task_struct_normal_prio = task_struct_normal_prio;
 174     task_struct_tasks'next = Int64.sub task_struct_tasks'next 352L;
 175     task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 360L;
 176     task_struct_mm = task_struct_mm;
 177     task_struct_active_mm = task_struct_active_mm;
 178     task_struct_pid = task_struct_pid;
 179     task_struct_comm = task_struct_comm }
 180   | { _ } -> raise (ParseError ("task_struct", "parser_8", "failed to match kernel structure"));;
 181 let parser_9 bits = bitmatch bits with
 182   | { task_struct_state : zero+64 : offset(0), bigendian;
 183     task_struct_prio : zero+32 : offset(224), bigendian;
 184     task_struct_static_prio : zero+32 : offset(256), bigendian;
 185     task_struct_normal_prio : zero+32 : offset(288), bigendian;
 186     task_struct_tasks'next : zero+64 : offset(2880), bigendian;
 187     task_struct_tasks'prev : zero+64 : offset(2944), bigendian;
 188     task_struct_mm : zero+64 : offset(3008), bigendian;
 189     task_struct_active_mm : zero+64 : offset(3072), bigendian;
 190     task_struct_pid : zero+32 : offset(3392), bigendian;
 191     task_struct_comm : 128 : offset(6592), string } -> { task_struct_state = task_struct_state;
 192     task_struct_prio = task_struct_prio;
 193     task_struct_static_prio = task_struct_static_prio;
 194     task_struct_normal_prio = task_struct_normal_prio;
 195     task_struct_tasks'next = Int64.sub task_struct_tasks'next 360L;
 196     task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 368L;
 197     task_struct_mm = task_struct_mm;
 198     task_struct_active_mm = task_struct_active_mm;
 199     task_struct_pid = task_struct_pid;
 200     task_struct_comm = task_struct_comm }
 201   | { _ } -> raise (ParseError ("task_struct", "parser_9", "failed to match kernel structure"));;
 202 let parser_10 bits = bitmatch bits with
 203   | { task_struct_state : zero+32 : offset(0), littleendian;
 204     task_struct_prio : zero+32 : offset(192), littleendian;
 205     task_struct_static_prio : zero+32 : offset(224), littleendian;
 206     task_struct_normal_prio : zero+32 : offset(256), littleendian;
 207     task_struct_tasks'next : zero+32 : offset(2208), littleendian;
 208     task_struct_tasks'prev : zero+32 : offset(2240), littleendian;
 209     task_struct_mm : zero+32 : offset(2400), littleendian;
 210     task_struct_active_mm : zero+32 : offset(2432), littleendian;
 211     task_struct_pid : zero+32 : offset(2688), littleendian;
 212     task_struct_comm : 128 : offset(4608), string } -> { task_struct_state = task_struct_state;
 213     task_struct_prio = task_struct_prio;
 214     task_struct_static_prio = task_struct_static_prio;
 215     task_struct_normal_prio = task_struct_normal_prio;
 216     task_struct_tasks'next = Int64.sub task_struct_tasks'next 276L;
 217     task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 280L;
 218     task_struct_mm = task_struct_mm;
 219     task_struct_active_mm = task_struct_active_mm;
 220     task_struct_pid = task_struct_pid;
 221     task_struct_comm = task_struct_comm }
 222   | { _ } -> raise (ParseError ("task_struct", "parser_10", "failed to match kernel structure"));;
 223 let parser_11 bits = bitmatch bits with
 224   | { task_struct_state : zero+64 : offset(0), littleendian;
 225     task_struct_prio : zero+32 : offset(224), littleendian;
 226     task_struct_static_prio : zero+32 : offset(256), littleendian;
 227     task_struct_normal_prio : zero+32 : offset(288), littleendian;
 228     task_struct_tasks'next : zero+64 : offset(3648), littleendian;
 229     task_struct_tasks'prev : zero+64 : offset(3712), littleendian;
 230     task_struct_mm : zero+64 : offset(3776), littleendian;
 231     task_struct_active_mm : zero+64 : offset(3840), littleendian;
 232     task_struct_pid : zero+32 : offset(4160), littleendian;
 233     task_struct_comm : 128 : offset(7816), string } -> { task_struct_state = task_struct_state;
 234     task_struct_prio = task_struct_prio;
 235     task_struct_static_prio = task_struct_static_prio;
 236     task_struct_normal_prio = task_struct_normal_prio;
 237     task_struct_tasks'next = Int64.sub task_struct_tasks'next 456L;
 238     task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 464L;
 239     task_struct_mm = task_struct_mm;
 240     task_struct_active_mm = task_struct_active_mm;
 241     task_struct_pid = task_struct_pid;
 242     task_struct_comm = task_struct_comm }
 243   | { _ } -> raise (ParseError ("task_struct", "parser_11", "failed to match kernel structure"));;
 244 let parser_12 bits = bitmatch bits with
 245   | { task_struct_state : zero+32 : offset(0), bigendian;
 246     task_struct_prio : zero+32 : offset(192), bigendian;
 247     task_struct_static_prio : zero+32 : offset(224), bigendian;
 248     task_struct_normal_prio : zero+32 : offset(256), bigendian;
 249     task_struct_tasks'next : zero+32 : offset(1024), bigendian;
 250     task_struct_tasks'prev : zero+32 : offset(1056), bigendian;
 251     task_struct_mm : zero+32 : offset(1088), bigendian;
 252     task_struct_active_mm : zero+32 : offset(1120), bigendian;
 253     task_struct_pid : zero+32 : offset(1376), bigendian;
 254     task_struct_comm : 128 : offset(3264), string } -> { task_struct_state = task_struct_state;
 255     task_struct_prio = task_struct_prio;
 256     task_struct_static_prio = task_struct_static_prio;
 257     task_struct_normal_prio = task_struct_normal_prio;
 258     task_struct_tasks'next = Int64.sub task_struct_tasks'next 128L;
 259     task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 132L;
 260     task_struct_mm = task_struct_mm;
 261     task_struct_active_mm = task_struct_active_mm;
 262     task_struct_pid = task_struct_pid;
 263     task_struct_comm = task_struct_comm }
 264   | { _ } -> raise (ParseError ("task_struct", "parser_12", "failed to match kernel structure"));;
 265 let parser_13 bits = bitmatch bits with
 266   | { task_struct_state : zero+64 : offset(0), littleendian;
 267     task_struct_prio : zero+32 : offset(224), littleendian;
 268     task_struct_static_prio : zero+32 : offset(256), littleendian;
 269     task_struct_normal_prio : zero+32 : offset(288), littleendian;
 270     task_struct_tasks'next : zero+64 : offset(3840), littleendian;
 271     task_struct_tasks'prev : zero+64 : offset(3904), littleendian;
 272     task_struct_mm : zero+64 : offset(3968), littleendian;
 273     task_struct_active_mm : zero+64 : offset(4032), littleendian;
 274     task_struct_pid : zero+32 : offset(4352), littleendian;
 275     task_struct_comm : 128 : offset(8392), string } -> { task_struct_state = task_struct_state;
 276     task_struct_prio = task_struct_prio;
 277     task_struct_static_prio = task_struct_static_prio;
 278     task_struct_normal_prio = task_struct_normal_prio;
 279     task_struct_tasks'next = Int64.sub task_struct_tasks'next 480L;
 280     task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 488L;
 281     task_struct_mm = task_struct_mm;
 282     task_struct_active_mm = task_struct_active_mm;
 283     task_struct_pid = task_struct_pid;
 284     task_struct_comm = task_struct_comm }
 285   | { _ } -> raise (ParseError ("task_struct", "parser_13", "failed to match kernel structure"));;
 286 let parser_14 bits = bitmatch bits with
 287   | { task_struct_state : zero+32 : offset(0), littleendian;
 288     task_struct_prio : zero+32 : offset(160), littleendian;
 289     task_struct_static_prio : zero+32 : offset(192), littleendian;
 290     task_struct_normal_prio : zero+32 : offset(224), littleendian;
 291     task_struct_tasks'next : zero+32 : offset(3008), littleendian;
 292     task_struct_tasks'prev : zero+32 : offset(3040), littleendian;
 293     task_struct_mm : zero+32 : offset(3072), littleendian;
 294     task_struct_active_mm : zero+32 : offset(3104), littleendian;
 295     task_struct_pid : zero+32 : offset(3360), littleendian;
 296     task_struct_comm : 128 : offset(5416), string } -> { task_struct_state = task_struct_state;
 297     task_struct_prio = task_struct_prio;
 298     task_struct_static_prio = task_struct_static_prio;
 299     task_struct_normal_prio = task_struct_normal_prio;
 300     task_struct_tasks'next = Int64.sub task_struct_tasks'next 376L;
 301     task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 380L;
 302     task_struct_mm = task_struct_mm;
 303     task_struct_active_mm = task_struct_active_mm;
 304     task_struct_pid = task_struct_pid;
 305     task_struct_comm = task_struct_comm }
 306   | { _ } -> raise (ParseError ("task_struct", "parser_14", "failed to match kernel structure"));;
 307 let parser_15 bits = bitmatch bits with
 308   | { task_struct_state : zero+32 : offset(0), littleendian;
 309     task_struct_prio : zero+32 : offset(160), littleendian;
 310     task_struct_static_prio : zero+32 : offset(192), littleendian;
 311     task_struct_normal_prio : zero+32 : offset(224), littleendian;
 312     task_struct_tasks'next : zero+32 : offset(2144), littleendian;
 313     task_struct_tasks'prev : zero+32 : offset(2176), littleendian;
 314     task_struct_mm : zero+32 : offset(2208), littleendian;
 315     task_struct_active_mm : zero+32 : offset(2240), littleendian;
 316     task_struct_pid : zero+32 : offset(2496), littleendian;
 317     task_struct_comm : 128 : offset(4384), string } -> { task_struct_state = task_struct_state;
 318     task_struct_prio = task_struct_prio;
 319     task_struct_static_prio = task_struct_static_prio;
 320     task_struct_normal_prio = task_struct_normal_prio;
 321     task_struct_tasks'next = Int64.sub task_struct_tasks'next 268L;
 322     task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 272L;
 323     task_struct_mm = task_struct_mm;
 324     task_struct_active_mm = task_struct_active_mm;
 325     task_struct_pid = task_struct_pid;
 326     task_struct_comm = task_struct_comm }
 327   | { _ } -> raise (ParseError ("task_struct", "parser_15", "failed to match kernel structure"));;
 328 let parser_16 bits = bitmatch bits with
 329   | { task_struct_state : zero+64 : offset(0), bigendian;
 330     task_struct_prio : zero+32 : offset(256), bigendian;
 331     task_struct_static_prio : zero+32 : offset(288), bigendian;
 332     task_struct_normal_prio : zero+32 : offset(320), bigendian;
 333     task_struct_tasks'next : zero+64 : offset(2880), bigendian;
 334     task_struct_tasks'prev : zero+64 : offset(2944), bigendian;
 335     task_struct_mm : zero+64 : offset(3264), bigendian;
 336     task_struct_active_mm : zero+64 : offset(3328), bigendian;
 337     task_struct_pid : zero+32 : offset(3648), bigendian;
 338     task_struct_comm : 128 : offset(6912), string } -> { task_struct_state = task_struct_state;
 339     task_struct_prio = task_struct_prio;
 340     task_struct_static_prio = task_struct_static_prio;
 341     task_struct_normal_prio = task_struct_normal_prio;
 342     task_struct_tasks'next = Int64.sub task_struct_tasks'next 360L;
 343     task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 368L;
 344     task_struct_mm = task_struct_mm;
 345     task_struct_active_mm = task_struct_active_mm;
 346     task_struct_pid = task_struct_pid;
 347     task_struct_comm = task_struct_comm }
 348   | { _ } -> raise (ParseError ("task_struct", "parser_16", "failed to match kernel structure"));;
 349 let parser_17 bits = bitmatch bits with
 350   | { task_struct_state : zero+32 : offset(0), bigendian;
 351     task_struct_prio : zero+32 : offset(160), bigendian;
 352     task_struct_static_prio : zero+32 : offset(192), bigendian;
 353     task_struct_normal_prio : zero+32 : offset(224), bigendian;
 354     task_struct_tasks'next : zero+32 : offset(3136), bigendian;
 355     task_struct_tasks'prev : zero+32 : offset(3168), bigendian;
 356     task_struct_mm : zero+32 : offset(3200), bigendian;
 357     task_struct_active_mm : zero+32 : offset(3232), bigendian;
 358     task_struct_pid : zero+32 : offset(3488), bigendian;
 359     task_struct_comm : 128 : offset(5576), string } -> { task_struct_state = task_struct_state;
 360     task_struct_prio = task_struct_prio;
 361     task_struct_static_prio = task_struct_static_prio;
 362     task_struct_normal_prio = task_struct_normal_prio;
 363     task_struct_tasks'next = Int64.sub task_struct_tasks'next 392L;
 364     task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 396L;
 365     task_struct_mm = task_struct_mm;
 366     task_struct_active_mm = task_struct_active_mm;
 367     task_struct_pid = task_struct_pid;
 368     task_struct_comm = task_struct_comm }
 369   | { _ } -> raise (ParseError ("task_struct", "parser_17", "failed to match kernel structure"));;
 370 let parser_18 bits = bitmatch bits with
 371   | { task_struct_state : zero+64 : offset(0), bigendian;
 372     task_struct_prio : zero+32 : offset(224), bigendian;
 373     task_struct_static_prio : zero+32 : offset(256), bigendian;
 374     task_struct_normal_prio : zero+32 : offset(288), bigendian;
 375     task_struct_tasks'next : zero+64 : offset(3648), bigendian;
 376     task_struct_tasks'prev : zero+64 : offset(3712), bigendian;
 377     task_struct_mm : zero+64 : offset(3776), bigendian;
 378     task_struct_active_mm : zero+64 : offset(3840), bigendian;
 379     task_struct_pid : zero+32 : offset(4160), bigendian;
 380     task_struct_comm : 128 : offset(7752), string } -> { task_struct_state = task_struct_state;
 381     task_struct_prio = task_struct_prio;
 382     task_struct_static_prio = task_struct_static_prio;
 383     task_struct_normal_prio = task_struct_normal_prio;
 384     task_struct_tasks'next = Int64.sub task_struct_tasks'next 456L;
 385     task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 464L;
 386     task_struct_mm = task_struct_mm;
 387     task_struct_active_mm = task_struct_active_mm;
 388     task_struct_pid = task_struct_pid;
 389     task_struct_comm = task_struct_comm }
 390   | { _ } -> raise (ParseError ("task_struct", "parser_18", "failed to match kernel structure"));;
 391 let parser_19 bits = bitmatch bits with
 392   | { task_struct_state : zero+64 : offset(0), littleendian;
 393     task_struct_prio : zero+32 : offset(320), littleendian;
 394     task_struct_static_prio : zero+32 : offset(352), littleendian;
 395     task_struct_normal_prio : zero+32 : offset(384), littleendian;
 396     task_struct_tasks'next : zero+64 : offset(1728), littleendian;
 397     task_struct_tasks'prev : zero+64 : offset(1792), littleendian;
 398     task_struct_mm : zero+64 : offset(1856), littleendian;
 399     task_struct_active_mm : zero+64 : offset(1920), littleendian;
 400     task_struct_pid : zero+32 : offset(2336), littleendian;
 401     task_struct_comm : 128 : offset(5568), string } -> { task_struct_state = task_struct_state;
 402     task_struct_prio = task_struct_prio;
 403     task_struct_static_prio = task_struct_static_prio;
 404     task_struct_normal_prio = task_struct_normal_prio;
 405     task_struct_tasks'next = Int64.sub task_struct_tasks'next 216L;
 406     task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 224L;
 407     task_struct_mm = task_struct_mm;
 408     task_struct_active_mm = task_struct_active_mm;
 409     task_struct_pid = task_struct_pid;
 410     task_struct_comm = task_struct_comm }
 411   | { _ } -> raise (ParseError ("task_struct", "parser_19", "failed to match kernel structure"));;
 412 let parser_20 bits = bitmatch bits with
 413   | { task_struct_state : zero+32 : offset(0), littleendian;
 414     task_struct_prio : zero+32 : offset(160), littleendian;
 415     task_struct_static_prio : zero+32 : offset(192), littleendian;
 416     task_struct_normal_prio : zero+32 : offset(224), littleendian;
 417     task_struct_tasks'next : zero+32 : offset(3232), littleendian;
 418     task_struct_tasks'prev : zero+32 : offset(3264), littleendian;
 419     task_struct_mm : zero+32 : offset(3296), littleendian;
 420     task_struct_active_mm : zero+32 : offset(3328), littleendian;
 421     task_struct_pid : zero+32 : offset(3584), littleendian;
 422     task_struct_comm : 128 : offset(5928), string } -> { task_struct_state = task_struct_state;
 423     task_struct_prio = task_struct_prio;
 424     task_struct_static_prio = task_struct_static_prio;
 425     task_struct_normal_prio = task_struct_normal_prio;
 426     task_struct_tasks'next = Int64.sub task_struct_tasks'next 404L;
 427     task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 408L;
 428     task_struct_mm = task_struct_mm;
 429     task_struct_active_mm = task_struct_active_mm;
 430     task_struct_pid = task_struct_pid;
 431     task_struct_comm = task_struct_comm }
 432   | { _ } -> raise (ParseError ("task_struct", "parser_20", "failed to match kernel structure"));;
 433 let parser_21 bits = bitmatch bits with
 434   | { task_struct_state : zero+64 : offset(0), littleendian;
 435     task_struct_prio : zero+32 : offset(256), littleendian;
 436     task_struct_static_prio : zero+32 : offset(288), littleendian;
 437     task_struct_normal_prio : zero+32 : offset(320), littleendian;
 438     task_struct_tasks'next : zero+64 : offset(1408), littleendian;
 439     task_struct_tasks'prev : zero+64 : offset(1472), littleendian;
 440     task_struct_mm : zero+64 : offset(1536), littleendian;
 441     task_struct_active_mm : zero+64 : offset(1600), littleendian;
 442     task_struct_pid : zero+32 : offset(1920), littleendian;
 443     task_struct_comm : 128 : offset(5184), string } -> { task_struct_state = task_struct_state;
 444     task_struct_prio = task_struct_prio;
 445     task_struct_static_prio = task_struct_static_prio;
 446     task_struct_normal_prio = task_struct_normal_prio;
 447     task_struct_tasks'next = Int64.sub task_struct_tasks'next 176L;
 448     task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 184L;
 449     task_struct_mm = task_struct_mm;
 450     task_struct_active_mm = task_struct_active_mm;
 451     task_struct_pid = task_struct_pid;
 452     task_struct_comm = task_struct_comm }
 453   | { _ } -> raise (ParseError ("task_struct", "parser_21", "failed to match kernel structure"));;
 454 let parser_22 bits = bitmatch bits with
 455   | { task_struct_state : zero+64 : offset(0), bigendian;
 456     task_struct_prio : zero+32 : offset(256), bigendian;
 457     task_struct_static_prio : zero+32 : offset(288), bigendian;
 458     task_struct_normal_prio : zero+32 : offset(320), bigendian;
 459     task_struct_tasks'next : zero+64 : offset(1472), bigendian;
 460     task_struct_tasks'prev : zero+64 : offset(1536), bigendian;
 461     task_struct_mm : zero+64 : offset(1600), bigendian;
 462     task_struct_active_mm : zero+64 : offset(1664), bigendian;
 463     task_struct_pid : zero+32 : offset(1984), bigendian;
 464     task_struct_comm : 128 : offset(5184), string } -> { task_struct_state = task_struct_state;
 465     task_struct_prio = task_struct_prio;
 466     task_struct_static_prio = task_struct_static_prio;
 467     task_struct_normal_prio = task_struct_normal_prio;
 468     task_struct_tasks'next = Int64.sub task_struct_tasks'next 184L;
 469     task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 192L;
 470     task_struct_mm = task_struct_mm;
 471     task_struct_active_mm = task_struct_active_mm;
 472     task_struct_pid = task_struct_pid;
 473     task_struct_comm = task_struct_comm }
 474   | { _ } -> raise (ParseError ("task_struct", "parser_22", "failed to match kernel structure"));;
 475 module StringMap = Map.Make(String);;
 476 let map = StringMap.empty;;
 477 let v = (parser_1, 2704);;
 478 let map = StringMap.add "2.6.21-1.3128.fc7.i586" v map;;
 479 let v = (parser_2, 1756);;
 480 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;;
 481 let v = (parser_1, 2704);;
 482 let map = StringMap.add "2.6.21-1.3128.fc7.i686" v map;;
 483 let v = (parser_1, 2704);;
 484 let map = StringMap.add "2.6.21-1.3132.fc7.i686" v map;;
 485 let v = (parser_3, 1780);;
 486 let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;;
 487 let v = (parser_1, 1376);;
 488 let map = StringMap.add "2.6.21-1.3228.fc7.i586" v map;;
 489 let v = (parser_4, 1856);;
 490 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
 491 let v = (parser_5, 3948);;
 492 let map = StringMap.add "2.6.21-1.3236.fc8.x86_64" v map;;
 493 let v = (parser_6, 2072);;
 494 let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;;
 495 let v = (parser_7, 1832);;
 496 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
 497 let v = (parser_8, 3932);;
 498 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.x86_64" v map;;
 499 let v = (parser_6, 2132);;
 500 let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;;
 501 let v = (parser_9, 2292);;
 502 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;;
 503 let v = (parser_10, 2880);;
 504 let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;;
 505 let v = (parser_6, 2132);;
 506 let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;;
 507 let v = (parser_1, 1376);;
 508 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
 509 let v = (parser_11, 4684);;
 510 let map = StringMap.add "2.6.24-9.fc9.x86_64" v map;;
 511 let v = (parser_9, 2292);;
 512 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;;
 513 let v = (parser_6, 2132);;
 514 let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;;
 515 let v = (parser_1, 1384);;
 516 let map = StringMap.add "2.6.18-1.2798.fc6.i586" v map;;
 517 let v = (parser_12, 1620);;
 518 let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;;
 519 let v = (parser_1, 1384);;
 520 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
 521 let v = (parser_13, 2496);;
 522 let map = StringMap.add "2.6.25.11-97.fc9.x86_64" v map;;
 523 let v = (parser_1, 1368);;
 524 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
 525 let v = (parser_14, 3540);;
 526 let map = StringMap.add "2.6.24-9.fc9.i686" v map;;
 527 let v = (parser_15, 2856);;
 528 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;;
 529 let v = (parser_16, 2308);;
 530 let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;;
 531 let v = (parser_12, 1628);;
 532 let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;;
 533 let v = (parser_16, 2308);;
 534 let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;;
 535 let v = (parser_6, 2072);;
 536 let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;;
 537 let v = (parser_6, 2132);;
 538 let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;;
 539 let v = (parser_1, 2712);;
 540 let map = StringMap.add "2.6.21-1.3209.fc8.i686" v map;;
 541 let v = (parser_7, 3772);;
 542 let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;;
 543 let v = (parser_7, 3772);;
 544 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
 545 let v = (parser_17, 1948);;
 546 let map = StringMap.add "2.6.24-9.fc9.ppc" v map;;
 547 let v = (parser_12, 1576);;
 548 let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;;
 549 let v = (parser_12, 1620);;
 550 let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;;
 551 let v = (parser_1, 2712);;
 552 let map = StringMap.add "2.6.21-1.3209.fc8.i686" v map;;
 553 let v = (parser_7, 3772);;
 554 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
 555 let v = (parser_12, 1620);;
 556 let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;;
 557 let v = (parser_6, 2132);;
 558 let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;;
 559 let v = (parser_18, 2492);;
 560 let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;;
 561 let v = (parser_12, 1604);;
 562 let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;;
 563 let v = (parser_19, 1928);;
 564 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
 565 let v = (parser_12, 1604);;
 566 let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;;
 567 let v = (parser_12, 1584);;
 568 let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;;
 569 let v = (parser_18, 2492);;
 570 let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;;
 571 let v = (parser_6, 2104);;
 572 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;;
 573 let v = (parser_7, 3780);;
 574 let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;;
 575 let v = (parser_1, 1400);;
 576 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 577 let v = (parser_7, 3772);;
 578 let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;;
 579 let v = (parser_6, 2112);;
 580 let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;;
 581 let v = (parser_2, 1772);;
 582 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;;
 583 let v = (parser_17, 1936);;
 584 let map = StringMap.add "2.6.24-7.fc9.ppc" v map;;
 585 let v = (parser_12, 1612);;
 586 let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;;
 587 let v = (parser_7, 1920);;
 588 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
 589 let v = (parser_1, 2704);;
 590 let map = StringMap.add "2.6.21-1.3132.fc7.i586" v map;;
 591 let v = (parser_1, 2704);;
 592 let map = StringMap.add "2.6.21-1.3144.fc7.i586" v map;;
 593 let v = (parser_7, 1880);;
 594 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
 595 let v = (parser_6, 2088);;
 596 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;;
 597 let v = (parser_12, 1592);;
 598 let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;;
 599 let v = (parser_1, 2704);;
 600 let map = StringMap.add "2.6.21-1.3144.fc7.i686" v map;;
 601 let v = (parser_1, 1376);;
 602 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
 603 let v = (parser_1, 2712);;
 604 let map = StringMap.add "2.6.21-1.3209.fc8.i586" v map;;
 605 let v = (parser_6, 2088);;
 606 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;;
 607 let v = (parser_1, 2704);;
 608 let map = StringMap.add "2.6.21-1.3144.fc7.i686" v map;;
 609 let v = (parser_7, 1880);;
 610 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
 611 let v = (parser_7, 1920);;
 612 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
 613 let v = (parser_19, 1928);;
 614 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
 615 let v = (parser_7, 3780);;
 616 let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;;
 617 let v = (parser_12, 1608);;
 618 let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;;
 619 let v = (parser_14, 3540);;
 620 let map = StringMap.add "2.6.24-9.fc9.i686" v map;;
 621 let v = (parser_1, 2704);;
 622 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 623 let v = (parser_20, 1832);;
 624 let map = StringMap.add "2.6.25.11-97.fc9.i686" v map;;
 625 let v = (parser_1, 2704);;
 626 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
 627 let v = (parser_1, 2704);;
 628 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
 629 let v = (parser_1, 2704);;
 630 let map = StringMap.add "2.6.21-1.3128.fc7.i686" v map;;
 631 let v = (parser_12, 1604);;
 632 let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;;
 633 let v = (parser_1, 1400);;
 634 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 635 let v = (parser_21, 3756);;
 636 let map = StringMap.add "2.6.21-1.3209.fc8.x86_64" v map;;
 637 let v = (parser_1, 1400);;
 638 let map = StringMap.add "2.6.20-1.2933.fc6.i586" v map;;
 639 let v = (parser_7, 3780);;
 640 let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;;
 641 let v = (parser_1, 1400);;
 642 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 643 let v = (parser_6, 2104);;
 644 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;;
 645 let v = (parser_1, 1384);;
 646 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
 647 let v = (parser_12, 1560);;
 648 let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;;
 649 let v = (parser_10, 2880);;
 650 let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;;
 651 let v = (parser_3, 1796);;
 652 let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;;
 653 let v = (parser_1, 1384);;
 654 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 655 let v = (parser_14, 3540);;
 656 let map = StringMap.add "2.6.24-9.fc9.i586" v map;;
 657 let v = (parser_7, 3772);;
 658 let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;;
 659 let v = (parser_6, 2112);;
 660 let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;;
 661 let v = (parser_17, 1936);;
 662 let map = StringMap.add "2.6.24-9.fc9.ppc" v map;;
 663 let v = (parser_6, 2132);;
 664 let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;;
 665 let v = (parser_22, 2116);;
 666 let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;;
 667 let v = (parser_12, 1592);;
 668 let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;;
 669 let v = (parser_15, 2856);;
 670 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;;
 671 let v = (parser_1, 2704);;
 672 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 673 let v = (parser_22, 2116);;
 674 let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;;
 675 let v = (parser_1, 2704);;
 676 let map = StringMap.add "2.6.21-1.3132.fc7.i686" v map;;
 677 type kernel_version = string;;
 678 let task_struct_known version = StringMap.mem version map;;
 679 let task_struct_size version =
 680   let (_, size) = StringMap.find version map in size;;
 681 let task_struct_of_bits version bits =
 682   let (parsefn, _) = StringMap.find version map in parsefn bits;;
 683 let get_task_struct version mem addr =
 684   let (parsefn, size) = StringMap.find version map in
 685   let bytes = Virt_mem_mmap.get_bytes mem addr size in
 686   let bits = Bitstring.bitstring_of_string bytes in parsefn bits;;