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(2528), 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(3392), 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(4416), 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(1728), 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(3392), 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(1696), 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(2496), 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(4416), 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(2592), 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(2528), 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(4288), 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(4288), 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(1728), 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(2688), 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(1696), 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(2624), 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(2752), 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 module StringMap = Map.Make(String);;
 161 let map = StringMap.empty;;
 162 let v = (parser_1, 924);;
 163 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 164 let v = (parser_1, 1284);;
 165 let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
 166 let v = (parser_1, 1284);;
 167 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
 168 let v = (parser_2, 1444);;
 169 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
 170 let v = (parser_1, 912);;
 171 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 172 let v = (parser_1, 1284);;
 173 let map = StringMap.add "2.6.21-1.3128.fc7.i686" v map;;
 174 let v = (parser_1, 1284);;
 175 let map = StringMap.add "2.6.21-1.3132.fc7.i686" v map;;
 176 let v = (parser_1, 1284);;
 177 let map = StringMap.add "2.6.21-1.3141.fc7.i686" v map;;
 178 let v = (parser_1, 1284);;
 179 let map = StringMap.add "2.6.21-1.3144.fc7.i686" v map;;
 180 let v = (parser_1, 1200);;
 181 let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
 182 let v = (parser_2, 1408);;
 183 let map = StringMap.add "2.6.21-1.3209.fc8.i686" v map;;
 184 let v = (parser_2, 1408);;
 185 let map = StringMap.add "2.6.21-1.3218.fc8.i686" v map;;
 186 let v = (parser_2, 1408);;
 187 let map = StringMap.add "2.6.21-1.3221.fc8.i686" v map;;
 188 let v = (parser_1, 1116);;
 189 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
 190 let v = (parser_2, 1408);;
 191 let map = StringMap.add "2.6.21-1.3234.fc8.i686" v map;;
 192 let v = (parser_2, 1408);;
 193 let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;;
 194 let v = (parser_2, 1408);;
 195 let map = StringMap.add "2.6.21-1.3238.fc8.i686" v map;;
 196 let v = (parser_2, 1408);;
 197 let map = StringMap.add "2.6.21-1.3242.fc8.i686" v map;;
 198 let v = (parser_2, 1408);;
 199 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;;
 200 let v = (parser_2, 1408);;
 201 let map = StringMap.add "2.6.22-0.rc7.2.fc8.i686" v map;;
 202 let v = (parser_2, 1248);;
 203 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
 204 let v = (parser_3, 1244);;
 205 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;;
 206 let v = (parser_3, 1244);;
 207 let map = StringMap.add "2.6.24-7.fc9.i686" v map;;
 208 let v = (parser_3, 1244);;
 209 let map = StringMap.add "2.6.24-9.fc9.i686" v map;;
 210 let v = (parser_1, 924);;
 211 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 212 let v = (parser_4, 1540);;
 213 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
 214 let v = (parser_1, 1284);;
 215 let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
 216 let v = (parser_4, 2196);;
 217 let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
 218 let v = (parser_1, 1284);;
 219 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
 220 let v = (parser_4, 2196);;
 221 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
 222 let v = (parser_2, 1444);;
 223 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
 224 let v = (parser_5, 2392);;
 225 let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;;
 226 let v = (parser_5, 2392);;
 227 let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;;
 228 let v = (parser_1, 912);;
 229 let map = StringMap.add "2.6.18-1.2798.fc6.i586" v map;;
 230 let v = (parser_1, 912);;
 231 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
 232 let v = (parser_6, 672);;
 233 let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;;
 234 let v = (parser_7, 1260);;
 235 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;;
 236 let v = (parser_7, 1260);;
 237 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;;
 238 let v = (parser_4, 1260);;
 239 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
 240 let v = (parser_1, 912);;
 241 let map = StringMap.add "2.6.20-1.2933.fc6.i586" v map;;
 242 let v = (parser_1, 912);;
 243 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 244 let v = (parser_8, 668);;
 245 let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;;
 246 let v = (parser_7, 1260);;
 247 let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;;
 248 let v = (parser_4, 1260);;
 249 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
 250 let v = (parser_1, 1284);;
 251 let map = StringMap.add "2.6.21-1.3128.fc7.i586" v map;;
 252 let v = (parser_1, 1284);;
 253 let map = StringMap.add "2.6.21-1.3128.fc7.i686" v map;;
 254 let v = (parser_6, 996);;
 255 let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;;
 256 let v = (parser_7, 1924);;
 257 let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;;
 258 let v = (parser_4, 2196);;
 259 let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;;
 260 let v = (parser_1, 1284);;
 261 let map = StringMap.add "2.6.21-1.3132.fc7.i586" v map;;
 262 let v = (parser_1, 1284);;
 263 let map = StringMap.add "2.6.21-1.3132.fc7.i686" v map;;
 264 let v = (parser_6, 996);;
 265 let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;;
 266 let v = (parser_7, 1924);;
 267 let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;;
 268 let v = (parser_4, 2196);;
 269 let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;;
 270 let v = (parser_1, 1284);;
 271 let map = StringMap.add "2.6.21-1.3141.fc7.i586" v map;;
 272 let v = (parser_1, 1284);;
 273 let map = StringMap.add "2.6.21-1.3141.fc7.i686" v map;;
 274 let v = (parser_6, 996);;
 275 let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;;
 276 let v = (parser_7, 1924);;
 277 let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;;
 278 let v = (parser_4, 2196);;
 279 let map = StringMap.add "2.6.21-1.3141.fc7.x86_64" v map;;
 280 let v = (parser_1, 1284);;
 281 let map = StringMap.add "2.6.21-1.3144.fc7.i586" v map;;
 282 let v = (parser_1, 1284);;
 283 let map = StringMap.add "2.6.21-1.3144.fc7.i686" v map;;
 284 let v = (parser_6, 996);;
 285 let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;;
 286 let v = (parser_7, 1924);;
 287 let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;;
 288 let v = (parser_4, 2196);;
 289 let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;;
 290 let v = (parser_1, 1200);;
 291 let map = StringMap.add "2.6.21-1.3145.fc7.i586" v map;;
 292 let v = (parser_1, 1200);;
 293 let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
 294 let v = (parser_6, 996);;
 295 let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;;
 296 let v = (parser_7, 1924);;
 297 let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;;
 298 let v = (parser_4, 1900);;
 299 let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
 300 let v = (parser_2, 1408);;
 301 let map = StringMap.add "2.6.21-1.3209.fc8.i586" v map;;
 302 let v = (parser_2, 1408);;
 303 let map = StringMap.add "2.6.21-1.3209.fc8.i686" v map;;
 304 let v = (parser_9, 1092);;
 305 let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;;
 306 let v = (parser_10, 2044);;
 307 let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;;
 308 let v = (parser_5, 2316);;
 309 let map = StringMap.add "2.6.21-1.3209.fc8.x86_64" v map;;
 310 let v = (parser_2, 1408);;
 311 let map = StringMap.add "2.6.21-1.3218.fc8.i586" v map;;
 312 let v = (parser_2, 1408);;
 313 let map = StringMap.add "2.6.21-1.3218.fc8.i686" v map;;
 314 let v = (parser_9, 1092);;
 315 let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;;
 316 let v = (parser_10, 2044);;
 317 let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;;
 318 let v = (parser_5, 2316);;
 319 let map = StringMap.add "2.6.21-1.3218.fc8.x86_64" v map;;
 320 let v = (parser_2, 1408);;
 321 let map = StringMap.add "2.6.21-1.3221.fc8.i586" v map;;
 322 let v = (parser_2, 1408);;
 323 let map = StringMap.add "2.6.21-1.3221.fc8.i686" v map;;
 324 let v = (parser_9, 1092);;
 325 let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;;
 326 let v = (parser_10, 2044);;
 327 let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;;
 328 let v = (parser_5, 2316);;
 329 let map = StringMap.add "2.6.21-1.3221.fc8.x86_64" v map;;
 330 let v = (parser_1, 1116);;
 331 let map = StringMap.add "2.6.21-1.3228.fc7.i586" v map;;
 332 let v = (parser_1, 1116);;
 333 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
 334 let v = (parser_6, 836);;
 335 let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;;
 336 let v = (parser_7, 1684);;
 337 let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;;
 338 let v = (parser_4, 1660);;
 339 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
 340 let v = (parser_2, 1408);;
 341 let map = StringMap.add "2.6.21-1.3234.fc8.i686" v map;;
 342 let v = (parser_9, 1092);;
 343 let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;;
 344 let v = (parser_10, 2044);;
 345 let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;;
 346 let v = (parser_5, 2316);;
 347 let map = StringMap.add "2.6.21-1.3234.fc8.x86_64" v map;;
 348 let v = (parser_2, 1408);;
 349 let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;;
 350 let v = (parser_9, 1092);;
 351 let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;;
 352 let v = (parser_10, 2044);;
 353 let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;;
 354 let v = (parser_5, 2316);;
 355 let map = StringMap.add "2.6.21-1.3236.fc8.x86_64" v map;;
 356 let v = (parser_2, 1408);;
 357 let map = StringMap.add "2.6.21-1.3238.fc8.i686" v map;;
 358 let v = (parser_9, 1092);;
 359 let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;;
 360 let v = (parser_10, 2044);;
 361 let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;;
 362 let v = (parser_5, 2316);;
 363 let map = StringMap.add "2.6.21-1.3238.fc8.x86_64" v map;;
 364 let v = (parser_2, 1408);;
 365 let map = StringMap.add "2.6.21-1.3242.fc8.i686" v map;;
 366 let v = (parser_9, 1092);;
 367 let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;;
 368 let v = (parser_10, 2044);;
 369 let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;;
 370 let v = (parser_5, 2316);;
 371 let map = StringMap.add "2.6.21-1.3242.fc8.x86_64" v map;;
 372 let v = (parser_2, 1408);;
 373 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;;
 374 let v = (parser_9, 1092);;
 375 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;;
 376 let v = (parser_10, 2044);;
 377 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;;
 378 let v = (parser_5, 2316);;
 379 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.x86_64" v map;;
 380 let v = (parser_2, 1408);;
 381 let map = StringMap.add "2.6.22-0.rc7.2.fc8.i686" v map;;
 382 let v = (parser_9, 1092);;
 383 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;;
 384 let v = (parser_10, 2044);;
 385 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;;
 386 let v = (parser_5, 2316);;
 387 let map = StringMap.add "2.6.22-0.rc7.2.fc8.x86_64" v map;;
 388 let v = (parser_2, 1248);;
 389 let map = StringMap.add "2.6.23.14-135.fc8.i586" v map;;
 390 let v = (parser_2, 1248);;
 391 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
 392 let v = (parser_11, 952);;
 393 let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;;
 394 let v = (parser_10, 1824);;
 395 let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;;
 396 let v = (parser_5, 1800);;
 397 let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;;
 398 let v = (parser_2, 1248);;
 399 let map = StringMap.add "2.6.23.14-78.fc7.i586" v map;;
 400 let v = (parser_11, 952);;
 401 let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;;
 402 let v = (parser_10, 1824);;
 403 let map = StringMap.add "2.6.23.14-78.fc7.ppc64" v map;;
 404 let v = (parser_5, 1800);;
 405 let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;;
 406 let v = (parser_3, 1244);;
 407 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i586" v map;;
 408 let v = (parser_3, 1244);;
 409 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;;
 410 let v = (parser_12, 1048);;
 411 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;;
 412 let v = (parser_13, 1984);;
 413 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;;
 414 let v = (parser_14, 2288);;
 415 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.x86_64" v map;;
 416 let v = (parser_3, 1244);;
 417 let map = StringMap.add "2.6.24-7.fc9.i586" v map;;
 418 let v = (parser_3, 1244);;
 419 let map = StringMap.add "2.6.24-7.fc9.i686" v map;;
 420 let v = (parser_12, 1048);;
 421 let map = StringMap.add "2.6.24-7.fc9.ppc" v map;;
 422 let v = (parser_13, 1984);;
 423 let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;;
 424 let v = (parser_14, 2288);;
 425 let map = StringMap.add "2.6.24-7.fc9.x86_64" v map;;
 426 let v = (parser_3, 1244);;
 427 let map = StringMap.add "2.6.24-9.fc9.i586" v map;;
 428 let v = (parser_3, 1244);;
 429 let map = StringMap.add "2.6.24-9.fc9.i686" v map;;
 430 let v = (parser_12, 1048);;
 431 let map = StringMap.add "2.6.24-9.fc9.ppc" v map;;
 432 let v = (parser_13, 1984);;
 433 let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;;
 434 let v = (parser_14, 2288);;
 435 let map = StringMap.add "2.6.24-9.fc9.x86_64" v map;;
 436 let v = (parser_3, 1212);;
 437 let map = StringMap.add "2.6.25.11-97.fc9.i686" v map;;
 438 let v = (parser_14, 1752);;
 439 let map = StringMap.add "2.6.25.11-97.fc9.x86_64" v map;;
 440 let v = (parser_15, 672);;
 441 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
 442 let v = (parser_7, 1260);;
 443 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;;
 444 let v = (parser_7, 1260);;
 445 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;;
 446 let v = (parser_16, 1108);;
 447 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
 448 let v = (parser_17, 668);;
 449 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 450 let v = (parser_7, 1260);;
 451 let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;;
 452 let v = (parser_18, 1100);;
 453 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
 454 let v = (parser_7, 1924);;
 455 let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;;
 456 let v = (parser_16, 2124);;
 457 let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;;
 458 let v = (parser_7, 1924);;
 459 let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;;
 460 let v = (parser_16, 2124);;
 461 let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;;
 462 let v = (parser_7, 1924);;
 463 let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;;
 464 let v = (parser_16, 2124);;
 465 let map = StringMap.add "2.6.21-1.3141.fc7.x86_64" v map;;
 466 let v = (parser_7, 1924);;
 467 let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;;
 468 let v = (parser_16, 2124);;
 469 let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;;
 470 let v = (parser_7, 1924);;
 471 let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;;
 472 let v = (parser_16, 1644);;
 473 let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
 474 let v = (parser_10, 2044);;
 475 let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;;
 476 let v = (parser_10, 2044);;
 477 let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;;
 478 let v = (parser_10, 2044);;
 479 let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;;
 480 let v = (parser_7, 1684);;
 481 let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;;
 482 let v = (parser_16, 1404);;
 483 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
 484 let v = (parser_10, 2044);;
 485 let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;;
 486 let v = (parser_10, 2044);;
 487 let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;;
 488 let v = (parser_10, 2044);;
 489 let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;;
 490 let v = (parser_10, 2044);;
 491 let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;;
 492 let v = (parser_10, 2044);;
 493 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;;
 494 let v = (parser_10, 2044);;
 495 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;;
 496 let v = (parser_10, 1824);;
 497 let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;;
 498 let v = (parser_13, 1984);;
 499 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;;
 500 let v = (parser_13, 1984);;
 501 let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;;
 502 let v = (parser_13, 1984);;
 503 let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;;
 504 let v = (parser_6, 688);;
 505 let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;;
 506 let v = (parser_6, 688);;
 507 let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;;
 508 let v = (parser_6, 1020);;
 509 let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;;
 510 let v = (parser_6, 1020);;
 511 let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;;
 512 let v = (parser_6, 1020);;
 513 let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;;
 514 let v = (parser_6, 1020);;
 515 let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;;
 516 let v = (parser_6, 1020);;
 517 let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;;
 518 let v = (parser_9, 1116);;
 519 let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;;
 520 let v = (parser_9, 1116);;
 521 let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;;
 522 let v = (parser_9, 1116);;
 523 let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;;
 524 let v = (parser_6, 936);;
 525 let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;;
 526 let v = (parser_9, 1116);;
 527 let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;;
 528 let v = (parser_9, 1116);;
 529 let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;;
 530 let v = (parser_9, 1116);;
 531 let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;;
 532 let v = (parser_9, 1116);;
 533 let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;;
 534 let v = (parser_9, 1116);;
 535 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;;
 536 let v = (parser_9, 1116);;
 537 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;;
 538 let v = (parser_19, 1064);;
 539 let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;;
 540 let v = (parser_19, 1064);;
 541 let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;;
 542 let v = (parser_12, 1072);;
 543 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;;
 544 let v = (parser_12, 1072);;
 545 let map = StringMap.add "2.6.24-7.fc9.ppc" v map;;
 546 let v = (parser_12, 1072);;
 547 let map = StringMap.add "2.6.24-9.fc9.ppc" v map;;
 548 let v = (parser_1, 912);;
 549 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
 550 let v = (parser_4, 1260);;
 551 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
 552 let v = (parser_1, 912);;
 553 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 554 let v = (parser_4, 1260);;
 555 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
 556 type kernel_version = string;;
 557 let net_device_known version = StringMap.mem version map;;
 558 let net_device_size version =
 559   let (_, size) = StringMap.find version map in size;;
 560 let net_device_of_bits version bits =
 561   let (parsefn, _) = StringMap.find version map in parsefn bits;;
 562 let get_net_device version mem addr =
 563   let (parsefn, size) = StringMap.find version map in
 564   let bytes = Virt_mem_mmap.get_bytes mem addr size in
 565   let bits = Bitstring.bitstring_of_string bytes in parsefn bits;;