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 exception ParseError of string * string * string;;
   5 type t = { net_device_dev_addr : string; net_device_name : string };;
   6 let parser_1 bits = bitmatch bits with
   7   | { net_device_name : 128 : offset(0), string;
   8     net_device_dev_addr : 256 : offset(2240), string } -> { net_device_name = net_device_name;
   9     net_device_dev_addr = net_device_dev_addr }
  10   | { _ } -> raise (ParseError ("net_device", "parser_1", "failed to match kernel structure"));;
  11 let parser_2 bits = bitmatch bits with
  12   | { net_device_name : 128 : offset(0), string;
  13     net_device_dev_addr : 256 : offset(4288), string } -> { net_device_name = net_device_name;
  14     net_device_dev_addr = net_device_dev_addr }
  15   | { _ } -> raise (ParseError ("net_device", "parser_2", "failed to match kernel structure"));;
  16 let parser_3 bits = bitmatch bits with
  17   | { net_device_name : 128 : offset(0), string;
  18     net_device_dev_addr : 256 : offset(2496), string } -> { net_device_name = net_device_name;
  19     net_device_dev_addr = net_device_dev_addr }
  20   | { _ } -> raise (ParseError ("net_device", "parser_3", "failed to match kernel structure"));;
  21 let parser_4 bits = bitmatch bits with
  22   | { net_device_name : 128 : offset(0), string;
  23     net_device_dev_addr : 256 : offset(2688), string } -> { net_device_name = net_device_name;
  24     net_device_dev_addr = net_device_dev_addr }
  25   | { _ } -> raise (ParseError ("net_device", "parser_4", "failed to match kernel structure"));;
  26 let parser_5 bits = bitmatch bits with
  27   | { net_device_name : 128 : offset(0), string;
  28     net_device_dev_addr : 256 : offset(3392), string } -> { net_device_name = net_device_name;
  29     net_device_dev_addr = net_device_dev_addr }
  30   | { _ } -> raise (ParseError ("net_device", "parser_5", "failed to match kernel structure"));;
  31 let parser_6 bits = bitmatch bits with
  32   | { net_device_name : 128 : offset(0), string;
  33     net_device_dev_addr : 256 : offset(2528), string } -> { net_device_name = net_device_name;
  34     net_device_dev_addr = net_device_dev_addr }
  35   | { _ } -> raise (ParseError ("net_device", "parser_6", "failed to match kernel structure"));;
  36 let parser_7 bits = bitmatch bits with
  37   | { net_device_name : 128 : offset(0), string;
  38     net_device_dev_addr : 256 : offset(4416), string } -> { net_device_name = net_device_name;
  39     net_device_dev_addr = net_device_dev_addr }
  40   | { _ } -> raise (ParseError ("net_device", "parser_7", "failed to match kernel structure"));;
  41 let parser_8 bits = bitmatch bits with
  42   | { net_device_name : 128 : offset(0), string;
  43     net_device_dev_addr : 256 : offset(4416), string } -> { net_device_name = net_device_name;
  44     net_device_dev_addr = net_device_dev_addr }
  45   | { _ } -> raise (ParseError ("net_device", "parser_8", "failed to match kernel structure"));;
  46 let parser_9 bits = bitmatch bits with
  47   | { net_device_name : 128 : offset(0), string;
  48     net_device_dev_addr : 256 : offset(2528), string } -> { net_device_name = net_device_name;
  49     net_device_dev_addr = net_device_dev_addr }
  50   | { _ } -> raise (ParseError ("net_device", "parser_9", "failed to match kernel structure"));;
  51 let parser_10 bits = bitmatch bits with
  52   | { net_device_name : 128 : offset(0), string;
  53     net_device_dev_addr : 256 : offset(2592), string } -> { net_device_name = net_device_name;
  54     net_device_dev_addr = net_device_dev_addr }
  55   | { _ } -> raise (ParseError ("net_device", "parser_10", "failed to match kernel structure"));;
  56 let parser_11 bits = bitmatch bits with
  57   | { net_device_name : 128 : offset(0), string;
  58     net_device_dev_addr : 256 : offset(3264), string } -> { net_device_name = net_device_name;
  59     net_device_dev_addr = net_device_dev_addr }
  60   | { _ } -> raise (ParseError ("net_device", "parser_11", "failed to match kernel structure"));;
  61 let parser_12 bits = bitmatch bits with
  62   | { net_device_name : 128 : offset(0), string;
  63     net_device_dev_addr : 256 : offset(1728), string } -> { net_device_name = net_device_name;
  64     net_device_dev_addr = net_device_dev_addr }
  65   | { _ } -> raise (ParseError ("net_device", "parser_12", "failed to match kernel structure"));;
  66 let parser_13 bits = bitmatch bits with
  67   | { net_device_name : 128 : offset(0), string;
  68     net_device_dev_addr : 256 : offset(4288), string } -> { net_device_name = net_device_name;
  69     net_device_dev_addr = net_device_dev_addr }
  70   | { _ } -> raise (ParseError ("net_device", "parser_13", "failed to match kernel structure"));;
  71 let parser_14 bits = bitmatch bits with
  72   | { net_device_name : 128 : offset(0), string;
  73     net_device_dev_addr : 256 : offset(1728), string } -> { net_device_name = net_device_name;
  74     net_device_dev_addr = net_device_dev_addr }
  75   | { _ } -> raise (ParseError ("net_device", "parser_14", "failed to match kernel structure"));;
  76 let parser_15 bits = bitmatch bits with
  77   | { net_device_name : 128 : offset(0), string;
  78     net_device_dev_addr : 256 : offset(3392), string } -> { net_device_name = net_device_name;
  79     net_device_dev_addr = net_device_dev_addr }
  80   | { _ } -> raise (ParseError ("net_device", "parser_15", "failed to match kernel structure"));;
  81 let parser_16 bits = bitmatch bits with
  82   | { net_device_name : 128 : offset(0), string;
  83     net_device_dev_addr : 256 : offset(1696), string } -> { net_device_name = net_device_name;
  84     net_device_dev_addr = net_device_dev_addr }
  85   | { _ } -> raise (ParseError ("net_device", "parser_16", "failed to match kernel structure"));;
  86 let parser_17 bits = bitmatch bits with
  87   | { net_device_name : 128 : offset(0), string;
  88     net_device_dev_addr : 256 : offset(2752), string } -> { net_device_name = net_device_name;
  89     net_device_dev_addr = net_device_dev_addr }
  90   | { _ } -> raise (ParseError ("net_device", "parser_17", "failed to match kernel structure"));;
  91 let parser_18 bits = bitmatch bits with
  92   | { net_device_name : 128 : offset(0), string;
  93     net_device_dev_addr : 256 : offset(2624), string } -> { net_device_name = net_device_name;
  94     net_device_dev_addr = net_device_dev_addr }
  95   | { _ } -> raise (ParseError ("net_device", "parser_18", "failed to match kernel structure"));;
  96 let parser_19 bits = bitmatch bits with
  97   | { net_device_name : 128 : offset(0), string;
  98     net_device_dev_addr : 256 : offset(1696), string } -> { net_device_name = net_device_name;
  99     net_device_dev_addr = net_device_dev_addr }
 100   | { _ } -> raise (ParseError ("net_device", "parser_19", "failed to match kernel structure"));;
 101 module StringMap = Map.Make(String);;
 102 let map = StringMap.empty;;
 103 let v = (parser_1, 1284);;
 104 let map = StringMap.add "2.6.21-1.3128.fc7.i586" v map;;
 105 let v = (parser_2, 1984);;
 106 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;;
 107 let v = (parser_3, 1092);;
 108 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;;
 109 let v = (parser_1, 1284);;
 110 let map = StringMap.add "2.6.21-1.3128.fc7.i686" v map;;
 111 let v = (parser_4, 2124);;
 112 let map = StringMap.add "2.6.21-1.3141.fc7.x86_64" v map;;
 113 let v = (parser_5, 1924);;
 114 let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;;
 115 let v = (parser_1, 1284);;
 116 let map = StringMap.add "2.6.21-1.3132.fc7.i686" v map;;
 117 let v = (parser_3, 1092);;
 118 let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;;
 119 let v = (parser_1, 1116);;
 120 let map = StringMap.add "2.6.21-1.3228.fc7.i586" v map;;
 121 let v = (parser_6, 1244);;
 122 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i586" v map;;
 123 let v = (parser_4, 1108);;
 124 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
 125 let v = (parser_7, 2316);;
 126 let map = StringMap.add "2.6.21-1.3236.fc8.x86_64" v map;;
 127 let v = (parser_1, 1284);;
 128 let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
 129 let v = (parser_8, 2044);;
 130 let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;;
 131 let v = (parser_9, 1072);;
 132 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;;
 133 let v = (parser_5, 1684);;
 134 let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;;
 135 let v = (parser_10, 952);;
 136 let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;;
 137 let v = (parser_1, 1284);;
 138 let map = StringMap.add "2.6.21-1.3141.fc7.i686" v map;;
 139 let v = (parser_4, 1404);;
 140 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
 141 let v = (parser_5, 1924);;
 142 let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;;
 143 let v = (parser_11, 1408);;
 144 let map = StringMap.add "2.6.21-1.3218.fc8.i586" v map;;
 145 let v = (parser_7, 2316);;
 146 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.x86_64" v map;;
 147 let v = (parser_8, 2044);;
 148 let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;;
 149 let v = (parser_8, 1824);;
 150 let map = StringMap.add "2.6.23.14-78.fc7.ppc64" v map;;
 151 let v = (parser_5, 1924);;
 152 let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;;
 153 let v = (parser_3, 1092);;
 154 let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;;
 155 let v = (parser_8, 2044);;
 156 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;;
 157 let v = (parser_11, 1408);;
 158 let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;;
 159 let v = (parser_8, 1824);;
 160 let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;;
 161 let v = (parser_12, 996);;
 162 let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;;
 163 let v = (parser_5, 1924);;
 164 let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;;
 165 let v = (parser_1, 1200);;
 166 let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
 167 let v = (parser_1, 1116);;
 168 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
 169 let v = (parser_13, 2288);;
 170 let map = StringMap.add "2.6.24-9.fc9.x86_64" v map;;
 171 let v = (parser_7, 2316);;
 172 let map = StringMap.add "2.6.21-1.3221.fc8.x86_64" v map;;
 173 let v = (parser_8, 2044);;
 174 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;;
 175 let v = (parser_5, 1924);;
 176 let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;;
 177 let v = (parser_13, 2288);;
 178 let map = StringMap.add "2.6.24-7.fc9.x86_64" v map;;
 179 let v = (parser_8, 2044);;
 180 let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;;
 181 let v = (parser_1, 912);;
 182 let map = StringMap.add "2.6.18-1.2798.fc6.i586" v map;;
 183 let v = (parser_8, 2044);;
 184 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;;
 185 let v = (parser_12, 1020);;
 186 let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;;
 187 let v = (parser_7, 1800);;
 188 let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;;
 189 let v = (parser_8, 2044);;
 190 let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;;
 191 let v = (parser_13, 2288);;
 192 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.x86_64" v map;;
 193 let v = (parser_1, 912);;
 194 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
 195 let v = (parser_13, 1752);;
 196 let map = StringMap.add "2.6.25.11-97.fc9.x86_64" v map;;
 197 let v = (parser_14, 672);;
 198 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
 199 let v = (parser_3, 1116);;
 200 let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;;
 201 let v = (parser_6, 1244);;
 202 let map = StringMap.add "2.6.24-9.fc9.i686" v map;;
 203 let v = (parser_1, 1284);;
 204 let map = StringMap.add "2.6.21-1.3141.fc7.i586" v map;;
 205 let v = (parser_1, 1284);;
 206 let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
 207 let v = (parser_12, 996);;
 208 let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;;
 209 let v = (parser_2, 1984);;
 210 let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;;
 211 let v = (parser_11, 1408);;
 212 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;;
 213 let v = (parser_8, 2044);;
 214 let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;;
 215 let v = (parser_3, 1116);;
 216 let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;;
 217 let v = (parser_8, 2044);;
 218 let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;;
 219 let v = (parser_5, 1684);;
 220 let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;;
 221 let v = (parser_5, 1924);;
 222 let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;;
 223 let v = (parser_11, 1444);;
 224 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
 225 let v = (parser_8, 2044);;
 226 let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;;
 227 let v = (parser_1, 1200);;
 228 let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
 229 let v = (parser_11, 1408);;
 230 let map = StringMap.add "2.6.21-1.3209.fc8.i686" v map;;
 231 let v = (parser_15, 2196);;
 232 let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;;
 233 let v = (parser_2, 1984);;
 234 let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;;
 235 let v = (parser_15, 1900);;
 236 let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
 237 let v = (parser_15, 2196);;
 238 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
 239 let v = (parser_9, 1072);;
 240 let map = StringMap.add "2.6.24-9.fc9.ppc" v map;;
 241 let v = (parser_12, 672);;
 242 let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;;
 243 let v = (parser_7, 2316);;
 244 let map = StringMap.add "2.6.22-0.rc7.2.fc8.x86_64" v map;;
 245 let v = (parser_11, 1248);;
 246 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
 247 let v = (parser_12, 1020);;
 248 let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;;
 249 let v = (parser_11, 1408);;
 250 let map = StringMap.add "2.6.21-1.3209.fc8.i686" v map;;
 251 let v = (parser_8, 2044);;
 252 let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;;
 253 let v = (parser_3, 1092);;
 254 let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;;
 255 let v = (parser_8, 2044);;
 256 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;;
 257 let v = (parser_3, 1116);;
 258 let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;;
 259 let v = (parser_15, 1540);;
 260 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
 261 let v = (parser_2, 1984);;
 262 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;;
 263 let v = (parser_11, 1408);;
 264 let map = StringMap.add "2.6.21-1.3234.fc8.i686" v map;;
 265 let v = (parser_12, 1020);;
 266 let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;;
 267 let v = (parser_5, 1924);;
 268 let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;;
 269 let v = (parser_2, 1984);;
 270 let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;;
 271 let v = (parser_3, 1116);;
 272 let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;;
 273 let v = (parser_6, 1244);;
 274 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;;
 275 let v = (parser_15, 2196);;
 276 let map = StringMap.add "2.6.21-1.3141.fc7.x86_64" v map;;
 277 let v = (parser_12, 996);;
 278 let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;;
 279 let v = (parser_15, 1260);;
 280 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
 281 let v = (parser_12, 996);;
 282 let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;;
 283 let v = (parser_12, 936);;
 284 let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;;
 285 let v = (parser_11, 1444);;
 286 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
 287 let v = (parser_7, 2316);;
 288 let map = StringMap.add "2.6.21-1.3242.fc8.x86_64" v map;;
 289 let v = (parser_2, 1984);;
 290 let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;;
 291 let v = (parser_8, 2044);;
 292 let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;;
 293 let v = (parser_8, 2044);;
 294 let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;;
 295 let v = (parser_5, 1260);;
 296 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;;
 297 let v = (parser_4, 2124);;
 298 let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;;
 299 let v = (parser_1, 912);;
 300 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 301 let v = (parser_15, 2196);;
 302 let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;;
 303 let v = (parser_5, 1260);;
 304 let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;;
 305 let v = (parser_3, 1116);;
 306 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;;
 307 let v = (parser_9, 1048);;
 308 let map = StringMap.add "2.6.24-7.fc9.ppc" v map;;
 309 let v = (parser_3, 1092);;
 310 let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;;
 311 let v = (parser_15, 1260);;
 312 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
 313 let v = (parser_11, 1248);;
 314 let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
 315 let v = (parser_3, 1092);;
 316 let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;;
 317 let v = (parser_11, 1408);;
 318 let map = StringMap.add "2.6.21-1.3242.fc8.i686" v map;;
 319 let v = (parser_1, 1284);;
 320 let map = StringMap.add "2.6.21-1.3132.fc7.i586" v map;;
 321 let v = (parser_1, 1284);;
 322 let map = StringMap.add "2.6.21-1.3144.fc7.i586" v map;;
 323 let v = (parser_15, 1660);;
 324 let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
 325 let v = (parser_5, 1260);;
 326 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;;
 327 let v = (parser_11, 1408);;
 328 let map = StringMap.add "2.6.21-1.3238.fc8.i686" v map;;
 329 let v = (parser_10, 952);;
 330 let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;;
 331 let v = (parser_6, 1244);;
 332 let map = StringMap.add "2.6.24-7.fc9.i586" v map;;
 333 let v = (parser_4, 1644);;
 334 let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
 335 let v = (parser_11, 1408);;
 336 let map = StringMap.add "2.6.21-1.3221.fc8.i686" v map;;
 337 let v = (parser_16, 668);;
 338 let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;;
 339 let v = (parser_5, 1924);;
 340 let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;;
 341 let v = (parser_8, 2044);;
 342 let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;;
 343 let v = (parser_1, 1284);;
 344 let map = StringMap.add "2.6.21-1.3141.fc7.i686" v map;;
 345 let v = (parser_11, 1408);;
 346 let map = StringMap.add "2.6.21-1.3218.fc8.i686" v map;;
 347 let v = (parser_1, 1284);;
 348 let map = StringMap.add "2.6.21-1.3144.fc7.i686" v map;;
 349 let v = (parser_1, 1200);;
 350 let map = StringMap.add "2.6.21-1.3145.fc7.i586" v map;;
 351 let v = (parser_1, 1116);;
 352 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
 353 let v = (parser_11, 1408);;
 354 let map = StringMap.add "2.6.21-1.3209.fc8.i586" v map;;
 355 let v = (parser_7, 2316);;
 356 let map = StringMap.add "2.6.21-1.3218.fc8.x86_64" v map;;
 357 let v = (parser_5, 1260);;
 358 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;;
 359 let v = (parser_1, 1284);;
 360 let map = StringMap.add "2.6.21-1.3144.fc7.i686" v map;;
 361 let v = (parser_15, 2196);;
 362 let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
 363 let v = (parser_17, 1064);;
 364 let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;;
 365 let v = (parser_18, 1100);;
 366 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
 367 let v = (parser_3, 1116);;
 368 let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;;
 369 let v = (parser_7, 2316);;
 370 let map = StringMap.add "2.6.21-1.3238.fc8.x86_64" v map;;
 371 let v = (parser_6, 1244);;
 372 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;;
 373 let v = (parser_15, 1260);;
 374 let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
 375 let v = (parser_11, 1408);;
 376 let map = StringMap.add "2.6.22-0.rc7.2.fc8.i686" v map;;
 377 let v = (parser_15, 1260);;
 378 let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
 379 let v = (parser_6, 1244);;
 380 let map = StringMap.add "2.6.24-7.fc9.i686" v map;;
 381 let v = (parser_11, 1408);;
 382 let map = StringMap.add "2.6.21-1.3221.fc8.i686" v map;;
 383 let v = (parser_7, 2392);;
 384 let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;;
 385 let v = (parser_3, 1116);;
 386 let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;;
 387 let v = (parser_4, 2124);;
 388 let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;;
 389 let v = (parser_12, 688);;
 390 let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;;
 391 let v = (parser_11, 1408);;
 392 let map = StringMap.add "2.6.22-0.rc7.2.fc8.i686" v map;;
 393 let v = (parser_6, 1244);;
 394 let map = StringMap.add "2.6.24-7.fc9.i686" v map;;
 395 let v = (parser_7, 1800);;
 396 let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;;
 397 let v = (parser_6, 1244);;
 398 let map = StringMap.add "2.6.24-9.fc9.i686" v map;;
 399 let v = (parser_1, 924);;
 400 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 401 let v = (parser_6, 1212);;
 402 let map = StringMap.add "2.6.25.11-97.fc9.i686" v map;;
 403 let v = (parser_1, 1284);;
 404 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
 405 let v = (parser_1, 1284);;
 406 let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
 407 let v = (parser_5, 1924);;
 408 let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;;
 409 let v = (parser_7, 2392);;
 410 let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;;
 411 let v = (parser_1, 1284);;
 412 let map = StringMap.add "2.6.21-1.3128.fc7.i686" v map;;
 413 let v = (parser_9, 1048);;
 414 let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;;
 415 let v = (parser_12, 996);;
 416 let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;;
 417 let v = (parser_1, 912);;
 418 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 419 let v = (parser_7, 2316);;
 420 let map = StringMap.add "2.6.21-1.3209.fc8.x86_64" v map;;
 421 let v = (parser_3, 1092);;
 422 let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;;
 423 let v = (parser_7, 2316);;
 424 let map = StringMap.add "2.6.21-1.3234.fc8.x86_64" v map;;
 425 let v = (parser_3, 1092);;
 426 let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;;
 427 let v = (parser_17, 1064);;
 428 let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;;
 429 let v = (parser_8, 2044);;
 430 let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;;
 431 let v = (parser_3, 1092);;
 432 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;;
 433 let v = (parser_1, 912);;
 434 let map = StringMap.add "2.6.20-1.2933.fc6.i586" v map;;
 435 let v = (parser_4, 2124);;
 436 let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;;
 437 let v = (parser_1, 912);;
 438 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 439 let v = (parser_5, 1260);;
 440 let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;;
 441 let v = (parser_1, 912);;
 442 let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
 443 let v = (parser_11, 1408);;
 444 let map = StringMap.add "2.6.21-1.3238.fc8.i686" v map;;
 445 let v = (parser_12, 1020);;
 446 let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;;
 447 let v = (parser_12, 836);;
 448 let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;;
 449 let v = (parser_11, 1408);;
 450 let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;;
 451 let v = (parser_3, 1116);;
 452 let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;;
 453 let v = (parser_19, 668);;
 454 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 455 let v = (parser_11, 1408);;
 456 let map = StringMap.add "2.6.21-1.3218.fc8.i686" v map;;
 457 let v = (parser_6, 1244);;
 458 let map = StringMap.add "2.6.24-9.fc9.i586" v map;;
 459 let v = (parser_15, 2196);;
 460 let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;;
 461 let v = (parser_11, 1408);;
 462 let map = StringMap.add "2.6.21-1.3234.fc8.i686" v map;;
 463 let v = (parser_8, 1824);;
 464 let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;;
 465 let v = (parser_5, 1260);;
 466 let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;;
 467 let v = (parser_9, 1048);;
 468 let map = StringMap.add "2.6.24-9.fc9.ppc" v map;;
 469 let v = (parser_11, 1248);;
 470 let map = StringMap.add "2.6.23.14-78.fc7.i586" v map;;
 471 let v = (parser_3, 1116);;
 472 let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;;
 473 let v = (parser_11, 1408);;
 474 let map = StringMap.add "2.6.21-1.3242.fc8.i686" v map;;
 475 let v = (parser_5, 1924);;
 476 let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;;
 477 let v = (parser_9, 1072);;
 478 let map = StringMap.add "2.6.24-7.fc9.ppc" v map;;
 479 let v = (parser_8, 2044);;
 480 let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;;
 481 let v = (parser_12, 688);;
 482 let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;;
 483 let v = (parser_11, 1408);;
 484 let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;;
 485 let v = (parser_11, 1248);;
 486 let map = StringMap.add "2.6.23.14-135.fc8.i586" v map;;
 487 let v = (parser_1, 924);;
 488 let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
 489 let v = (parser_8, 2044);;
 490 let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;;
 491 let v = (parser_1, 1284);;
 492 let map = StringMap.add "2.6.21-1.3132.fc7.i686" v map;;
 493 let v = (parser_12, 1020);;
 494 let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;;
 495 let v = (parser_11, 1408);;
 496 let map = StringMap.add "2.6.21-1.3221.fc8.i586" v map;;
 497 type kernel_version = string;;
 498 let net_device_known version = StringMap.mem version map;;
 499 let net_device_size version =
 500   let (_, size) = StringMap.find version map in size;;
 501 let net_device_of_bits version bits =
 502   let (parsefn, _) = StringMap.find version map in parsefn bits;;
 503 let get_net_device version mem addr =
 504   let (parsefn, size) = StringMap.find version map in
 505   let bytes = Virt_mem_mmap.get_bytes mem addr size in
 506   let bits = Bitstring.bitstring_of_string bytes in parsefn bits;;