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