lib/kernel_net_device.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 let struct_name = "net_device";;
   5 let match_err = "failed to match kernel structure";;
   6 exception ParseError of string * string * string;;
   7 type t = { net_device_dev_addr : string; net_device_name : string };;
   8 let parser_1 bits =
   9   bitmatch bits with
  10   | { net_device_name : 128 : offset(0), string;
  11       net_device_dev_addr : 256 : offset(2240), string } ->
  12       { net_device_name = net_device_name;
  13         net_device_dev_addr = net_device_dev_addr }
  14   | { _ } ->
  15       raise (ParseError (struct_name, "parser_1", match_err));;
  16 let parser_2 bits =
  17   bitmatch bits with
  18   | { net_device_name : 128 : offset(0), string;
  19       net_device_dev_addr : 256 : offset(3264), string } ->
  20       { net_device_name = net_device_name;
  21         net_device_dev_addr = net_device_dev_addr }
  22   | { _ } ->
  23       raise (ParseError (struct_name, "parser_2", match_err));;
  24 let parser_3 bits =
  25   bitmatch bits with
  26   | { net_device_name : 128 : offset(0), string;
  27       net_device_dev_addr : 256 : offset(2560), string } ->
  28       { net_device_name = net_device_name;
  29         net_device_dev_addr = net_device_dev_addr }
  30   | { _ } ->
  31       raise (ParseError (struct_name, "parser_3", match_err));;
  32 let parser_4 bits =
  33   bitmatch bits with
  34   | { net_device_name : 128 : offset(0), string;
  35       net_device_dev_addr : 256 : offset(2528), string } ->
  36       { net_device_name = net_device_name;
  37         net_device_dev_addr = net_device_dev_addr }
  38   | { _ } ->
  39       raise (ParseError (struct_name, "parser_4", match_err));;
  40 let parser_5 bits =
  41   bitmatch bits with
  42   | { net_device_name : 128 : offset(0), string;
  43       net_device_dev_addr : 256 : offset(2784), string } ->
  44       { net_device_name = net_device_name;
  45         net_device_dev_addr = net_device_dev_addr }
  46   | { _ } ->
  47       raise (ParseError (struct_name, "parser_5", match_err));;
  48 let parser_6 bits =
  49   bitmatch bits with
  50   | { net_device_name : 128 : offset(0), string;
  51       net_device_dev_addr : 256 : offset(3392), string } ->
  52       { net_device_name = net_device_name;
  53         net_device_dev_addr = net_device_dev_addr }
  54   | { _ } ->
  55       raise (ParseError (struct_name, "parser_6", match_err));;
  56 let parser_7 bits =
  57   bitmatch bits with
  58   | { net_device_name : 128 : offset(0), string;
  59       net_device_dev_addr : 256 : offset(4416), string } ->
  60       { net_device_name = net_device_name;
  61         net_device_dev_addr = net_device_dev_addr }
  62   | { _ } ->
  63       raise (ParseError (struct_name, "parser_7", match_err));;
  64 let parser_8 bits =
  65   bitmatch bits with
  66   | { net_device_name : 128 : offset(0), string;
  67       net_device_dev_addr : 256 : offset(4288), string } ->
  68       { net_device_name = net_device_name;
  69         net_device_dev_addr = net_device_dev_addr }
  70   | { _ } ->
  71       raise (ParseError (struct_name, "parser_8", match_err));;
  72 let parser_9 bits =
  73   bitmatch bits with
  74   | { net_device_name : 128 : offset(0), string;
  75       net_device_dev_addr : 256 : offset(1728), string } ->
  76       { net_device_name = net_device_name;
  77         net_device_dev_addr = net_device_dev_addr }
  78   | { _ } ->
  79       raise (ParseError (struct_name, "parser_9", match_err));;
  80 let parser_10 bits =
  81   bitmatch bits with
  82   | { net_device_name : 128 : offset(0), string;
  83       net_device_dev_addr : 256 : offset(3392), string } ->
  84       { net_device_name = net_device_name;
  85         net_device_dev_addr = net_device_dev_addr }
  86   | { _ } ->
  87       raise (ParseError (struct_name, "parser_10", match_err));;
  88 let parser_11 bits =
  89   bitmatch bits with
  90   | { net_device_name : 128 : offset(0), string;
  91       net_device_dev_addr : 256 : offset(1696), string } ->
  92       { net_device_name = net_device_name;
  93         net_device_dev_addr = net_device_dev_addr }
  94   | { _ } ->
  95       raise (ParseError (struct_name, "parser_11", match_err));;
  96 let parser_12 bits =
  97   bitmatch bits with
  98   | { net_device_name : 128 : offset(0), string;
  99       net_device_dev_addr : 256 : offset(2496), string } ->
 100       { net_device_name = net_device_name;
 101         net_device_dev_addr = net_device_dev_addr }
 102   | { _ } ->
 103       raise (ParseError (struct_name, "parser_12", match_err));;
 104 let parser_13 bits =
 105   bitmatch bits with
 106   | { net_device_name : 128 : offset(0), string;
 107       net_device_dev_addr : 256 : offset(4416), string } ->
 108       { net_device_name = net_device_name;
 109         net_device_dev_addr = net_device_dev_addr }
 110   | { _ } ->
 111       raise (ParseError (struct_name, "parser_13", match_err));;
 112 let parser_14 bits =
 113   bitmatch bits with
 114   | { net_device_name : 128 : offset(0), string;
 115       net_device_dev_addr : 256 : offset(2592), string } ->
 116       { net_device_name = net_device_name;
 117         net_device_dev_addr = net_device_dev_addr }
 118   | { _ } ->
 119       raise (ParseError (struct_name, "parser_14", match_err));;
 120 let parser_15 bits =
 121   bitmatch bits with
 122   | { net_device_name : 128 : offset(0), string;
 123       net_device_dev_addr : 256 : offset(2528), string } ->
 124       { net_device_name = net_device_name;
 125         net_device_dev_addr = net_device_dev_addr }
 126   | { _ } ->
 127       raise (ParseError (struct_name, "parser_15", match_err));;
 128 let parser_16 bits =
 129   bitmatch bits with
 130   | { net_device_name : 128 : offset(0), string;
 131       net_device_dev_addr : 256 : offset(4288), string } ->
 132       { net_device_name = net_device_name;
 133         net_device_dev_addr = net_device_dev_addr }
 134   | { _ } ->
 135       raise (ParseError (struct_name, "parser_16", match_err));;
 136 let parser_17 bits =
 137   bitmatch bits with
 138   | { net_device_name : 128 : offset(0), string;
 139       net_device_dev_addr : 256 : offset(2560), string } ->
 140       { net_device_name = net_device_name;
 141         net_device_dev_addr = net_device_dev_addr }
 142   | { _ } ->
 143       raise (ParseError (struct_name, "parser_17", match_err));;
 144 let parser_18 bits =
 145   bitmatch bits with
 146   | { net_device_name : 128 : offset(0), string;
 147       net_device_dev_addr : 256 : offset(2656), string } ->
 148       { net_device_name = net_device_name;
 149         net_device_dev_addr = net_device_dev_addr }
 150   | { _ } ->
 151       raise (ParseError (struct_name, "parser_18", match_err));;
 152 let parser_19 bits =
 153   bitmatch bits with
 154   | { net_device_name : 128 : offset(0), string;
 155       net_device_dev_addr : 256 : offset(4672), string } ->
 156       { net_device_name = net_device_name;
 157         net_device_dev_addr = net_device_dev_addr }
 158   | { _ } ->
 159       raise (ParseError (struct_name, "parser_19", match_err));;
 160 let parser_20 bits =
 161   bitmatch bits with
 162   | { net_device_name : 128 : offset(0), string;
 163       net_device_dev_addr : 256 : offset(4672), string } ->
 164       { net_device_name = net_device_name;
 165         net_device_dev_addr = net_device_dev_addr }
 166   | { _ } ->
 167       raise (ParseError (struct_name, "parser_20", match_err));;
 168 let parser_21 bits =
 169   bitmatch bits with
 170   | { net_device_name : 128 : offset(0), string;
 171       net_device_dev_addr : 256 : offset(1728), string } ->
 172       { net_device_name = net_device_name;
 173         net_device_dev_addr = net_device_dev_addr }
 174   | { _ } ->
 175       raise (ParseError (struct_name, "parser_21", match_err));;
 176 let parser_22 bits =
 177   bitmatch bits with
 178   | { net_device_name : 128 : offset(0), string;
 179       net_device_dev_addr : 256 : offset(2688), string } ->
 180       { net_device_name = net_device_name;
 181         net_device_dev_addr = net_device_dev_addr }
 182   | { _ } ->
 183       raise (ParseError (struct_name, "parser_22", match_err));;
 184 let parser_23 bits =
 185   bitmatch bits with
 186   | { net_device_name : 128 : offset(0), string;
 187       net_device_dev_addr : 256 : offset(1696), string } ->
 188       { net_device_name = net_device_name;
 189         net_device_dev_addr = net_device_dev_addr }
 190   | { _ } ->
 191       raise (ParseError (struct_name, "parser_23", match_err));;
 192 let parser_24 bits =
 193   bitmatch bits with
 194   | { net_device_name : 128 : offset(0), string;
 195       net_device_dev_addr : 256 : offset(2624), string } ->
 196       { net_device_name = net_device_name;
 197         net_device_dev_addr = net_device_dev_addr }
 198   | { _ } ->
 199       raise (ParseError (struct_name, "parser_24", match_err));;
 200 let parser_25 bits =
 201   bitmatch bits with
 202   | { net_device_name : 128 : offset(0), string;
 203       net_device_dev_addr : 256 : offset(2752), string } ->
 204       { net_device_name = net_device_name;
 205         net_device_dev_addr = net_device_dev_addr }
 206   | { _ } ->
 207       raise (ParseError (struct_name, "parser_25", match_err));;
 208 module StringMap = Map.Make(String);;
 209 let map = StringMap.empty;;
 210 let v = (parser_1, 924);;
 211 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 212 let v = (parser_1, 1284);;
 213 let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
 214 let v = (parser_1, 1284);;
 215 let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;
 216 let v = (parser_1, 1284);;
 217 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
 218 let v = (parser_2, 1444);;
 219 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
 220 let v = (parser_2, 1444);;
 221 let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;;
 222 let v = (parser_3, 1384);;
 223 let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
 224 let v = (parser_1, 912);;
 225 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 226 let v = (parser_1, 1284);;
 227 let map = StringMap.add "2.6.21-1.3128.fc7.i686" v map;;
 228 let v = (parser_1, 1284);;
 229 let map = StringMap.add "2.6.21-1.3132.fc7.i686" v map;;
 230 let v = (parser_1, 1284);;
 231 let map = StringMap.add "2.6.21-1.3141.fc7.i686" v map;;
 232 let v = (parser_1, 1284);;
 233 let map = StringMap.add "2.6.21-1.3144.fc7.i686" v map;;
 234 let v = (parser_1, 1200);;
 235 let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
 236 let v = (parser_1, 1200);;
 237 let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;
 238 let v = (parser_2, 1408);;
 239 let map = StringMap.add "2.6.21-1.3209.fc8.i686" v map;;
 240 let v = (parser_2, 1408);;
 241 let map = StringMap.add "2.6.21-1.3218.fc8.i686" v map;;
 242 let v = (parser_2, 1408);;
 243 let map = StringMap.add "2.6.21-1.3221.fc8.i686" v map;;
 244 let v = (parser_1, 1116);;
 245 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
 246 let v = (parser_2, 1408);;
 247 let map = StringMap.add "2.6.21-1.3234.fc8.i686" v map;;
 248 let v = (parser_2, 1408);;
 249 let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;;
 250 let v = (parser_2, 1408);;
 251 let map = StringMap.add "2.6.21-1.3238.fc8.i686" v map;;
 252 let v = (parser_2, 1408);;
 253 let map = StringMap.add "2.6.21-1.3242.fc8.i686" v map;;
 254 let v = (parser_2, 1408);;
 255 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;;
 256 let v = (parser_2, 1408);;
 257 let map = StringMap.add "2.6.22-0.rc7.2.fc8.i686" v map;;
 258 let v = (parser_2, 1248);;
 259 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
 260 let v = (parser_2, 1248);;
 261 let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;;
 262 let v = (parser_4, 1244);;
 263 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;;
 264 let v = (parser_4, 1244);;
 265 let map = StringMap.add "2.6.24-7.fc9.i686" v map;;
 266 let v = (parser_4, 1244);;
 267 let map = StringMap.add "2.6.24-9.fc9.i686" v map;;
 268 let v = (parser_3, 1216);;
 269 let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
 270 let v = (parser_5, 1388);;
 271 let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.i686" v map;;
 272 let v = (parser_1, 924);;
 273 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 274 let v = (parser_6, 1540);;
 275 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
 276 let v = (parser_1, 1284);;
 277 let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
 278 let v = (parser_6, 2196);;
 279 let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
 280 let v = (parser_1, 1284);;
 281 let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;
 282 let v = (parser_6, 2196);;
 283 let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;;
 284 let v = (parser_1, 1284);;
 285 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
 286 let v = (parser_6, 2196);;
 287 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
 288 let v = (parser_2, 1444);;
 289 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
 290 let v = (parser_7, 2392);;
 291 let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;;
 292 let v = (parser_7, 2392);;
 293 let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;;
 294 let v = (parser_3, 1384);;
 295 let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
 296 let v = (parser_8, 2304);;
 297 let map = StringMap.add "2.6.26.2-2.fc8.x86_64" v map;;
 298 let v = (parser_1, 912);;
 299 let map = StringMap.add "2.6.18-1.2798.fc6.i586" v map;;
 300 let v = (parser_1, 912);;
 301 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
 302 let v = (parser_9, 672);;
 303 let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;;
 304 let v = (parser_10, 1260);;
 305 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;;
 306 let v = (parser_10, 1260);;
 307 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;;
 308 let v = (parser_6, 1260);;
 309 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
 310 let v = (parser_1, 912);;
 311 let map = StringMap.add "2.6.20-1.2933.fc6.i586" v map;;
 312 let v = (parser_1, 912);;
 313 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 314 let v = (parser_11, 668);;
 315 let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;;
 316 let v = (parser_10, 1260);;
 317 let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;;
 318 let v = (parser_6, 1260);;
 319 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
 320 let v = (parser_1, 1284);;
 321 let map = StringMap.add "2.6.21-1.3128.fc7.i586" v map;;
 322 let v = (parser_1, 1284);;
 323 let map = StringMap.add "2.6.21-1.3128.fc7.i686" v map;;
 324 let v = (parser_9, 996);;
 325 let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;;
 326 let v = (parser_10, 1924);;
 327 let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;;
 328 let v = (parser_6, 2196);;
 329 let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;;
 330 let v = (parser_1, 1284);;
 331 let map = StringMap.add "2.6.21-1.3132.fc7.i586" v map;;
 332 let v = (parser_1, 1284);;
 333 let map = StringMap.add "2.6.21-1.3132.fc7.i686" v map;;
 334 let v = (parser_9, 996);;
 335 let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;;
 336 let v = (parser_10, 1924);;
 337 let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;;
 338 let v = (parser_6, 2196);;
 339 let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;;
 340 let v = (parser_1, 1284);;
 341 let map = StringMap.add "2.6.21-1.3141.fc7.i586" v map;;
 342 let v = (parser_1, 1284);;
 343 let map = StringMap.add "2.6.21-1.3141.fc7.i686" v map;;
 344 let v = (parser_9, 996);;
 345 let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;;
 346 let v = (parser_10, 1924);;
 347 let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;;
 348 let v = (parser_6, 2196);;
 349 let map = StringMap.add "2.6.21-1.3141.fc7.x86_64" v map;;
 350 let v = (parser_1, 1284);;
 351 let map = StringMap.add "2.6.21-1.3144.fc7.i586" v map;;
 352 let v = (parser_1, 1284);;
 353 let map = StringMap.add "2.6.21-1.3144.fc7.i686" v map;;
 354 let v = (parser_9, 996);;
 355 let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;;
 356 let v = (parser_10, 1924);;
 357 let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;;
 358 let v = (parser_6, 2196);;
 359 let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;;
 360 let v = (parser_1, 1200);;
 361 let map = StringMap.add "2.6.21-1.3145.fc7.i586" v map;;
 362 let v = (parser_1, 1200);;
 363 let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
 364 let v = (parser_9, 996);;
 365 let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;;
 366 let v = (parser_10, 1924);;
 367 let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;;
 368 let v = (parser_6, 1900);;
 369 let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
 370 let v = (parser_1, 1200);;
 371 let map = StringMap.add "2.6.21-1.3190.fc7.i586" v map;;
 372 let v = (parser_1, 1200);;
 373 let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;
 374 let v = (parser_9, 996);;
 375 let map = StringMap.add "2.6.21-1.3190.fc7.ppc" v map;;
 376 let v = (parser_10, 1924);;
 377 let map = StringMap.add "2.6.21-1.3190.fc7.ppc64" v map;;
 378 let v = (parser_6, 1900);;
 379 let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;;
 380 let v = (parser_2, 1408);;
 381 let map = StringMap.add "2.6.21-1.3209.fc8.i586" v map;;
 382 let v = (parser_2, 1408);;
 383 let map = StringMap.add "2.6.21-1.3209.fc8.i686" v map;;
 384 let v = (parser_12, 1092);;
 385 let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;;
 386 let v = (parser_13, 2044);;
 387 let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;;
 388 let v = (parser_7, 2316);;
 389 let map = StringMap.add "2.6.21-1.3209.fc8.x86_64" v map;;
 390 let v = (parser_2, 1408);;
 391 let map = StringMap.add "2.6.21-1.3218.fc8.i586" v map;;
 392 let v = (parser_2, 1408);;
 393 let map = StringMap.add "2.6.21-1.3218.fc8.i686" v map;;
 394 let v = (parser_12, 1092);;
 395 let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;;
 396 let v = (parser_13, 2044);;
 397 let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;;
 398 let v = (parser_7, 2316);;
 399 let map = StringMap.add "2.6.21-1.3218.fc8.x86_64" v map;;
 400 let v = (parser_2, 1408);;
 401 let map = StringMap.add "2.6.21-1.3221.fc8.i586" v map;;
 402 let v = (parser_2, 1408);;
 403 let map = StringMap.add "2.6.21-1.3221.fc8.i686" v map;;
 404 let v = (parser_12, 1092);;
 405 let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;;
 406 let v = (parser_13, 2044);;
 407 let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;;
 408 let v = (parser_7, 2316);;
 409 let map = StringMap.add "2.6.21-1.3221.fc8.x86_64" v map;;
 410 let v = (parser_1, 1116);;
 411 let map = StringMap.add "2.6.21-1.3228.fc7.i586" v map;;
 412 let v = (parser_1, 1116);;
 413 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
 414 let v = (parser_9, 836);;
 415 let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;;
 416 let v = (parser_10, 1684);;
 417 let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;;
 418 let v = (parser_6, 1660);;
 419 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
 420 let v = (parser_2, 1408);;
 421 let map = StringMap.add "2.6.21-1.3234.fc8.i686" v map;;
 422 let v = (parser_12, 1092);;
 423 let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;;
 424 let v = (parser_13, 2044);;
 425 let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;;
 426 let v = (parser_7, 2316);;
 427 let map = StringMap.add "2.6.21-1.3234.fc8.x86_64" v map;;
 428 let v = (parser_2, 1408);;
 429 let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;;
 430 let v = (parser_12, 1092);;
 431 let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;;
 432 let v = (parser_13, 2044);;
 433 let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;;
 434 let v = (parser_7, 2316);;
 435 let map = StringMap.add "2.6.21-1.3236.fc8.x86_64" v map;;
 436 let v = (parser_2, 1408);;
 437 let map = StringMap.add "2.6.21-1.3238.fc8.i686" v map;;
 438 let v = (parser_12, 1092);;
 439 let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;;
 440 let v = (parser_13, 2044);;
 441 let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;;
 442 let v = (parser_7, 2316);;
 443 let map = StringMap.add "2.6.21-1.3238.fc8.x86_64" v map;;
 444 let v = (parser_2, 1408);;
 445 let map = StringMap.add "2.6.21-1.3242.fc8.i686" v map;;
 446 let v = (parser_12, 1092);;
 447 let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;;
 448 let v = (parser_13, 2044);;
 449 let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;;
 450 let v = (parser_7, 2316);;
 451 let map = StringMap.add "2.6.21-1.3242.fc8.x86_64" v map;;
 452 let v = (parser_2, 1408);;
 453 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;;
 454 let v = (parser_12, 1092);;
 455 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;;
 456 let v = (parser_13, 2044);;
 457 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;;
 458 let v = (parser_7, 2316);;
 459 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.x86_64" v map;;
 460 let v = (parser_2, 1408);;
 461 let map = StringMap.add "2.6.22-0.rc7.2.fc8.i686" v map;;
 462 let v = (parser_12, 1092);;
 463 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;;
 464 let v = (parser_13, 2044);;
 465 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;;
 466 let v = (parser_7, 2316);;
 467 let map = StringMap.add "2.6.22-0.rc7.2.fc8.x86_64" v map;;
 468 let v = (parser_2, 1248);;
 469 let map = StringMap.add "2.6.23.14-135.fc8.i586" v map;;
 470 let v = (parser_2, 1248);;
 471 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
 472 let v = (parser_14, 952);;
 473 let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;;
 474 let v = (parser_13, 1824);;
 475 let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;;
 476 let v = (parser_7, 1800);;
 477 let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;;
 478 let v = (parser_2, 1248);;
 479 let map = StringMap.add "2.6.23.14-78.fc7.i586" v map;;
 480 let v = (parser_2, 1248);;
 481 let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;;
 482 let v = (parser_14, 952);;
 483 let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;;
 484 let v = (parser_13, 1824);;
 485 let map = StringMap.add "2.6.23.14-78.fc7.ppc64" v map;;
 486 let v = (parser_7, 1800);;
 487 let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;;
 488 let v = (parser_4, 1244);;
 489 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i586" v map;;
 490 let v = (parser_4, 1244);;
 491 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;;
 492 let v = (parser_15, 1048);;
 493 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;;
 494 let v = (parser_16, 1984);;
 495 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;;
 496 let v = (parser_8, 2288);;
 497 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.x86_64" v map;;
 498 let v = (parser_4, 1244);;
 499 let map = StringMap.add "2.6.24-7.fc9.i586" v map;;
 500 let v = (parser_4, 1244);;
 501 let map = StringMap.add "2.6.24-7.fc9.i686" v map;;
 502 let v = (parser_15, 1048);;
 503 let map = StringMap.add "2.6.24-7.fc9.ppc" v map;;
 504 let v = (parser_16, 1984);;
 505 let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;;
 506 let v = (parser_8, 2288);;
 507 let map = StringMap.add "2.6.24-7.fc9.x86_64" v map;;
 508 let v = (parser_4, 1244);;
 509 let map = StringMap.add "2.6.24-9.fc9.i586" v map;;
 510 let v = (parser_4, 1244);;
 511 let map = StringMap.add "2.6.24-9.fc9.i686" v map;;
 512 let v = (parser_15, 1048);;
 513 let map = StringMap.add "2.6.24-9.fc9.ppc" v map;;
 514 let v = (parser_16, 1984);;
 515 let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;;
 516 let v = (parser_8, 2288);;
 517 let map = StringMap.add "2.6.24-9.fc9.x86_64" v map;;
 518 let v = (parser_4, 1212);;
 519 let map = StringMap.add "2.6.25.11-97.fc9.i686" v map;;
 520 let v = (parser_8, 1752);;
 521 let map = StringMap.add "2.6.25.11-97.fc9.x86_64" v map;;
 522 let v = (parser_3, 1216);;
 523 let map = StringMap.add "2.6.26.2-2.fc8.i586" v map;;
 524 let v = (parser_3, 1216);;
 525 let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
 526 let v = (parser_17, 920);;
 527 let map = StringMap.add "2.6.26.2-2.fc8.ppc" v map;;
 528 let v = (parser_16, 1776);;
 529 let map = StringMap.add "2.6.26.2-2.fc8.ppc64" v map;;
 530 let v = (parser_8, 1752);;
 531 let map = StringMap.add "2.6.26.2-2.fc8.x86_64" v map;;
 532 let v = (parser_5, 1388);;
 533 let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.i586" v map;;
 534 let v = (parser_5, 1388);;
 535 let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.i686" v map;;
 536 let v = (parser_18, 1072);;
 537 let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc" v map;;
 538 let v = (parser_19, 2332);;
 539 let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc64" v map;;
 540 let v = (parser_20, 2316);;
 541 let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.x86_64" v map;;
 542 let v = (parser_21, 672);;
 543 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
 544 let v = (parser_10, 1260);;
 545 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;;
 546 let v = (parser_10, 1260);;
 547 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;;
 548 let v = (parser_22, 1108);;
 549 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
 550 let v = (parser_23, 668);;
 551 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 552 let v = (parser_10, 1260);;
 553 let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;;
 554 let v = (parser_24, 1100);;
 555 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
 556 let v = (parser_10, 1924);;
 557 let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;;
 558 let v = (parser_22, 2124);;
 559 let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;;
 560 let v = (parser_10, 1924);;
 561 let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;;
 562 let v = (parser_22, 2124);;
 563 let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;;
 564 let v = (parser_10, 1924);;
 565 let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;;
 566 let v = (parser_22, 2124);;
 567 let map = StringMap.add "2.6.21-1.3141.fc7.x86_64" v map;;
 568 let v = (parser_10, 1924);;
 569 let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;;
 570 let v = (parser_22, 2124);;
 571 let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;;
 572 let v = (parser_10, 1924);;
 573 let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;;
 574 let v = (parser_22, 1644);;
 575 let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
 576 let v = (parser_10, 1924);;
 577 let map = StringMap.add "2.6.21-1.3190.fc7.ppc64" v map;;
 578 let v = (parser_22, 1644);;
 579 let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;;
 580 let v = (parser_13, 2044);;
 581 let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;;
 582 let v = (parser_13, 2044);;
 583 let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;;
 584 let v = (parser_13, 2044);;
 585 let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;;
 586 let v = (parser_10, 1684);;
 587 let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;;
 588 let v = (parser_22, 1404);;
 589 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
 590 let v = (parser_13, 2044);;
 591 let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;;
 592 let v = (parser_13, 2044);;
 593 let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;;
 594 let v = (parser_13, 2044);;
 595 let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;;
 596 let v = (parser_13, 2044);;
 597 let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;;
 598 let v = (parser_13, 2044);;
 599 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;;
 600 let v = (parser_13, 2044);;
 601 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;;
 602 let v = (parser_13, 1824);;
 603 let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;;
 604 let v = (parser_13, 1824);;
 605 let map = StringMap.add "2.6.23.14-78.fc7.ppc64" v map;;
 606 let v = (parser_16, 1984);;
 607 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;;
 608 let v = (parser_16, 1984);;
 609 let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;;
 610 let v = (parser_16, 1984);;
 611 let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;;
 612 let v = (parser_16, 1776);;
 613 let map = StringMap.add "2.6.26.2-2.fc8.ppc64" v map;;
 614 let v = (parser_19, 2332);;
 615 let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc64" v map;;
 616 let v = (parser_9, 688);;
 617 let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;;
 618 let v = (parser_9, 688);;
 619 let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;;
 620 let v = (parser_9, 1020);;
 621 let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;;
 622 let v = (parser_9, 1020);;
 623 let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;;
 624 let v = (parser_9, 1020);;
 625 let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;;
 626 let v = (parser_9, 1020);;
 627 let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;;
 628 let v = (parser_9, 1020);;
 629 let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;;
 630 let v = (parser_9, 1020);;
 631 let map = StringMap.add "2.6.21-1.3190.fc7.ppc" v map;;
 632 let v = (parser_12, 1116);;
 633 let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;;
 634 let v = (parser_12, 1116);;
 635 let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;;
 636 let v = (parser_12, 1116);;
 637 let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;;
 638 let v = (parser_9, 936);;
 639 let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;;
 640 let v = (parser_12, 1116);;
 641 let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;;
 642 let v = (parser_12, 1116);;
 643 let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;;
 644 let v = (parser_12, 1116);;
 645 let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;;
 646 let v = (parser_12, 1116);;
 647 let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;;
 648 let v = (parser_12, 1116);;
 649 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;;
 650 let v = (parser_12, 1116);;
 651 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;;
 652 let v = (parser_25, 1064);;
 653 let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;;
 654 let v = (parser_25, 1064);;
 655 let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;;
 656 let v = (parser_15, 1072);;
 657 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;;
 658 let v = (parser_15, 1072);;
 659 let map = StringMap.add "2.6.24-7.fc9.ppc" v map;;
 660 let v = (parser_15, 1072);;
 661 let map = StringMap.add "2.6.24-9.fc9.ppc" v map;;
 662 let v = (parser_17, 1016);;
 663 let map = StringMap.add "2.6.26.2-2.fc8.ppc" v map;;
 664 let v = (parser_18, 1120);;
 665 let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc" v map;;
 666 let v = (parser_1, 912);;
 667 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
 668 let v = (parser_6, 1260);;
 669 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
 670 let v = (parser_1, 912);;
 671 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 672 let v = (parser_6, 1260);;
 673 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
 674 type kernel_version = string;;
 675 let net_device_known version = StringMap.mem version map;;
 676 let net_device_size version =
 677   let (_, size) = StringMap.find version map in size;;
 678 let net_device_of_bits version bits =
 679   let (parsefn, _) = StringMap.find version map in parsefn bits;;
 680 let get_net_device version mem addr =
 681   let (parsefn, size) = StringMap.find version map in
 682   let bytes = Virt_mem_mmap.get_bytes mem addr size in
 683   let bits = Bitstring.bitstring_of_string bytes in parsefn bits;;