lib/kernel_task_struct.ml

   1 (* WARNING: This file and the corresponding mli (interface) are
   2  * automatically generated by the extract/codegen/kerneldb_to_parser.ml
   3  * program.
   4  *
   5  * Any edits you make to this file will be lost.
   6  *
   7  * To update this file from the latest kernel database, it is recommended
   8  * that you do 'make update-kernel-structs'.
   9  *)
  10 let zero = 0;;
  11 let struct_name = "task_struct";;
  12 let match_err = "failed to match kernel structure";;
  13 exception ParseError of string * string * string;;
  14 type t =
  15   { task_struct_active_mm : Virt_mem_mmap.addr; task_struct_comm : string;
  16     task_struct_mm : Virt_mem_mmap.addr; task_struct_normal_prio : int64;
  17     task_struct_pid : int64; task_struct_prio : int64;
  18     task_struct_state : int64; task_struct_static_prio : int64;
  19     task_struct_tasks'next : Virt_mem_mmap.addr;
  20     task_struct_tasks'prev : Virt_mem_mmap.addr
  21   };;
  22 let parser_1 bits =
  23   bitmatch bits with
  24   | { task_struct_state : zero+32 : offset(0), littleendian;
  25       task_struct_prio : zero+32 : offset(192), littleendian;
  26       task_struct_static_prio : zero+32 : offset(224), littleendian;
  27       task_struct_normal_prio : zero+32 : offset(256), littleendian;
  28       task_struct_tasks'next : zero+32 : offset(992), littleendian;
  29       task_struct_tasks'prev : zero+32 : offset(1024), littleendian;
  30       task_struct_mm : zero+32 : offset(1056), littleendian;
  31       task_struct_active_mm : zero+32 : offset(1088), littleendian;
  32       task_struct_pid : zero+32 : offset(1344), littleendian;
  33       task_struct_comm : 128 : offset(3232), string } ->
  34       { task_struct_state = task_struct_state;
  35         task_struct_prio = task_struct_prio;
  36         task_struct_static_prio = task_struct_static_prio;
  37         task_struct_normal_prio = task_struct_normal_prio;
  38         task_struct_tasks'next = Int64.sub task_struct_tasks'next 124L;
  39         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 128L;
  40         task_struct_mm = task_struct_mm;
  41         task_struct_active_mm = task_struct_active_mm;
  42         task_struct_pid = task_struct_pid;
  43         task_struct_comm = task_struct_comm }
  44   | { _ } ->
  45       raise (ParseError (struct_name, "parser_1", match_err));;
  46 let parser_2 bits =
  47   bitmatch bits with
  48   | { task_struct_state : zero+32 : offset(0), littleendian;
  49       task_struct_prio : zero+32 : offset(160), littleendian;
  50       task_struct_static_prio : zero+32 : offset(192), littleendian;
  51       task_struct_normal_prio : zero+32 : offset(224), littleendian;
  52       task_struct_tasks'next : zero+32 : offset(2144), littleendian;
  53       task_struct_tasks'prev : zero+32 : offset(2176), littleendian;
  54       task_struct_mm : zero+32 : offset(2208), littleendian;
  55       task_struct_active_mm : zero+32 : offset(2240), littleendian;
  56       task_struct_pid : zero+32 : offset(2496), littleendian;
  57       task_struct_comm : 128 : offset(4512), string } ->
  58       { task_struct_state = task_struct_state;
  59         task_struct_prio = task_struct_prio;
  60         task_struct_static_prio = task_struct_static_prio;
  61         task_struct_normal_prio = task_struct_normal_prio;
  62         task_struct_tasks'next = Int64.sub task_struct_tasks'next 268L;
  63         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 272L;
  64         task_struct_mm = task_struct_mm;
  65         task_struct_active_mm = task_struct_active_mm;
  66         task_struct_pid = task_struct_pid;
  67         task_struct_comm = task_struct_comm }
  68   | { _ } ->
  69       raise (ParseError (struct_name, "parser_2", match_err));;
  70 let parser_3 bits =
  71   bitmatch bits with
  72   | { task_struct_state : zero+32 : offset(0), littleendian;
  73       task_struct_prio : zero+32 : offset(192), littleendian;
  74       task_struct_static_prio : zero+32 : offset(224), littleendian;
  75       task_struct_normal_prio : zero+32 : offset(256), littleendian;
  76       task_struct_tasks'next : zero+32 : offset(3360), littleendian;
  77       task_struct_tasks'prev : zero+32 : offset(3392), littleendian;
  78       task_struct_mm : zero+32 : offset(3424), littleendian;
  79       task_struct_active_mm : zero+32 : offset(3456), littleendian;
  80       task_struct_pid : zero+32 : offset(3712), littleendian;
  81       task_struct_comm : 128 : offset(6088), string } ->
  82       { task_struct_state = task_struct_state;
  83         task_struct_prio = task_struct_prio;
  84         task_struct_static_prio = task_struct_static_prio;
  85         task_struct_normal_prio = task_struct_normal_prio;
  86         task_struct_tasks'next = Int64.sub task_struct_tasks'next 420L;
  87         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 424L;
  88         task_struct_mm = task_struct_mm;
  89         task_struct_active_mm = task_struct_active_mm;
  90         task_struct_pid = task_struct_pid;
  91         task_struct_comm = task_struct_comm }
  92   | { _ } ->
  93       raise (ParseError (struct_name, "parser_3", match_err));;
  94 let parser_4 bits =
  95   bitmatch bits with
  96   | { task_struct_state : zero+32 : offset(0), littleendian;
  97       task_struct_prio : zero+32 : offset(192), littleendian;
  98       task_struct_static_prio : zero+32 : offset(224), littleendian;
  99       task_struct_normal_prio : zero+32 : offset(256), littleendian;
 100       task_struct_tasks'next : zero+32 : offset(2144), littleendian;
 101       task_struct_tasks'prev : zero+32 : offset(2176), littleendian;
 102       task_struct_mm : zero+32 : offset(2336), littleendian;
 103       task_struct_active_mm : zero+32 : offset(2368), littleendian;
 104       task_struct_pid : zero+32 : offset(2624), littleendian;
 105       task_struct_comm : 128 : offset(4544), string } ->
 106       { task_struct_state = task_struct_state;
 107         task_struct_prio = task_struct_prio;
 108         task_struct_static_prio = task_struct_static_prio;
 109         task_struct_normal_prio = task_struct_normal_prio;
 110         task_struct_tasks'next = Int64.sub task_struct_tasks'next 268L;
 111         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 272L;
 112         task_struct_mm = task_struct_mm;
 113         task_struct_active_mm = task_struct_active_mm;
 114         task_struct_pid = task_struct_pid;
 115         task_struct_comm = task_struct_comm }
 116   | { _ } ->
 117       raise (ParseError (struct_name, "parser_4", match_err));;
 118 let parser_5 bits =
 119   bitmatch bits with
 120   | { task_struct_state : zero+32 : offset(0), littleendian;
 121       task_struct_prio : zero+32 : offset(192), littleendian;
 122       task_struct_static_prio : zero+32 : offset(224), littleendian;
 123       task_struct_normal_prio : zero+32 : offset(256), littleendian;
 124       task_struct_tasks'next : zero+32 : offset(2208), littleendian;
 125       task_struct_tasks'prev : zero+32 : offset(2240), littleendian;
 126       task_struct_mm : zero+32 : offset(2400), littleendian;
 127       task_struct_active_mm : zero+32 : offset(2432), littleendian;
 128       task_struct_pid : zero+32 : offset(2688), littleendian;
 129       task_struct_comm : 128 : offset(4608), string } ->
 130       { task_struct_state = task_struct_state;
 131         task_struct_prio = task_struct_prio;
 132         task_struct_static_prio = task_struct_static_prio;
 133         task_struct_normal_prio = task_struct_normal_prio;
 134         task_struct_tasks'next = Int64.sub task_struct_tasks'next 276L;
 135         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 280L;
 136         task_struct_mm = task_struct_mm;
 137         task_struct_active_mm = task_struct_active_mm;
 138         task_struct_pid = task_struct_pid;
 139         task_struct_comm = task_struct_comm }
 140   | { _ } ->
 141       raise (ParseError (struct_name, "parser_5", match_err));;
 142 let parser_6 bits =
 143   bitmatch bits with
 144   | { task_struct_state : zero+32 : offset(0), littleendian;
 145       task_struct_prio : zero+32 : offset(160), littleendian;
 146       task_struct_static_prio : zero+32 : offset(192), littleendian;
 147       task_struct_normal_prio : zero+32 : offset(224), littleendian;
 148       task_struct_tasks'next : zero+32 : offset(2176), littleendian;
 149       task_struct_tasks'prev : zero+32 : offset(2208), littleendian;
 150       task_struct_mm : zero+32 : offset(2240), littleendian;
 151       task_struct_active_mm : zero+32 : offset(2272), littleendian;
 152       task_struct_pid : zero+32 : offset(2528), littleendian;
 153       task_struct_comm : 128 : offset(4416), string } ->
 154       { task_struct_state = task_struct_state;
 155         task_struct_prio = task_struct_prio;
 156         task_struct_static_prio = task_struct_static_prio;
 157         task_struct_normal_prio = task_struct_normal_prio;
 158         task_struct_tasks'next = Int64.sub task_struct_tasks'next 272L;
 159         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 276L;
 160         task_struct_mm = task_struct_mm;
 161         task_struct_active_mm = task_struct_active_mm;
 162         task_struct_pid = task_struct_pid;
 163         task_struct_comm = task_struct_comm }
 164   | { _ } ->
 165       raise (ParseError (struct_name, "parser_6", match_err));;
 166 let parser_7 bits =
 167   bitmatch bits with
 168   | { task_struct_state : zero+32 : offset(0), littleendian;
 169       task_struct_prio : zero+32 : offset(160), littleendian;
 170       task_struct_static_prio : zero+32 : offset(192), littleendian;
 171       task_struct_normal_prio : zero+32 : offset(224), littleendian;
 172       task_struct_tasks'next : zero+32 : offset(2144), littleendian;
 173       task_struct_tasks'prev : zero+32 : offset(2176), littleendian;
 174       task_struct_mm : zero+32 : offset(2208), littleendian;
 175       task_struct_active_mm : zero+32 : offset(2240), littleendian;
 176       task_struct_pid : zero+32 : offset(2496), littleendian;
 177       task_struct_comm : 128 : offset(4384), string } ->
 178       { task_struct_state = task_struct_state;
 179         task_struct_prio = task_struct_prio;
 180         task_struct_static_prio = task_struct_static_prio;
 181         task_struct_normal_prio = task_struct_normal_prio;
 182         task_struct_tasks'next = Int64.sub task_struct_tasks'next 268L;
 183         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 272L;
 184         task_struct_mm = task_struct_mm;
 185         task_struct_active_mm = task_struct_active_mm;
 186         task_struct_pid = task_struct_pid;
 187         task_struct_comm = task_struct_comm }
 188   | { _ } ->
 189       raise (ParseError (struct_name, "parser_7", match_err));;
 190 let parser_8 bits =
 191   bitmatch bits with
 192   | { task_struct_state : zero+32 : offset(0), littleendian;
 193       task_struct_prio : zero+32 : offset(160), littleendian;
 194       task_struct_static_prio : zero+32 : offset(192), littleendian;
 195       task_struct_normal_prio : zero+32 : offset(224), littleendian;
 196       task_struct_tasks'next : zero+32 : offset(3008), littleendian;
 197       task_struct_tasks'prev : zero+32 : offset(3040), littleendian;
 198       task_struct_mm : zero+32 : offset(3072), littleendian;
 199       task_struct_active_mm : zero+32 : offset(3104), littleendian;
 200       task_struct_pid : zero+32 : offset(3360), littleendian;
 201       task_struct_comm : 128 : offset(5416), string } ->
 202       { task_struct_state = task_struct_state;
 203         task_struct_prio = task_struct_prio;
 204         task_struct_static_prio = task_struct_static_prio;
 205         task_struct_normal_prio = task_struct_normal_prio;
 206         task_struct_tasks'next = Int64.sub task_struct_tasks'next 376L;
 207         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 380L;
 208         task_struct_mm = task_struct_mm;
 209         task_struct_active_mm = task_struct_active_mm;
 210         task_struct_pid = task_struct_pid;
 211         task_struct_comm = task_struct_comm }
 212   | { _ } ->
 213       raise (ParseError (struct_name, "parser_8", match_err));;
 214 let parser_9 bits =
 215   bitmatch bits with
 216   | { task_struct_state : zero+32 : offset(0), littleendian;
 217       task_struct_prio : zero+32 : offset(192), littleendian;
 218       task_struct_static_prio : zero+32 : offset(224), littleendian;
 219       task_struct_normal_prio : zero+32 : offset(256), littleendian;
 220       task_struct_tasks'next : zero+32 : offset(3584), littleendian;
 221       task_struct_tasks'prev : zero+32 : offset(3616), littleendian;
 222       task_struct_mm : zero+32 : offset(3648), littleendian;
 223       task_struct_active_mm : zero+32 : offset(3680), littleendian;
 224       task_struct_pid : zero+32 : offset(3936), littleendian;
 225       task_struct_comm : 128 : offset(6304), string } ->
 226       { task_struct_state = task_struct_state;
 227         task_struct_prio = task_struct_prio;
 228         task_struct_static_prio = task_struct_static_prio;
 229         task_struct_normal_prio = task_struct_normal_prio;
 230         task_struct_tasks'next = Int64.sub task_struct_tasks'next 448L;
 231         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 452L;
 232         task_struct_mm = task_struct_mm;
 233         task_struct_active_mm = task_struct_active_mm;
 234         task_struct_pid = task_struct_pid;
 235         task_struct_comm = task_struct_comm }
 236   | { _ } ->
 237       raise (ParseError (struct_name, "parser_9", match_err));;
 238 let parser_10 bits =
 239   bitmatch bits with
 240   | { task_struct_state : zero+64 : offset(0), littleendian;
 241       task_struct_prio : zero+32 : offset(320), littleendian;
 242       task_struct_static_prio : zero+32 : offset(352), littleendian;
 243       task_struct_normal_prio : zero+32 : offset(384), littleendian;
 244       task_struct_tasks'next : zero+64 : offset(1536), littleendian;
 245       task_struct_tasks'prev : zero+64 : offset(1600), littleendian;
 246       task_struct_mm : zero+64 : offset(1664), littleendian;
 247       task_struct_active_mm : zero+64 : offset(1728), littleendian;
 248       task_struct_pid : zero+32 : offset(2144), littleendian;
 249       task_struct_comm : 128 : offset(5440), string } ->
 250       { task_struct_state = task_struct_state;
 251         task_struct_prio = task_struct_prio;
 252         task_struct_static_prio = task_struct_static_prio;
 253         task_struct_normal_prio = task_struct_normal_prio;
 254         task_struct_tasks'next = Int64.sub task_struct_tasks'next 192L;
 255         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 200L;
 256         task_struct_mm = task_struct_mm;
 257         task_struct_active_mm = task_struct_active_mm;
 258         task_struct_pid = task_struct_pid;
 259         task_struct_comm = task_struct_comm }
 260   | { _ } ->
 261       raise (ParseError (struct_name, "parser_10", match_err));;
 262 let parser_11 bits =
 263   bitmatch bits with
 264   | { task_struct_state : zero+64 : offset(0), littleendian;
 265       task_struct_prio : zero+32 : offset(224), littleendian;
 266       task_struct_static_prio : zero+32 : offset(256), littleendian;
 267       task_struct_normal_prio : zero+32 : offset(288), littleendian;
 268       task_struct_tasks'next : zero+64 : offset(2816), littleendian;
 269       task_struct_tasks'prev : zero+64 : offset(2880), littleendian;
 270       task_struct_mm : zero+64 : offset(2944), littleendian;
 271       task_struct_active_mm : zero+64 : offset(3008), littleendian;
 272       task_struct_pid : zero+32 : offset(3328), littleendian;
 273       task_struct_comm : 128 : offset(6848), string } ->
 274       { task_struct_state = task_struct_state;
 275         task_struct_prio = task_struct_prio;
 276         task_struct_static_prio = task_struct_static_prio;
 277         task_struct_normal_prio = task_struct_normal_prio;
 278         task_struct_tasks'next = Int64.sub task_struct_tasks'next 352L;
 279         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 360L;
 280         task_struct_mm = task_struct_mm;
 281         task_struct_active_mm = task_struct_active_mm;
 282         task_struct_pid = task_struct_pid;
 283         task_struct_comm = task_struct_comm }
 284   | { _ } ->
 285       raise (ParseError (struct_name, "parser_11", match_err));;
 286 let parser_12 bits =
 287   bitmatch bits with
 288   | { task_struct_state : zero+64 : offset(0), littleendian;
 289       task_struct_prio : zero+32 : offset(256), littleendian;
 290       task_struct_static_prio : zero+32 : offset(288), littleendian;
 291       task_struct_normal_prio : zero+32 : offset(320), littleendian;
 292       task_struct_tasks'next : zero+64 : offset(4096), littleendian;
 293       task_struct_tasks'prev : zero+64 : offset(4160), littleendian;
 294       task_struct_mm : zero+64 : offset(4224), littleendian;
 295       task_struct_active_mm : zero+64 : offset(4288), littleendian;
 296       task_struct_pid : zero+32 : offset(4608), littleendian;
 297       task_struct_comm : 128 : offset(8712), string } ->
 298       { task_struct_state = task_struct_state;
 299         task_struct_prio = task_struct_prio;
 300         task_struct_static_prio = task_struct_static_prio;
 301         task_struct_normal_prio = task_struct_normal_prio;
 302         task_struct_tasks'next = Int64.sub task_struct_tasks'next 512L;
 303         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 520L;
 304         task_struct_mm = task_struct_mm;
 305         task_struct_active_mm = task_struct_active_mm;
 306         task_struct_pid = task_struct_pid;
 307         task_struct_comm = task_struct_comm }
 308   | { _ } ->
 309       raise (ParseError (struct_name, "parser_12", match_err));;
 310 let parser_13 bits =
 311   bitmatch bits with
 312   | { task_struct_state : zero+32 : offset(0), bigendian;
 313       task_struct_prio : zero+32 : offset(192), bigendian;
 314       task_struct_static_prio : zero+32 : offset(224), bigendian;
 315       task_struct_normal_prio : zero+32 : offset(256), bigendian;
 316       task_struct_tasks'next : zero+32 : offset(1024), bigendian;
 317       task_struct_tasks'prev : zero+32 : offset(1056), bigendian;
 318       task_struct_mm : zero+32 : offset(1088), bigendian;
 319       task_struct_active_mm : zero+32 : offset(1120), bigendian;
 320       task_struct_pid : zero+32 : offset(1376), bigendian;
 321       task_struct_comm : 128 : offset(3264), string } ->
 322       { task_struct_state = task_struct_state;
 323         task_struct_prio = task_struct_prio;
 324         task_struct_static_prio = task_struct_static_prio;
 325         task_struct_normal_prio = task_struct_normal_prio;
 326         task_struct_tasks'next = Int64.sub task_struct_tasks'next 128L;
 327         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 132L;
 328         task_struct_mm = task_struct_mm;
 329         task_struct_active_mm = task_struct_active_mm;
 330         task_struct_pid = task_struct_pid;
 331         task_struct_comm = task_struct_comm }
 332   | { _ } ->
 333       raise (ParseError (struct_name, "parser_13", match_err));;
 334 let parser_14 bits =
 335   bitmatch bits with
 336   | { task_struct_state : zero+64 : offset(0), bigendian;
 337       task_struct_prio : zero+32 : offset(320), bigendian;
 338       task_struct_static_prio : zero+32 : offset(352), bigendian;
 339       task_struct_normal_prio : zero+32 : offset(384), bigendian;
 340       task_struct_tasks'next : zero+64 : offset(1600), bigendian;
 341       task_struct_tasks'prev : zero+64 : offset(1664), bigendian;
 342       task_struct_mm : zero+64 : offset(1728), bigendian;
 343       task_struct_active_mm : zero+64 : offset(1792), bigendian;
 344       task_struct_pid : zero+32 : offset(2208), bigendian;
 345       task_struct_comm : 128 : offset(5440), string } ->
 346       { task_struct_state = task_struct_state;
 347         task_struct_prio = task_struct_prio;
 348         task_struct_static_prio = task_struct_static_prio;
 349         task_struct_normal_prio = task_struct_normal_prio;
 350         task_struct_tasks'next = Int64.sub task_struct_tasks'next 200L;
 351         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 208L;
 352         task_struct_mm = task_struct_mm;
 353         task_struct_active_mm = task_struct_active_mm;
 354         task_struct_pid = task_struct_pid;
 355         task_struct_comm = task_struct_comm }
 356   | { _ } ->
 357       raise (ParseError (struct_name, "parser_14", match_err));;
 358 let parser_15 bits =
 359   bitmatch bits with
 360   | { task_struct_state : zero+64 : offset(0), littleendian;
 361       task_struct_prio : zero+32 : offset(320), littleendian;
 362       task_struct_static_prio : zero+32 : offset(352), littleendian;
 363       task_struct_normal_prio : zero+32 : offset(384), littleendian;
 364       task_struct_tasks'next : zero+64 : offset(1728), littleendian;
 365       task_struct_tasks'prev : zero+64 : offset(1792), littleendian;
 366       task_struct_mm : zero+64 : offset(1856), littleendian;
 367       task_struct_active_mm : zero+64 : offset(1920), littleendian;
 368       task_struct_pid : zero+32 : offset(2336), littleendian;
 369       task_struct_comm : 128 : offset(5568), string } ->
 370       { task_struct_state = task_struct_state;
 371         task_struct_prio = task_struct_prio;
 372         task_struct_static_prio = task_struct_static_prio;
 373         task_struct_normal_prio = task_struct_normal_prio;
 374         task_struct_tasks'next = Int64.sub task_struct_tasks'next 216L;
 375         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 224L;
 376         task_struct_mm = task_struct_mm;
 377         task_struct_active_mm = task_struct_active_mm;
 378         task_struct_pid = task_struct_pid;
 379         task_struct_comm = task_struct_comm }
 380   | { _ } ->
 381       raise (ParseError (struct_name, "parser_15", match_err));;
 382 let parser_16 bits =
 383   bitmatch bits with
 384   | { task_struct_state : zero+64 : offset(0), bigendian;
 385       task_struct_prio : zero+32 : offset(256), bigendian;
 386       task_struct_static_prio : zero+32 : offset(288), bigendian;
 387       task_struct_normal_prio : zero+32 : offset(320), bigendian;
 388       task_struct_tasks'next : zero+64 : offset(1472), bigendian;
 389       task_struct_tasks'prev : zero+64 : offset(1536), bigendian;
 390       task_struct_mm : zero+64 : offset(1600), bigendian;
 391       task_struct_active_mm : zero+64 : offset(1664), bigendian;
 392       task_struct_pid : zero+32 : offset(1984), bigendian;
 393       task_struct_comm : 128 : offset(5184), string } ->
 394       { task_struct_state = task_struct_state;
 395         task_struct_prio = task_struct_prio;
 396         task_struct_static_prio = task_struct_static_prio;
 397         task_struct_normal_prio = task_struct_normal_prio;
 398         task_struct_tasks'next = Int64.sub task_struct_tasks'next 184L;
 399         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 192L;
 400         task_struct_mm = task_struct_mm;
 401         task_struct_active_mm = task_struct_active_mm;
 402         task_struct_pid = task_struct_pid;
 403         task_struct_comm = task_struct_comm }
 404   | { _ } ->
 405       raise (ParseError (struct_name, "parser_16", match_err));;
 406 let parser_17 bits =
 407   bitmatch bits with
 408   | { task_struct_state : zero+64 : offset(0), littleendian;
 409       task_struct_prio : zero+32 : offset(256), littleendian;
 410       task_struct_static_prio : zero+32 : offset(288), littleendian;
 411       task_struct_normal_prio : zero+32 : offset(320), littleendian;
 412       task_struct_tasks'next : zero+64 : offset(1408), littleendian;
 413       task_struct_tasks'prev : zero+64 : offset(1472), littleendian;
 414       task_struct_mm : zero+64 : offset(1536), littleendian;
 415       task_struct_active_mm : zero+64 : offset(1600), littleendian;
 416       task_struct_pid : zero+32 : offset(1920), littleendian;
 417       task_struct_comm : 128 : offset(5184), string } ->
 418       { task_struct_state = task_struct_state;
 419         task_struct_prio = task_struct_prio;
 420         task_struct_static_prio = task_struct_static_prio;
 421         task_struct_normal_prio = task_struct_normal_prio;
 422         task_struct_tasks'next = Int64.sub task_struct_tasks'next 176L;
 423         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 184L;
 424         task_struct_mm = task_struct_mm;
 425         task_struct_active_mm = task_struct_active_mm;
 426         task_struct_pid = task_struct_pid;
 427         task_struct_comm = task_struct_comm }
 428   | { _ } ->
 429       raise (ParseError (struct_name, "parser_17", match_err));;
 430 let parser_18 bits =
 431   bitmatch bits with
 432   | { task_struct_state : zero+32 : offset(0), bigendian;
 433       task_struct_prio : zero+32 : offset(192), bigendian;
 434       task_struct_static_prio : zero+32 : offset(224), bigendian;
 435       task_struct_normal_prio : zero+32 : offset(256), bigendian;
 436       task_struct_tasks'next : zero+32 : offset(2240), bigendian;
 437       task_struct_tasks'prev : zero+32 : offset(2272), bigendian;
 438       task_struct_mm : zero+32 : offset(2432), bigendian;
 439       task_struct_active_mm : zero+32 : offset(2464), bigendian;
 440       task_struct_pid : zero+32 : offset(2720), bigendian;
 441       task_struct_comm : 128 : offset(4672), string } ->
 442       { task_struct_state = task_struct_state;
 443         task_struct_prio = task_struct_prio;
 444         task_struct_static_prio = task_struct_static_prio;
 445         task_struct_normal_prio = task_struct_normal_prio;
 446         task_struct_tasks'next = Int64.sub task_struct_tasks'next 280L;
 447         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 284L;
 448         task_struct_mm = task_struct_mm;
 449         task_struct_active_mm = task_struct_active_mm;
 450         task_struct_pid = task_struct_pid;
 451         task_struct_comm = task_struct_comm }
 452   | { _ } ->
 453       raise (ParseError (struct_name, "parser_18", match_err));;
 454 let parser_19 bits =
 455   bitmatch bits with
 456   | { task_struct_state : zero+64 : offset(0), bigendian;
 457       task_struct_prio : zero+32 : offset(256), bigendian;
 458       task_struct_static_prio : zero+32 : offset(288), bigendian;
 459       task_struct_normal_prio : zero+32 : offset(320), bigendian;
 460       task_struct_tasks'next : zero+64 : offset(2688), bigendian;
 461       task_struct_tasks'prev : zero+64 : offset(2752), bigendian;
 462       task_struct_mm : zero+64 : offset(3072), bigendian;
 463       task_struct_active_mm : zero+64 : offset(3136), bigendian;
 464       task_struct_pid : zero+32 : offset(3456), bigendian;
 465       task_struct_comm : 128 : offset(6720), string } ->
 466       { task_struct_state = task_struct_state;
 467         task_struct_prio = task_struct_prio;
 468         task_struct_static_prio = task_struct_static_prio;
 469         task_struct_normal_prio = task_struct_normal_prio;
 470         task_struct_tasks'next = Int64.sub task_struct_tasks'next 336L;
 471         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 344L;
 472         task_struct_mm = task_struct_mm;
 473         task_struct_active_mm = task_struct_active_mm;
 474         task_struct_pid = task_struct_pid;
 475         task_struct_comm = task_struct_comm }
 476   | { _ } ->
 477       raise (ParseError (struct_name, "parser_19", match_err));;
 478 let parser_20 bits =
 479   bitmatch bits with
 480   | { task_struct_state : zero+64 : offset(0), littleendian;
 481       task_struct_prio : zero+32 : offset(256), littleendian;
 482       task_struct_static_prio : zero+32 : offset(288), littleendian;
 483       task_struct_normal_prio : zero+32 : offset(320), littleendian;
 484       task_struct_tasks'next : zero+64 : offset(2624), littleendian;
 485       task_struct_tasks'prev : zero+64 : offset(2688), littleendian;
 486       task_struct_mm : zero+64 : offset(3008), littleendian;
 487       task_struct_active_mm : zero+64 : offset(3072), littleendian;
 488       task_struct_pid : zero+32 : offset(3392), littleendian;
 489       task_struct_comm : 128 : offset(6720), string } ->
 490       { task_struct_state = task_struct_state;
 491         task_struct_prio = task_struct_prio;
 492         task_struct_static_prio = task_struct_static_prio;
 493         task_struct_normal_prio = task_struct_normal_prio;
 494         task_struct_tasks'next = Int64.sub task_struct_tasks'next 328L;
 495         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 336L;
 496         task_struct_mm = task_struct_mm;
 497         task_struct_active_mm = task_struct_active_mm;
 498         task_struct_pid = task_struct_pid;
 499         task_struct_comm = task_struct_comm }
 500   | { _ } ->
 501       raise (ParseError (struct_name, "parser_20", match_err));;
 502 let parser_21 bits =
 503   bitmatch bits with
 504   | { task_struct_state : zero+32 : offset(0), bigendian;
 505       task_struct_prio : zero+32 : offset(192), bigendian;
 506       task_struct_static_prio : zero+32 : offset(224), bigendian;
 507       task_struct_normal_prio : zero+32 : offset(256), bigendian;
 508       task_struct_tasks'next : zero+32 : offset(2304), bigendian;
 509       task_struct_tasks'prev : zero+32 : offset(2336), bigendian;
 510       task_struct_mm : zero+32 : offset(2496), bigendian;
 511       task_struct_active_mm : zero+32 : offset(2528), bigendian;
 512       task_struct_pid : zero+32 : offset(2784), bigendian;
 513       task_struct_comm : 128 : offset(4736), string } ->
 514       { task_struct_state = task_struct_state;
 515         task_struct_prio = task_struct_prio;
 516         task_struct_static_prio = task_struct_static_prio;
 517         task_struct_normal_prio = task_struct_normal_prio;
 518         task_struct_tasks'next = Int64.sub task_struct_tasks'next 288L;
 519         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 292L;
 520         task_struct_mm = task_struct_mm;
 521         task_struct_active_mm = task_struct_active_mm;
 522         task_struct_pid = task_struct_pid;
 523         task_struct_comm = task_struct_comm }
 524   | { _ } ->
 525       raise (ParseError (struct_name, "parser_21", match_err));;
 526 let parser_22 bits =
 527   bitmatch bits with
 528   | { task_struct_state : zero+64 : offset(0), bigendian;
 529       task_struct_prio : zero+32 : offset(256), bigendian;
 530       task_struct_static_prio : zero+32 : offset(288), bigendian;
 531       task_struct_normal_prio : zero+32 : offset(320), bigendian;
 532       task_struct_tasks'next : zero+64 : offset(2880), bigendian;
 533       task_struct_tasks'prev : zero+64 : offset(2944), bigendian;
 534       task_struct_mm : zero+64 : offset(3264), bigendian;
 535       task_struct_active_mm : zero+64 : offset(3328), bigendian;
 536       task_struct_pid : zero+32 : offset(3648), bigendian;
 537       task_struct_comm : 128 : offset(6912), string } ->
 538       { task_struct_state = task_struct_state;
 539         task_struct_prio = task_struct_prio;
 540         task_struct_static_prio = task_struct_static_prio;
 541         task_struct_normal_prio = task_struct_normal_prio;
 542         task_struct_tasks'next = Int64.sub task_struct_tasks'next 360L;
 543         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 368L;
 544         task_struct_mm = task_struct_mm;
 545         task_struct_active_mm = task_struct_active_mm;
 546         task_struct_pid = task_struct_pid;
 547         task_struct_comm = task_struct_comm }
 548   | { _ } ->
 549       raise (ParseError (struct_name, "parser_22", match_err));;
 550 let parser_23 bits =
 551   bitmatch bits with
 552   | { task_struct_state : zero+64 : offset(0), littleendian;
 553       task_struct_prio : zero+32 : offset(256), littleendian;
 554       task_struct_static_prio : zero+32 : offset(288), littleendian;
 555       task_struct_normal_prio : zero+32 : offset(320), littleendian;
 556       task_struct_tasks'next : zero+64 : offset(2816), littleendian;
 557       task_struct_tasks'prev : zero+64 : offset(2880), littleendian;
 558       task_struct_mm : zero+64 : offset(3200), littleendian;
 559       task_struct_active_mm : zero+64 : offset(3264), littleendian;
 560       task_struct_pid : zero+32 : offset(3584), littleendian;
 561       task_struct_comm : 128 : offset(6912), string } ->
 562       { task_struct_state = task_struct_state;
 563         task_struct_prio = task_struct_prio;
 564         task_struct_static_prio = task_struct_static_prio;
 565         task_struct_normal_prio = task_struct_normal_prio;
 566         task_struct_tasks'next = Int64.sub task_struct_tasks'next 352L;
 567         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 360L;
 568         task_struct_mm = task_struct_mm;
 569         task_struct_active_mm = task_struct_active_mm;
 570         task_struct_pid = task_struct_pid;
 571         task_struct_comm = task_struct_comm }
 572   | { _ } ->
 573       raise (ParseError (struct_name, "parser_23", match_err));;
 574 let parser_24 bits =
 575   bitmatch bits with
 576   | { task_struct_state : zero+32 : offset(0), bigendian;
 577       task_struct_prio : zero+32 : offset(160), bigendian;
 578       task_struct_static_prio : zero+32 : offset(192), bigendian;
 579       task_struct_normal_prio : zero+32 : offset(224), bigendian;
 580       task_struct_tasks'next : zero+32 : offset(2240), bigendian;
 581       task_struct_tasks'prev : zero+32 : offset(2272), bigendian;
 582       task_struct_mm : zero+32 : offset(2304), bigendian;
 583       task_struct_active_mm : zero+32 : offset(2336), bigendian;
 584       task_struct_pid : zero+32 : offset(2592), bigendian;
 585       task_struct_comm : 128 : offset(4480), string } ->
 586       { task_struct_state = task_struct_state;
 587         task_struct_prio = task_struct_prio;
 588         task_struct_static_prio = task_struct_static_prio;
 589         task_struct_normal_prio = task_struct_normal_prio;
 590         task_struct_tasks'next = Int64.sub task_struct_tasks'next 280L;
 591         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 284L;
 592         task_struct_mm = task_struct_mm;
 593         task_struct_active_mm = task_struct_active_mm;
 594         task_struct_pid = task_struct_pid;
 595         task_struct_comm = task_struct_comm }
 596   | { _ } ->
 597       raise (ParseError (struct_name, "parser_24", match_err));;
 598 let parser_25 bits =
 599   bitmatch bits with
 600   | { task_struct_state : zero+64 : offset(0), bigendian;
 601       task_struct_prio : zero+32 : offset(224), bigendian;
 602       task_struct_static_prio : zero+32 : offset(256), bigendian;
 603       task_struct_normal_prio : zero+32 : offset(288), bigendian;
 604       task_struct_tasks'next : zero+64 : offset(2816), bigendian;
 605       task_struct_tasks'prev : zero+64 : offset(2880), bigendian;
 606       task_struct_mm : zero+64 : offset(2944), bigendian;
 607       task_struct_active_mm : zero+64 : offset(3008), bigendian;
 608       task_struct_pid : zero+32 : offset(3328), bigendian;
 609       task_struct_comm : 128 : offset(6528), string } ->
 610       { task_struct_state = task_struct_state;
 611         task_struct_prio = task_struct_prio;
 612         task_struct_static_prio = task_struct_static_prio;
 613         task_struct_normal_prio = task_struct_normal_prio;
 614         task_struct_tasks'next = Int64.sub task_struct_tasks'next 352L;
 615         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 360L;
 616         task_struct_mm = task_struct_mm;
 617         task_struct_active_mm = task_struct_active_mm;
 618         task_struct_pid = task_struct_pid;
 619         task_struct_comm = task_struct_comm }
 620   | { _ } ->
 621       raise (ParseError (struct_name, "parser_25", match_err));;
 622 let parser_26 bits =
 623   bitmatch bits with
 624   | { task_struct_state : zero+64 : offset(0), littleendian;
 625       task_struct_prio : zero+32 : offset(224), littleendian;
 626       task_struct_static_prio : zero+32 : offset(256), littleendian;
 627       task_struct_normal_prio : zero+32 : offset(288), littleendian;
 628       task_struct_tasks'next : zero+64 : offset(2752), littleendian;
 629       task_struct_tasks'prev : zero+64 : offset(2816), littleendian;
 630       task_struct_mm : zero+64 : offset(2880), littleendian;
 631       task_struct_active_mm : zero+64 : offset(2944), littleendian;
 632       task_struct_pid : zero+32 : offset(3264), littleendian;
 633       task_struct_comm : 128 : offset(6528), string } ->
 634       { task_struct_state = task_struct_state;
 635         task_struct_prio = task_struct_prio;
 636         task_struct_static_prio = task_struct_static_prio;
 637         task_struct_normal_prio = task_struct_normal_prio;
 638         task_struct_tasks'next = Int64.sub task_struct_tasks'next 344L;
 639         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 352L;
 640         task_struct_mm = task_struct_mm;
 641         task_struct_active_mm = task_struct_active_mm;
 642         task_struct_pid = task_struct_pid;
 643         task_struct_comm = task_struct_comm }
 644   | { _ } ->
 645       raise (ParseError (struct_name, "parser_26", match_err));;
 646 let parser_27 bits =
 647   bitmatch bits with
 648   | { task_struct_state : zero+32 : offset(0), bigendian;
 649       task_struct_prio : zero+32 : offset(160), bigendian;
 650       task_struct_static_prio : zero+32 : offset(192), bigendian;
 651       task_struct_normal_prio : zero+32 : offset(224), bigendian;
 652       task_struct_tasks'next : zero+32 : offset(2176), bigendian;
 653       task_struct_tasks'prev : zero+32 : offset(2208), bigendian;
 654       task_struct_mm : zero+32 : offset(2240), bigendian;
 655       task_struct_active_mm : zero+32 : offset(2272), bigendian;
 656       task_struct_pid : zero+32 : offset(2528), bigendian;
 657       task_struct_comm : 128 : offset(4416), string } ->
 658       { task_struct_state = task_struct_state;
 659         task_struct_prio = task_struct_prio;
 660         task_struct_static_prio = task_struct_static_prio;
 661         task_struct_normal_prio = task_struct_normal_prio;
 662         task_struct_tasks'next = Int64.sub task_struct_tasks'next 272L;
 663         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 276L;
 664         task_struct_mm = task_struct_mm;
 665         task_struct_active_mm = task_struct_active_mm;
 666         task_struct_pid = task_struct_pid;
 667         task_struct_comm = task_struct_comm }
 668   | { _ } ->
 669       raise (ParseError (struct_name, "parser_27", match_err));;
 670 let parser_28 bits =
 671   bitmatch bits with
 672   | { task_struct_state : zero+64 : offset(0), bigendian;
 673       task_struct_prio : zero+32 : offset(224), bigendian;
 674       task_struct_static_prio : zero+32 : offset(256), bigendian;
 675       task_struct_normal_prio : zero+32 : offset(288), bigendian;
 676       task_struct_tasks'next : zero+64 : offset(2880), bigendian;
 677       task_struct_tasks'prev : zero+64 : offset(2944), bigendian;
 678       task_struct_mm : zero+64 : offset(3008), bigendian;
 679       task_struct_active_mm : zero+64 : offset(3072), bigendian;
 680       task_struct_pid : zero+32 : offset(3392), bigendian;
 681       task_struct_comm : 128 : offset(6592), string } ->
 682       { task_struct_state = task_struct_state;
 683         task_struct_prio = task_struct_prio;
 684         task_struct_static_prio = task_struct_static_prio;
 685         task_struct_normal_prio = task_struct_normal_prio;
 686         task_struct_tasks'next = Int64.sub task_struct_tasks'next 360L;
 687         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 368L;
 688         task_struct_mm = task_struct_mm;
 689         task_struct_active_mm = task_struct_active_mm;
 690         task_struct_pid = task_struct_pid;
 691         task_struct_comm = task_struct_comm }
 692   | { _ } ->
 693       raise (ParseError (struct_name, "parser_28", match_err));;
 694 let parser_29 bits =
 695   bitmatch bits with
 696   | { task_struct_state : zero+64 : offset(0), littleendian;
 697       task_struct_prio : zero+32 : offset(224), littleendian;
 698       task_struct_static_prio : zero+32 : offset(256), littleendian;
 699       task_struct_normal_prio : zero+32 : offset(288), littleendian;
 700       task_struct_tasks'next : zero+64 : offset(2816), littleendian;
 701       task_struct_tasks'prev : zero+64 : offset(2880), littleendian;
 702       task_struct_mm : zero+64 : offset(2944), littleendian;
 703       task_struct_active_mm : zero+64 : offset(3008), littleendian;
 704       task_struct_pid : zero+32 : offset(3328), littleendian;
 705       task_struct_comm : 128 : offset(6592), string } ->
 706       { task_struct_state = task_struct_state;
 707         task_struct_prio = task_struct_prio;
 708         task_struct_static_prio = task_struct_static_prio;
 709         task_struct_normal_prio = task_struct_normal_prio;
 710         task_struct_tasks'next = Int64.sub task_struct_tasks'next 352L;
 711         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 360L;
 712         task_struct_mm = task_struct_mm;
 713         task_struct_active_mm = task_struct_active_mm;
 714         task_struct_pid = task_struct_pid;
 715         task_struct_comm = task_struct_comm }
 716   | { _ } ->
 717       raise (ParseError (struct_name, "parser_29", match_err));;
 718 let parser_30 bits =
 719   bitmatch bits with
 720   | { task_struct_state : zero+32 : offset(0), bigendian;
 721       task_struct_prio : zero+32 : offset(160), bigendian;
 722       task_struct_static_prio : zero+32 : offset(192), bigendian;
 723       task_struct_normal_prio : zero+32 : offset(224), bigendian;
 724       task_struct_tasks'next : zero+32 : offset(2240), bigendian;
 725       task_struct_tasks'prev : zero+32 : offset(2272), bigendian;
 726       task_struct_mm : zero+32 : offset(2304), bigendian;
 727       task_struct_active_mm : zero+32 : offset(2336), bigendian;
 728       task_struct_pid : zero+32 : offset(2592), bigendian;
 729       task_struct_comm : 128 : offset(4608), string } ->
 730       { task_struct_state = task_struct_state;
 731         task_struct_prio = task_struct_prio;
 732         task_struct_static_prio = task_struct_static_prio;
 733         task_struct_normal_prio = task_struct_normal_prio;
 734         task_struct_tasks'next = Int64.sub task_struct_tasks'next 280L;
 735         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 284L;
 736         task_struct_mm = task_struct_mm;
 737         task_struct_active_mm = task_struct_active_mm;
 738         task_struct_pid = task_struct_pid;
 739         task_struct_comm = task_struct_comm }
 740   | { _ } ->
 741       raise (ParseError (struct_name, "parser_30", match_err));;
 742 let parser_31 bits =
 743   bitmatch bits with
 744   | { task_struct_state : zero+64 : offset(0), bigendian;
 745       task_struct_prio : zero+32 : offset(224), bigendian;
 746       task_struct_static_prio : zero+32 : offset(256), bigendian;
 747       task_struct_normal_prio : zero+32 : offset(288), bigendian;
 748       task_struct_tasks'next : zero+64 : offset(2880), bigendian;
 749       task_struct_tasks'prev : zero+64 : offset(2944), bigendian;
 750       task_struct_mm : zero+64 : offset(3008), bigendian;
 751       task_struct_active_mm : zero+64 : offset(3072), bigendian;
 752       task_struct_pid : zero+32 : offset(3392), bigendian;
 753       task_struct_comm : 128 : offset(6848), string } ->
 754       { task_struct_state = task_struct_state;
 755         task_struct_prio = task_struct_prio;
 756         task_struct_static_prio = task_struct_static_prio;
 757         task_struct_normal_prio = task_struct_normal_prio;
 758         task_struct_tasks'next = Int64.sub task_struct_tasks'next 360L;
 759         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 368L;
 760         task_struct_mm = task_struct_mm;
 761         task_struct_active_mm = task_struct_active_mm;
 762         task_struct_pid = task_struct_pid;
 763         task_struct_comm = task_struct_comm }
 764   | { _ } ->
 765       raise (ParseError (struct_name, "parser_31", match_err));;
 766 let parser_32 bits =
 767   bitmatch bits with
 768   | { task_struct_state : zero+32 : offset(0), bigendian;
 769       task_struct_prio : zero+32 : offset(160), bigendian;
 770       task_struct_static_prio : zero+32 : offset(192), bigendian;
 771       task_struct_normal_prio : zero+32 : offset(224), bigendian;
 772       task_struct_tasks'next : zero+32 : offset(3136), bigendian;
 773       task_struct_tasks'prev : zero+32 : offset(3168), bigendian;
 774       task_struct_mm : zero+32 : offset(3200), bigendian;
 775       task_struct_active_mm : zero+32 : offset(3232), bigendian;
 776       task_struct_pid : zero+32 : offset(3488), bigendian;
 777       task_struct_comm : 128 : offset(5576), string } ->
 778       { task_struct_state = task_struct_state;
 779         task_struct_prio = task_struct_prio;
 780         task_struct_static_prio = task_struct_static_prio;
 781         task_struct_normal_prio = task_struct_normal_prio;
 782         task_struct_tasks'next = Int64.sub task_struct_tasks'next 392L;
 783         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 396L;
 784         task_struct_mm = task_struct_mm;
 785         task_struct_active_mm = task_struct_active_mm;
 786         task_struct_pid = task_struct_pid;
 787         task_struct_comm = task_struct_comm }
 788   | { _ } ->
 789       raise (ParseError (struct_name, "parser_32", match_err));;
 790 let parser_33 bits =
 791   bitmatch bits with
 792   | { task_struct_state : zero+64 : offset(0), bigendian;
 793       task_struct_prio : zero+32 : offset(224), bigendian;
 794       task_struct_static_prio : zero+32 : offset(256), bigendian;
 795       task_struct_normal_prio : zero+32 : offset(288), bigendian;
 796       task_struct_tasks'next : zero+64 : offset(3648), bigendian;
 797       task_struct_tasks'prev : zero+64 : offset(3712), bigendian;
 798       task_struct_mm : zero+64 : offset(3776), bigendian;
 799       task_struct_active_mm : zero+64 : offset(3840), bigendian;
 800       task_struct_pid : zero+32 : offset(4160), bigendian;
 801       task_struct_comm : 128 : offset(7752), string } ->
 802       { task_struct_state = task_struct_state;
 803         task_struct_prio = task_struct_prio;
 804         task_struct_static_prio = task_struct_static_prio;
 805         task_struct_normal_prio = task_struct_normal_prio;
 806         task_struct_tasks'next = Int64.sub task_struct_tasks'next 456L;
 807         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 464L;
 808         task_struct_mm = task_struct_mm;
 809         task_struct_active_mm = task_struct_active_mm;
 810         task_struct_pid = task_struct_pid;
 811         task_struct_comm = task_struct_comm }
 812   | { _ } ->
 813       raise (ParseError (struct_name, "parser_33", match_err));;
 814 let parser_34 bits =
 815   bitmatch bits with
 816   | { task_struct_state : zero+64 : offset(0), littleendian;
 817       task_struct_prio : zero+32 : offset(224), littleendian;
 818       task_struct_static_prio : zero+32 : offset(256), littleendian;
 819       task_struct_normal_prio : zero+32 : offset(288), littleendian;
 820       task_struct_tasks'next : zero+64 : offset(3648), littleendian;
 821       task_struct_tasks'prev : zero+64 : offset(3712), littleendian;
 822       task_struct_mm : zero+64 : offset(3776), littleendian;
 823       task_struct_active_mm : zero+64 : offset(3840), littleendian;
 824       task_struct_pid : zero+32 : offset(4160), littleendian;
 825       task_struct_comm : 128 : offset(7816), string } ->
 826       { task_struct_state = task_struct_state;
 827         task_struct_prio = task_struct_prio;
 828         task_struct_static_prio = task_struct_static_prio;
 829         task_struct_normal_prio = task_struct_normal_prio;
 830         task_struct_tasks'next = Int64.sub task_struct_tasks'next 456L;
 831         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 464L;
 832         task_struct_mm = task_struct_mm;
 833         task_struct_active_mm = task_struct_active_mm;
 834         task_struct_pid = task_struct_pid;
 835         task_struct_comm = task_struct_comm }
 836   | { _ } ->
 837       raise (ParseError (struct_name, "parser_34", match_err));;
 838 let parser_35 bits =
 839   bitmatch bits with
 840   | { task_struct_state : zero+32 : offset(0), littleendian;
 841       task_struct_prio : zero+32 : offset(160), littleendian;
 842       task_struct_static_prio : zero+32 : offset(192), littleendian;
 843       task_struct_normal_prio : zero+32 : offset(224), littleendian;
 844       task_struct_tasks'next : zero+32 : offset(3232), littleendian;
 845       task_struct_tasks'prev : zero+32 : offset(3264), littleendian;
 846       task_struct_mm : zero+32 : offset(3296), littleendian;
 847       task_struct_active_mm : zero+32 : offset(3328), littleendian;
 848       task_struct_pid : zero+32 : offset(3584), littleendian;
 849       task_struct_comm : 128 : offset(5928), string } ->
 850       { task_struct_state = task_struct_state;
 851         task_struct_prio = task_struct_prio;
 852         task_struct_static_prio = task_struct_static_prio;
 853         task_struct_normal_prio = task_struct_normal_prio;
 854         task_struct_tasks'next = Int64.sub task_struct_tasks'next 404L;
 855         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 408L;
 856         task_struct_mm = task_struct_mm;
 857         task_struct_active_mm = task_struct_active_mm;
 858         task_struct_pid = task_struct_pid;
 859         task_struct_comm = task_struct_comm }
 860   | { _ } ->
 861       raise (ParseError (struct_name, "parser_35", match_err));;
 862 let parser_36 bits =
 863   bitmatch bits with
 864   | { task_struct_state : zero+64 : offset(0), littleendian;
 865       task_struct_prio : zero+32 : offset(224), littleendian;
 866       task_struct_static_prio : zero+32 : offset(256), littleendian;
 867       task_struct_normal_prio : zero+32 : offset(288), littleendian;
 868       task_struct_tasks'next : zero+64 : offset(3840), littleendian;
 869       task_struct_tasks'prev : zero+64 : offset(3904), littleendian;
 870       task_struct_mm : zero+64 : offset(3968), littleendian;
 871       task_struct_active_mm : zero+64 : offset(4032), littleendian;
 872       task_struct_pid : zero+32 : offset(4352), littleendian;
 873       task_struct_comm : 128 : offset(8392), string } ->
 874       { task_struct_state = task_struct_state;
 875         task_struct_prio = task_struct_prio;
 876         task_struct_static_prio = task_struct_static_prio;
 877         task_struct_normal_prio = task_struct_normal_prio;
 878         task_struct_tasks'next = Int64.sub task_struct_tasks'next 480L;
 879         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 488L;
 880         task_struct_mm = task_struct_mm;
 881         task_struct_active_mm = task_struct_active_mm;
 882         task_struct_pid = task_struct_pid;
 883         task_struct_comm = task_struct_comm }
 884   | { _ } ->
 885       raise (ParseError (struct_name, "parser_36", match_err));;
 886 let parser_37 bits =
 887   bitmatch bits with
 888   | { task_struct_state : zero+32 : offset(0), littleendian;
 889       task_struct_prio : zero+32 : offset(192), littleendian;
 890       task_struct_static_prio : zero+32 : offset(224), littleendian;
 891       task_struct_normal_prio : zero+32 : offset(256), littleendian;
 892       task_struct_tasks'next : zero+32 : offset(3328), littleendian;
 893       task_struct_tasks'prev : zero+32 : offset(3360), littleendian;
 894       task_struct_mm : zero+32 : offset(3392), littleendian;
 895       task_struct_active_mm : zero+32 : offset(3424), littleendian;
 896       task_struct_pid : zero+32 : offset(3680), littleendian;
 897       task_struct_comm : 128 : offset(6056), string } ->
 898       { task_struct_state = task_struct_state;
 899         task_struct_prio = task_struct_prio;
 900         task_struct_static_prio = task_struct_static_prio;
 901         task_struct_normal_prio = task_struct_normal_prio;
 902         task_struct_tasks'next = Int64.sub task_struct_tasks'next 416L;
 903         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 420L;
 904         task_struct_mm = task_struct_mm;
 905         task_struct_active_mm = task_struct_active_mm;
 906         task_struct_pid = task_struct_pid;
 907         task_struct_comm = task_struct_comm }
 908   | { _ } ->
 909       raise (ParseError (struct_name, "parser_37", match_err));;
 910 let parser_38 bits =
 911   bitmatch bits with
 912   | { task_struct_state : zero+32 : offset(0), bigendian;
 913       task_struct_prio : zero+32 : offset(192), bigendian;
 914       task_struct_static_prio : zero+32 : offset(224), bigendian;
 915       task_struct_normal_prio : zero+32 : offset(256), bigendian;
 916       task_struct_tasks'next : zero+32 : offset(3392), bigendian;
 917       task_struct_tasks'prev : zero+32 : offset(3424), bigendian;
 918       task_struct_mm : zero+32 : offset(3456), bigendian;
 919       task_struct_active_mm : zero+32 : offset(3488), bigendian;
 920       task_struct_pid : zero+32 : offset(3744), bigendian;
 921       task_struct_comm : 128 : offset(6120), string } ->
 922       { task_struct_state = task_struct_state;
 923         task_struct_prio = task_struct_prio;
 924         task_struct_static_prio = task_struct_static_prio;
 925         task_struct_normal_prio = task_struct_normal_prio;
 926         task_struct_tasks'next = Int64.sub task_struct_tasks'next 424L;
 927         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 428L;
 928         task_struct_mm = task_struct_mm;
 929         task_struct_active_mm = task_struct_active_mm;
 930         task_struct_pid = task_struct_pid;
 931         task_struct_comm = task_struct_comm }
 932   | { _ } ->
 933       raise (ParseError (struct_name, "parser_38", match_err));;
 934 let parser_39 bits =
 935   bitmatch bits with
 936   | { task_struct_state : zero+64 : offset(0), bigendian;
 937       task_struct_prio : zero+32 : offset(256), bigendian;
 938       task_struct_static_prio : zero+32 : offset(288), bigendian;
 939       task_struct_normal_prio : zero+32 : offset(320), bigendian;
 940       task_struct_tasks'next : zero+64 : offset(4096), bigendian;
 941       task_struct_tasks'prev : zero+64 : offset(4160), bigendian;
 942       task_struct_mm : zero+64 : offset(4224), bigendian;
 943       task_struct_active_mm : zero+64 : offset(4288), bigendian;
 944       task_struct_pid : zero+32 : offset(4608), bigendian;
 945       task_struct_comm : 128 : offset(8712), string } ->
 946       { task_struct_state = task_struct_state;
 947         task_struct_prio = task_struct_prio;
 948         task_struct_static_prio = task_struct_static_prio;
 949         task_struct_normal_prio = task_struct_normal_prio;
 950         task_struct_tasks'next = Int64.sub task_struct_tasks'next 512L;
 951         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 520L;
 952         task_struct_mm = task_struct_mm;
 953         task_struct_active_mm = task_struct_active_mm;
 954         task_struct_pid = task_struct_pid;
 955         task_struct_comm = task_struct_comm }
 956   | { _ } ->
 957       raise (ParseError (struct_name, "parser_39", match_err));;
 958 let parser_40 bits =
 959   bitmatch bits with
 960   | { task_struct_state : zero+32 : offset(0), littleendian;
 961       task_struct_prio : zero+32 : offset(192), littleendian;
 962       task_struct_static_prio : zero+32 : offset(224), littleendian;
 963       task_struct_normal_prio : zero+32 : offset(256), littleendian;
 964       task_struct_tasks'next : zero+32 : offset(3552), littleendian;
 965       task_struct_tasks'prev : zero+32 : offset(3584), littleendian;
 966       task_struct_mm : zero+32 : offset(3616), littleendian;
 967       task_struct_active_mm : zero+32 : offset(3648), littleendian;
 968       task_struct_pid : zero+32 : offset(3904), littleendian;
 969       task_struct_comm : 128 : offset(6272), string } ->
 970       { task_struct_state = task_struct_state;
 971         task_struct_prio = task_struct_prio;
 972         task_struct_static_prio = task_struct_static_prio;
 973         task_struct_normal_prio = task_struct_normal_prio;
 974         task_struct_tasks'next = Int64.sub task_struct_tasks'next 444L;
 975         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 448L;
 976         task_struct_mm = task_struct_mm;
 977         task_struct_active_mm = task_struct_active_mm;
 978         task_struct_pid = task_struct_pid;
 979         task_struct_comm = task_struct_comm }
 980   | { _ } ->
 981       raise (ParseError (struct_name, "parser_40", match_err));;
 982 let parser_41 bits =
 983   bitmatch bits with
 984   | { task_struct_state : zero+32 : offset(0), bigendian;
 985       task_struct_prio : zero+32 : offset(192), bigendian;
 986       task_struct_static_prio : zero+32 : offset(224), bigendian;
 987       task_struct_normal_prio : zero+32 : offset(256), bigendian;
 988       task_struct_tasks'next : zero+32 : offset(3712), bigendian;
 989       task_struct_tasks'prev : zero+32 : offset(3744), bigendian;
 990       task_struct_mm : zero+32 : offset(3776), bigendian;
 991       task_struct_active_mm : zero+32 : offset(3808), bigendian;
 992       task_struct_pid : zero+32 : offset(4064), bigendian;
 993       task_struct_comm : 128 : offset(6464), string } ->
 994       { task_struct_state = task_struct_state;
 995         task_struct_prio = task_struct_prio;
 996         task_struct_static_prio = task_struct_static_prio;
 997         task_struct_normal_prio = task_struct_normal_prio;
 998         task_struct_tasks'next = Int64.sub task_struct_tasks'next 464L;
 999         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 468L;
1000         task_struct_mm = task_struct_mm;
1001         task_struct_active_mm = task_struct_active_mm;
1002         task_struct_pid = task_struct_pid;
1003         task_struct_comm = task_struct_comm }
1004   | { _ } ->
1005       raise (ParseError (struct_name, "parser_41", match_err));;
1006 let parser_42 bits =
1007   bitmatch bits with
1008   | { task_struct_state : zero+64 : offset(0), bigendian;
1009       task_struct_prio : zero+32 : offset(256), bigendian;
1010       task_struct_static_prio : zero+32 : offset(288), bigendian;
1011       task_struct_normal_prio : zero+32 : offset(320), bigendian;
1012       task_struct_tasks'next : zero+64 : offset(4480), bigendian;
1013       task_struct_tasks'prev : zero+64 : offset(4544), bigendian;
1014       task_struct_mm : zero+64 : offset(4608), bigendian;
1015       task_struct_active_mm : zero+64 : offset(4672), bigendian;
1016       task_struct_pid : zero+32 : offset(4992), bigendian;
1017       task_struct_comm : 128 : offset(9024), string } ->
1018       { task_struct_state = task_struct_state;
1019         task_struct_prio = task_struct_prio;
1020         task_struct_static_prio = task_struct_static_prio;
1021         task_struct_normal_prio = task_struct_normal_prio;
1022         task_struct_tasks'next = Int64.sub task_struct_tasks'next 560L;
1023         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 568L;
1024         task_struct_mm = task_struct_mm;
1025         task_struct_active_mm = task_struct_active_mm;
1026         task_struct_pid = task_struct_pid;
1027         task_struct_comm = task_struct_comm }
1028   | { _ } ->
1029       raise (ParseError (struct_name, "parser_42", match_err));;
1030 let parser_43 bits =
1031   bitmatch bits with
1032   | { task_struct_state : zero+64 : offset(0), littleendian;
1033       task_struct_prio : zero+32 : offset(256), littleendian;
1034       task_struct_static_prio : zero+32 : offset(288), littleendian;
1035       task_struct_normal_prio : zero+32 : offset(320), littleendian;
1036       task_struct_tasks'next : zero+64 : offset(4480), littleendian;
1037       task_struct_tasks'prev : zero+64 : offset(4544), littleendian;
1038       task_struct_mm : zero+64 : offset(4608), littleendian;
1039       task_struct_active_mm : zero+64 : offset(4672), littleendian;
1040       task_struct_pid : zero+32 : offset(4992), littleendian;
1041       task_struct_comm : 128 : offset(9024), string } ->
1042       { task_struct_state = task_struct_state;
1043         task_struct_prio = task_struct_prio;
1044         task_struct_static_prio = task_struct_static_prio;
1045         task_struct_normal_prio = task_struct_normal_prio;
1046         task_struct_tasks'next = Int64.sub task_struct_tasks'next 560L;
1047         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 568L;
1048         task_struct_mm = task_struct_mm;
1049         task_struct_active_mm = task_struct_active_mm;
1050         task_struct_pid = task_struct_pid;
1051         task_struct_comm = task_struct_comm }
1052   | { _ } ->
1053       raise (ParseError (struct_name, "parser_43", match_err));;
1054 let parser_44 bits =
1055   bitmatch bits with
1056   | { task_struct_state : zero+64 : offset(0), littleendian;
1057       task_struct_prio : zero+32 : offset(320), littleendian;
1058       task_struct_static_prio : zero+32 : offset(352), littleendian;
1059       task_struct_normal_prio : zero+32 : offset(384), littleendian;
1060       task_struct_tasks'next : zero+64 : offset(1536), littleendian;
1061       task_struct_tasks'prev : zero+64 : offset(1600), littleendian;
1062       task_struct_mm : zero+64 : offset(1664), littleendian;
1063       task_struct_active_mm : zero+64 : offset(1728), littleendian;
1064       task_struct_pid : zero+32 : offset(2144), littleendian;
1065       task_struct_comm : 128 : offset(5376), string } ->
1066       { task_struct_state = task_struct_state;
1067         task_struct_prio = task_struct_prio;
1068         task_struct_static_prio = task_struct_static_prio;
1069         task_struct_normal_prio = task_struct_normal_prio;
1070         task_struct_tasks'next = Int64.sub task_struct_tasks'next 192L;
1071         task_struct_tasks'prev = Int64.sub task_struct_tasks'prev 200L;
1072         task_struct_mm = task_struct_mm;
1073         task_struct_active_mm = task_struct_active_mm;
1074         task_struct_pid = task_struct_pid;
1075         task_struct_comm = task_struct_comm }
1076   | { _ } ->
1077       raise (ParseError (struct_name, "parser_44", match_err));;
1078 module StringMap = Map.Make(String);;
1079 let map = StringMap.empty;;
1080 let v = (parser_1, 2704);;
1081 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
1082 let v = (parser_1, 2704);;
1083 let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
1084 let v = (parser_1, 2704);;
1085 let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;
1086 let v = (parser_1, 2704);;
1087 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
1088 let v = (parser_2, 3364);;
1089 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
1090 let v = (parser_2, 3364);;
1091 let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;;
1092 let v = (parser_3, 4180);;
1093 let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
1094 let v = (parser_1, 1400);;
1095 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
1096 let v = (parser_1, 2704);;
1097 let map = StringMap.add "2.6.21-1.3128.fc7.i686" v map;;
1098 let v = (parser_1, 2704);;
1099 let map = StringMap.add "2.6.21-1.3132.fc7.i686" v map;;
1100 let v = (parser_1, 2704);;
1101 let map = StringMap.add "2.6.21-1.3141.fc7.i686" v map;;
1102 let v = (parser_1, 2704);;
1103 let map = StringMap.add "2.6.21-1.3144.fc7.i686" v map;;
1104 let v = (parser_1, 1400);;
1105 let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
1106 let v = (parser_1, 1400);;
1107 let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;
1108 let v = (parser_1, 2712);;
1109 let map = StringMap.add "2.6.21-1.3209.fc8.i686" v map;;
1110 let v = (parser_1, 2712);;
1111 let map = StringMap.add "2.6.21-1.3218.fc8.i686" v map;;
1112 let v = (parser_1, 2712);;
1113 let map = StringMap.add "2.6.21-1.3221.fc8.i686" v map;;
1114 let v = (parser_1, 1376);;
1115 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
1116 let v = (parser_4, 2880);;
1117 let map = StringMap.add "2.6.21-1.3234.fc8.i686" v map;;
1118 let v = (parser_5, 2880);;
1119 let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;;
1120 let v = (parser_6, 2872);;
1121 let map = StringMap.add "2.6.21-1.3238.fc8.i686" v map;;
1122 let v = (parser_6, 2872);;
1123 let map = StringMap.add "2.6.21-1.3242.fc8.i686" v map;;
1124 let v = (parser_7, 2856);;
1125 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;;
1126 let v = (parser_6, 2872);;
1127 let map = StringMap.add "2.6.22-0.rc7.2.fc8.i686" v map;;
1128 let v = (parser_2, 1548);;
1129 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
1130 let v = (parser_2, 1548);;
1131 let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;;
1132 let v = (parser_8, 3540);;
1133 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;;
1134 let v = (parser_8, 3540);;
1135 let map = StringMap.add "2.6.24-7.fc9.i686" v map;;
1136 let v = (parser_8, 3540);;
1137 let map = StringMap.add "2.6.24-9.fc9.i686" v map;;
1138 let v = (parser_3, 1328);;
1139 let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
1140 let v = (parser_9, 4204);;
1141 let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.i686" v map;;
1142 let v = (parser_1, 2704);;
1143 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
1144 let v = (parser_10, 3772);;
1145 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
1146 let v = (parser_1, 2704);;
1147 let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
1148 let v = (parser_10, 3772);;
1149 let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
1150 let v = (parser_1, 2704);;
1151 let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;
1152 let v = (parser_10, 3772);;
1153 let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;;
1154 let v = (parser_1, 2704);;
1155 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
1156 let v = (parser_10, 3772);;
1157 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
1158 let v = (parser_2, 3364);;
1159 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
1160 let v = (parser_11, 4468);;
1161 let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;;
1162 let v = (parser_11, 4468);;
1163 let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;;
1164 let v = (parser_3, 4180);;
1165 let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
1166 let v = (parser_12, 5808);;
1167 let map = StringMap.add "2.6.26.2-2.fc8.x86_64" v map;;
1168 let v = (parser_1, 1384);;
1169 let map = StringMap.add "2.6.18-1.2798.fc6.i586" v map;;
1170 let v = (parser_1, 1384);;
1171 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
1172 let v = (parser_13, 1576);;
1173 let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;;
1174 let v = (parser_14, 2104);;
1175 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;;
1176 let v = (parser_14, 2088);;
1177 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;;
1178 let v = (parser_15, 1928);;
1179 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
1180 let v = (parser_1, 1400);;
1181 let map = StringMap.add "2.6.20-1.2933.fc6.i586" v map;;
1182 let v = (parser_1, 1400);;
1183 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
1184 let v = (parser_13, 1592);;
1185 let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;;
1186 let v = (parser_14, 2112);;
1187 let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;;
1188 let v = (parser_10, 1920);;
1189 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
1190 let v = (parser_1, 2704);;
1191 let map = StringMap.add "2.6.21-1.3128.fc7.i586" v map;;
1192 let v = (parser_1, 2704);;
1193 let map = StringMap.add "2.6.21-1.3128.fc7.i686" v map;;
1194 let v = (parser_13, 1604);;
1195 let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;;
1196 let v = (parser_14, 2132);;
1197 let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;;
1198 let v = (parser_10, 3772);;
1199 let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;;
1200 let v = (parser_1, 2704);;
1201 let map = StringMap.add "2.6.21-1.3132.fc7.i586" v map;;
1202 let v = (parser_1, 2704);;
1203 let map = StringMap.add "2.6.21-1.3132.fc7.i686" v map;;
1204 let v = (parser_13, 1604);;
1205 let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;;
1206 let v = (parser_14, 2132);;
1207 let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;;
1208 let v = (parser_10, 3772);;
1209 let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;;
1210 let v = (parser_1, 2704);;
1211 let map = StringMap.add "2.6.21-1.3141.fc7.i586" v map;;
1212 let v = (parser_1, 2704);;
1213 let map = StringMap.add "2.6.21-1.3141.fc7.i686" v map;;
1214 let v = (parser_13, 1604);;
1215 let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;;
1216 let v = (parser_14, 2132);;
1217 let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;;
1218 let v = (parser_10, 3772);;
1219 let map = StringMap.add "2.6.21-1.3141.fc7.x86_64" v map;;
1220 let v = (parser_1, 2704);;
1221 let map = StringMap.add "2.6.21-1.3144.fc7.i586" v map;;
1222 let v = (parser_1, 2704);;
1223 let map = StringMap.add "2.6.21-1.3144.fc7.i686" v map;;
1224 let v = (parser_13, 1604);;
1225 let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;;
1226 let v = (parser_14, 2132);;
1227 let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;;
1228 let v = (parser_10, 3772);;
1229 let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;;
1230 let v = (parser_1, 1400);;
1231 let map = StringMap.add "2.6.21-1.3145.fc7.i586" v map;;
1232 let v = (parser_1, 1400);;
1233 let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
1234 let v = (parser_13, 1592);;
1235 let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;;
1236 let v = (parser_14, 2112);;
1237 let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;;
1238 let v = (parser_10, 1920);;
1239 let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
1240 let v = (parser_1, 1400);;
1241 let map = StringMap.add "2.6.21-1.3190.fc7.i586" v map;;
1242 let v = (parser_1, 1400);;
1243 let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;
1244 let v = (parser_13, 1592);;
1245 let map = StringMap.add "2.6.21-1.3190.fc7.ppc" v map;;
1246 let v = (parser_14, 2112);;
1247 let map = StringMap.add "2.6.21-1.3190.fc7.ppc64" v map;;
1248 let v = (parser_10, 1920);;
1249 let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;;
1250 let v = (parser_1, 2712);;
1251 let map = StringMap.add "2.6.21-1.3209.fc8.i586" v map;;
1252 let v = (parser_1, 2712);;
1253 let map = StringMap.add "2.6.21-1.3209.fc8.i686" v map;;
1254 let v = (parser_13, 1612);;
1255 let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;;
1256 let v = (parser_16, 2116);;
1257 let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;;
1258 let v = (parser_17, 3756);;
1259 let map = StringMap.add "2.6.21-1.3209.fc8.x86_64" v map;;
1260 let v = (parser_1, 2712);;
1261 let map = StringMap.add "2.6.21-1.3218.fc8.i586" v map;;
1262 let v = (parser_1, 2712);;
1263 let map = StringMap.add "2.6.21-1.3218.fc8.i686" v map;;
1264 let v = (parser_13, 1612);;
1265 let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;;
1266 let v = (parser_16, 2116);;
1267 let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;;
1268 let v = (parser_17, 3756);;
1269 let map = StringMap.add "2.6.21-1.3218.fc8.x86_64" v map;;
1270 let v = (parser_1, 2712);;
1271 let map = StringMap.add "2.6.21-1.3221.fc8.i586" v map;;
1272 let v = (parser_1, 2712);;
1273 let map = StringMap.add "2.6.21-1.3221.fc8.i686" v map;;
1274 let v = (parser_13, 1612);;
1275 let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;;
1276 let v = (parser_16, 2116);;
1277 let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;;
1278 let v = (parser_17, 3756);;
1279 let map = StringMap.add "2.6.21-1.3221.fc8.x86_64" v map;;
1280 let v = (parser_1, 1376);;
1281 let map = StringMap.add "2.6.21-1.3228.fc7.i586" v map;;
1282 let v = (parser_1, 1376);;
1283 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
1284 let v = (parser_13, 1560);;
1285 let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;;
1286 let v = (parser_14, 2072);;
1287 let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;;
1288 let v = (parser_10, 1880);;
1289 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
1290 let v = (parser_4, 2880);;
1291 let map = StringMap.add "2.6.21-1.3234.fc8.i686" v map;;
1292 let v = (parser_18, 1780);;
1293 let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;;
1294 let v = (parser_19, 2292);;
1295 let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;;
1296 let v = (parser_20, 3932);;
1297 let map = StringMap.add "2.6.21-1.3234.fc8.x86_64" v map;;
1298 let v = (parser_5, 2880);;
1299 let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;;
1300 let v = (parser_21, 1780);;
1301 let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;;
1302 let v = (parser_22, 2308);;
1303 let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;;
1304 let v = (parser_23, 3948);;
1305 let map = StringMap.add "2.6.21-1.3236.fc8.x86_64" v map;;
1306 let v = (parser_6, 2872);;
1307 let map = StringMap.add "2.6.21-1.3238.fc8.i686" v map;;
1308 let v = (parser_24, 1756);;
1309 let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;;
1310 let v = (parser_25, 2276);;
1311 let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;;
1312 let v = (parser_26, 3916);;
1313 let map = StringMap.add "2.6.21-1.3238.fc8.x86_64" v map;;
1314 let v = (parser_6, 2872);;
1315 let map = StringMap.add "2.6.21-1.3242.fc8.i686" v map;;
1316 let v = (parser_24, 1756);;
1317 let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;;
1318 let v = (parser_25, 2276);;
1319 let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;;
1320 let v = (parser_26, 3916);;
1321 let map = StringMap.add "2.6.21-1.3242.fc8.x86_64" v map;;
1322 let v = (parser_7, 2856);;
1323 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;;
1324 let v = (parser_27, 1756);;
1325 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;;
1326 let v = (parser_28, 2292);;
1327 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;;
1328 let v = (parser_29, 3932);;
1329 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.x86_64" v map;;
1330 let v = (parser_6, 2872);;
1331 let map = StringMap.add "2.6.22-0.rc7.2.fc8.i686" v map;;
1332 let v = (parser_24, 1756);;
1333 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;;
1334 let v = (parser_25, 2276);;
1335 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;;
1336 let v = (parser_26, 3916);;
1337 let map = StringMap.add "2.6.22-0.rc7.2.fc8.x86_64" v map;;
1338 let v = (parser_2, 1548);;
1339 let map = StringMap.add "2.6.23.14-135.fc8.i586" v map;;
1340 let v = (parser_2, 1548);;
1341 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
1342 let v = (parser_30, 1736);;
1343 let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;;
1344 let v = (parser_31, 2272);;
1345 let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;;
1346 let v = (parser_11, 2080);;
1347 let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;;
1348 let v = (parser_2, 1548);;
1349 let map = StringMap.add "2.6.23.14-78.fc7.i586" v map;;
1350 let v = (parser_2, 1548);;
1351 let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;;
1352 let v = (parser_30, 1736);;
1353 let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;;
1354 let v = (parser_31, 2272);;
1355 let map = StringMap.add "2.6.23.14-78.fc7.ppc64" v map;;
1356 let v = (parser_11, 2080);;
1357 let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;;
1358 let v = (parser_8, 3540);;
1359 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i586" v map;;
1360 let v = (parser_8, 3540);;
1361 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;;
1362 let v = (parser_32, 1936);;
1363 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;;
1364 let v = (parser_33, 2492);;
1365 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;;
1366 let v = (parser_34, 4684);;
1367 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.x86_64" v map;;
1368 let v = (parser_8, 3540);;
1369 let map = StringMap.add "2.6.24-7.fc9.i586" v map;;
1370 let v = (parser_8, 3540);;
1371 let map = StringMap.add "2.6.24-7.fc9.i686" v map;;
1372 let v = (parser_32, 1936);;
1373 let map = StringMap.add "2.6.24-7.fc9.ppc" v map;;
1374 let v = (parser_33, 2492);;
1375 let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;;
1376 let v = (parser_34, 4684);;
1377 let map = StringMap.add "2.6.24-7.fc9.x86_64" v map;;
1378 let v = (parser_8, 3540);;
1379 let map = StringMap.add "2.6.24-9.fc9.i586" v map;;
1380 let v = (parser_8, 3540);;
1381 let map = StringMap.add "2.6.24-9.fc9.i686" v map;;
1382 let v = (parser_32, 1936);;
1383 let map = StringMap.add "2.6.24-9.fc9.ppc" v map;;
1384 let v = (parser_33, 2492);;
1385 let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;;
1386 let v = (parser_34, 4684);;
1387 let map = StringMap.add "2.6.24-9.fc9.x86_64" v map;;
1388 let v = (parser_35, 1832);;
1389 let map = StringMap.add "2.6.25.11-97.fc9.i686" v map;;
1390 let v = (parser_36, 2496);;
1391 let map = StringMap.add "2.6.25.11-97.fc9.x86_64" v map;;
1392 let v = (parser_37, 1324);;
1393 let map = StringMap.add "2.6.26.2-2.fc8.i586" v map;;
1394 let v = (parser_3, 1328);;
1395 let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
1396 let v = (parser_38, 1968);;
1397 let map = StringMap.add "2.6.26.2-2.fc8.ppc" v map;;
1398 let v = (parser_39, 2572);;
1399 let map = StringMap.add "2.6.26.2-2.fc8.ppc64" v map;;
1400 let v = (parser_12, 2072);;
1401 let map = StringMap.add "2.6.26.2-2.fc8.x86_64" v map;;
1402 let v = (parser_40, 4200);;
1403 let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.i586" v map;;
1404 let v = (parser_9, 4204);;
1405 let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.i686" v map;;
1406 let v = (parser_41, 2124);;
1407 let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc" v map;;
1408 let v = (parser_42, 6712);;
1409 let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc64" v map;;
1410 let v = (parser_43, 5824);;
1411 let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.x86_64" v map;;
1412 let v = (parser_1, 1368);;
1413 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
1414 let v = (parser_14, 2104);;
1415 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;;
1416 let v = (parser_14, 2088);;
1417 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;;
1418 let v = (parser_44, 1856);;
1419 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
1420 let v = (parser_1, 1384);;
1421 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
1422 let v = (parser_14, 2112);;
1423 let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;;
1424 let v = (parser_10, 1880);;
1425 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
1426 let v = (parser_14, 2132);;
1427 let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;;
1428 let v = (parser_10, 3780);;
1429 let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;;
1430 let v = (parser_14, 2132);;
1431 let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;;
1432 let v = (parser_10, 3780);;
1433 let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;;
1434 let v = (parser_14, 2132);;
1435 let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;;
1436 let v = (parser_10, 3780);;
1437 let map = StringMap.add "2.6.21-1.3141.fc7.x86_64" v map;;
1438 let v = (parser_14, 2132);;
1439 let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;;
1440 let v = (parser_10, 3780);;
1441 let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;;
1442 let v = (parser_14, 2112);;
1443 let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;;
1444 let v = (parser_10, 1880);;
1445 let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
1446 let v = (parser_14, 2112);;
1447 let map = StringMap.add "2.6.21-1.3190.fc7.ppc64" v map;;
1448 let v = (parser_10, 1880);;
1449 let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;;
1450 let v = (parser_16, 2116);;
1451 let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;;
1452 let v = (parser_16, 2116);;
1453 let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;;
1454 let v = (parser_16, 2116);;
1455 let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;;
1456 let v = (parser_14, 2072);;
1457 let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;;
1458 let v = (parser_10, 1832);;
1459 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
1460 let v = (parser_19, 2292);;
1461 let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;;
1462 let v = (parser_22, 2308);;
1463 let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;;
1464 let v = (parser_25, 2276);;
1465 let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;;
1466 let v = (parser_25, 2276);;
1467 let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;;
1468 let v = (parser_28, 2292);;
1469 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;;
1470 let v = (parser_25, 2276);;
1471 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;;
1472 let v = (parser_31, 2272);;
1473 let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;;
1474 let v = (parser_31, 2272);;
1475 let map = StringMap.add "2.6.23.14-78.fc7.ppc64" v map;;
1476 let v = (parser_33, 2492);;
1477 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;;
1478 let v = (parser_33, 2492);;
1479 let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;;
1480 let v = (parser_33, 2492);;
1481 let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;;
1482 let v = (parser_39, 2572);;
1483 let map = StringMap.add "2.6.26.2-2.fc8.ppc64" v map;;
1484 let v = (parser_42, 6712);;
1485 let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc64" v map;;
1486 let v = (parser_13, 1592);;
1487 let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;;
1488 let v = (parser_13, 1608);;
1489 let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;;
1490 let v = (parser_13, 1620);;
1491 let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;;
1492 let v = (parser_13, 1620);;
1493 let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;;
1494 let v = (parser_13, 1620);;
1495 let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;;
1496 let v = (parser_13, 1620);;
1497 let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;;
1498 let v = (parser_13, 1608);;
1499 let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;;
1500 let v = (parser_13, 1608);;
1501 let map = StringMap.add "2.6.21-1.3190.fc7.ppc" v map;;
1502 let v = (parser_13, 1628);;
1503 let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;;
1504 let v = (parser_13, 1628);;
1505 let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;;
1506 let v = (parser_13, 1628);;
1507 let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;;
1508 let v = (parser_13, 1584);;
1509 let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;;
1510 let v = (parser_18, 1796);;
1511 let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;;
1512 let v = (parser_21, 1796);;
1513 let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;;
1514 let v = (parser_24, 1772);;
1515 let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;;
1516 let v = (parser_24, 1772);;
1517 let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;;
1518 let v = (parser_27, 1772);;
1519 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;;
1520 let v = (parser_24, 1772);;
1521 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;;
1522 let v = (parser_30, 1760);;
1523 let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;;
1524 let v = (parser_30, 1760);;
1525 let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;;
1526 let v = (parser_32, 1948);;
1527 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;;
1528 let v = (parser_32, 1948);;
1529 let map = StringMap.add "2.6.24-7.fc9.ppc" v map;;
1530 let v = (parser_32, 1948);;
1531 let map = StringMap.add "2.6.24-9.fc9.ppc" v map;;
1532 let v = (parser_38, 1992);;
1533 let map = StringMap.add "2.6.26.2-2.fc8.ppc" v map;;
1534 let v = (parser_41, 2136);;
1535 let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc" v map;;
1536 let v = (parser_1, 1384);;
1537 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
1538 let v = (parser_15, 1928);;
1539 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
1540 let v = (parser_1, 1400);;
1541 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
1542 let v = (parser_10, 1920);;
1543 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
1544 type kernel_version = string;;
1545 let task_struct_known version = StringMap.mem version map;;
1546 let task_struct_size version =
1547   let (_, size) = StringMap.find version map in size;;
1548 let task_struct_of_bits version bits =
1549   let (parsefn, _) = StringMap.find version map in parsefn bits;;
1550 let get_task_struct version mem addr =
1551   let (parsefn, size) = StringMap.find version map in
1552   let bytes = Virt_mem_mmap.get_bytes mem addr size in
1553   let bits = Bitstring.bitstring_of_string bytes in parsefn bits;;