git.annexia.org / virt-mem.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
Further code generation ** NOT WORKING **
[virt-mem.git] / lib / kernel_in_device.ml
diff --git a/lib/kernel_in_device.ml b/lib/kernel_in_device.ml
deleted file mode 100644 (file)
index 62373eb..0000000
--- a/lib/kernel_in_device.ml
+++ /dev/null
@@ -1,671 +0,0 @@
-(* WARNING: This file and the corresponding mli (interface) are
- * automatically generated by the extract/codegen/kerneldb_to_parser.ml
- * program.
- *
- * Any edits you make to this file will be lost.
- *
- * To update this file from the latest kernel database, it is recommended
- * that you do 'make update-kernel-structs'.
- *)
-
-let zero = 0;;
-let struct_name = "in_device";;
-let match_err = "failed to match kernel structure";;
-type t = { in_device_ifa_list : Virt_mem_mmap.addr };;
-type fs_t = { __fs_in_device_ifa_list : Virt_mem_types.fieldsig };;
-let fieldsig_1 =
-  {
-    __fs_in_device_ifa_list =
-      { Virt_mem_types.field_available = true; field_offset = 12; };
-  };;
-let fieldsig_2 =
-  {
-    __fs_in_device_ifa_list =
-      { Virt_mem_types.field_available = true; field_offset = 16; };
-  };;
-let fieldsig_3 =
-  {
-    __fs_in_device_ifa_list =
-      { Virt_mem_types.field_available = true; field_offset = 12; };
-  };;
-let fieldsig_4 =
-  {
-    __fs_in_device_ifa_list =
-      { Virt_mem_types.field_available = true; field_offset = 16; };
-  };;
-let parser_1 bits = 
-  bitmatch bits with
-  | { in_device_ifa_list : zero+32 : offset(96), littleendian } ->
-      { in_device_ifa_list = in_device_ifa_list }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError (struct_name, "parser_1", match_err));;
-let parser_2 bits = 
-  bitmatch bits with
-  | { in_device_ifa_list : zero+64 : offset(128), littleendian } ->
-      { in_device_ifa_list = in_device_ifa_list }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError (struct_name, "parser_2", match_err));;
-let parser_3 bits = 
-  bitmatch bits with
-  | { in_device_ifa_list : zero+32 : offset(96), bigendian } ->
-      { in_device_ifa_list = in_device_ifa_list }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError (struct_name, "parser_3", match_err));;
-let parser_4 bits = 
-  bitmatch bits with
-  | { in_device_ifa_list : zero+64 : offset(128), bigendian } ->
-      { in_device_ifa_list = in_device_ifa_list }
-  | { _ } ->
-      raise (Virt_mem_types.ParseError (struct_name, "parser_4", match_err));;
-module StringMap = Map.Make(String);;
-let map = StringMap.empty;;
-let v = (parser_1, 240, fieldsig_1);;
-let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
-let v = (parser_1, 288, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
-let v = (parser_1, 288, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;
-let v = (parser_1, 288, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.25.14-69.fc8.i686" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
-let v = (parser_1, 216, fieldsig_1);;
-let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
-let v = (parser_1, 288, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3128.fc7.i686" v map;;
-let v = (parser_1, 288, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3132.fc7.i686" v map;;
-let v = (parser_1, 288, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3141.fc7.i686" v map;;
-let v = (parser_1, 288, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3144.fc7.i686" v map;;
-let v = (parser_1, 264, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
-let v = (parser_1, 264, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;
-let v = (parser_1, 288, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3209.fc8.i686" v map;;
-let v = (parser_1, 292, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3218.fc8.i686" v map;;
-let v = (parser_1, 292, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3221.fc8.i686" v map;;
-let v = (parser_1, 240, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
-let v = (parser_1, 292, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3234.fc8.i686" v map;;
-let v = (parser_1, 292, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;;
-let v = (parser_1, 292, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3238.fc8.i686" v map;;
-let v = (parser_1, 292, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3242.fc8.i686" v map;;
-let v = (parser_1, 292, fieldsig_1);;
-let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;;
-let v = (parser_1, 292, fieldsig_1);;
-let map = StringMap.add "2.6.22-0.rc7.2.fc8.i686" v map;;
-let v = (parser_1, 244, fieldsig_1);;
-let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
-let v = (parser_1, 244, fieldsig_1);;
-let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.24-7.fc9.i686" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.24-9.fc9.i686" v map;;
-let v = (parser_1, 244, fieldsig_1);;
-let map = StringMap.add "2.6.25.14-69.fc8.i686" v map;;
-let v = (parser_1, 244, fieldsig_1);;
-let map = StringMap.add "2.6.26.1-9.fc9.i686" v map;;
-let v = (parser_1, 244, fieldsig_1);;
-let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.27-0.225.rc1.git5.fc10.i686" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.27-0.226.rc1.git5.fc10.i686" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.i686" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.27-0.237.rc2.fc10.i686" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.27-0.238.rc2.fc10.i686" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.i686" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.i686" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.26.1-9.fc9.i686" v map;;
-let v = (parser_1, 240, fieldsig_1);;
-let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
-let v = (parser_2, 376, fieldsig_2);;
-let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
-let v = (parser_1, 288, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
-let v = (parser_2, 440, fieldsig_2);;
-let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
-let v = (parser_1, 288, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;
-let v = (parser_2, 440, fieldsig_2);;
-let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;;
-let v = (parser_1, 288, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
-let v = (parser_2, 440, fieldsig_2);;
-let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
-let v = (parser_2, 464, fieldsig_2);;
-let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;;
-let v = (parser_2, 464, fieldsig_2);;
-let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.25.14-69.fc8.i686" v map;;
-let v = (parser_2, 464, fieldsig_2);;
-let map = StringMap.add "2.6.25.14-69.fc8.x86_64" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.26.1-9.fc9.i686" v map;;
-let v = (parser_2, 464, fieldsig_2);;
-let map = StringMap.add "2.6.26.1-9.fc9.x86_64" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
-let v = (parser_2, 464, fieldsig_2);;
-let map = StringMap.add "2.6.26.2-2.fc8.x86_64" v map;;
-let v = (parser_1, 216, fieldsig_1);;
-let map = StringMap.add "2.6.18-1.2798.fc6.i586" v map;;
-let v = (parser_1, 216, fieldsig_1);;
-let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
-let v = (parser_3, 212, fieldsig_3);;
-let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;;
-let v = (parser_4, 328, fieldsig_4);;
-let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;;
-let v = (parser_4, 328, fieldsig_4);;
-let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;;
-let v = (parser_2, 328, fieldsig_2);;
-let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
-let v = (parser_1, 216, fieldsig_1);;
-let map = StringMap.add "2.6.20-1.2933.fc6.i586" v map;;
-let v = (parser_1, 216, fieldsig_1);;
-let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
-let v = (parser_3, 212, fieldsig_3);;
-let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;;
-let v = (parser_4, 328, fieldsig_4);;
-let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;;
-let v = (parser_2, 328, fieldsig_2);;
-let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
-let v = (parser_1, 288, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3128.fc7.i586" v map;;
-let v = (parser_1, 288, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3128.fc7.i686" v map;;
-let v = (parser_3, 260, fieldsig_3);;
-let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;;
-let v = (parser_4, 392, fieldsig_4);;
-let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;;
-let v = (parser_2, 440, fieldsig_2);;
-let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;;
-let v = (parser_1, 288, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3132.fc7.i586" v map;;
-let v = (parser_1, 288, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3132.fc7.i686" v map;;
-let v = (parser_3, 260, fieldsig_3);;
-let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;;
-let v = (parser_4, 392, fieldsig_4);;
-let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;;
-let v = (parser_2, 440, fieldsig_2);;
-let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;;
-let v = (parser_1, 288, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3141.fc7.i586" v map;;
-let v = (parser_1, 288, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3141.fc7.i686" v map;;
-let v = (parser_3, 260, fieldsig_3);;
-let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;;
-let v = (parser_4, 392, fieldsig_4);;
-let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;;
-let v = (parser_2, 440, fieldsig_2);;
-let map = StringMap.add "2.6.21-1.3141.fc7.x86_64" v map;;
-let v = (parser_1, 288, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3144.fc7.i586" v map;;
-let v = (parser_1, 288, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3144.fc7.i686" v map;;
-let v = (parser_3, 260, fieldsig_3);;
-let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;;
-let v = (parser_4, 392, fieldsig_4);;
-let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;;
-let v = (parser_2, 440, fieldsig_2);;
-let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;;
-let v = (parser_1, 264, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3145.fc7.i586" v map;;
-let v = (parser_1, 264, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;;
-let v = (parser_3, 260, fieldsig_3);;
-let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;;
-let v = (parser_4, 392, fieldsig_4);;
-let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;;
-let v = (parser_2, 392, fieldsig_2);;
-let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
-let v = (parser_1, 264, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3190.fc7.i586" v map;;
-let v = (parser_1, 264, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;;
-let v = (parser_3, 260, fieldsig_3);;
-let map = StringMap.add "2.6.21-1.3190.fc7.ppc" v map;;
-let v = (parser_4, 392, fieldsig_4);;
-let map = StringMap.add "2.6.21-1.3190.fc7.ppc64" v map;;
-let v = (parser_2, 392, fieldsig_2);;
-let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;;
-let v = (parser_1, 288, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3209.fc8.i586" v map;;
-let v = (parser_1, 288, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3209.fc8.i686" v map;;
-let v = (parser_3, 260, fieldsig_3);;
-let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;;
-let v = (parser_4, 392, fieldsig_4);;
-let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;;
-let v = (parser_2, 440, fieldsig_2);;
-let map = StringMap.add "2.6.21-1.3209.fc8.x86_64" v map;;
-let v = (parser_1, 292, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3218.fc8.i586" v map;;
-let v = (parser_1, 292, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3218.fc8.i686" v map;;
-let v = (parser_3, 264, fieldsig_3);;
-let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;;
-let v = (parser_4, 400, fieldsig_4);;
-let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;;
-let v = (parser_2, 448, fieldsig_2);;
-let map = StringMap.add "2.6.21-1.3218.fc8.x86_64" v map;;
-let v = (parser_1, 292, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3221.fc8.i586" v map;;
-let v = (parser_1, 292, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3221.fc8.i686" v map;;
-let v = (parser_3, 264, fieldsig_3);;
-let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;;
-let v = (parser_4, 400, fieldsig_4);;
-let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;;
-let v = (parser_2, 448, fieldsig_2);;
-let map = StringMap.add "2.6.21-1.3221.fc8.x86_64" v map;;
-let v = (parser_1, 240, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3228.fc7.i586" v map;;
-let v = (parser_1, 240, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;;
-let v = (parser_3, 232, fieldsig_3);;
-let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;;
-let v = (parser_4, 360, fieldsig_4);;
-let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;;
-let v = (parser_2, 360, fieldsig_2);;
-let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
-let v = (parser_1, 292, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3234.fc8.i686" v map;;
-let v = (parser_3, 264, fieldsig_3);;
-let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;;
-let v = (parser_4, 400, fieldsig_4);;
-let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;;
-let v = (parser_2, 448, fieldsig_2);;
-let map = StringMap.add "2.6.21-1.3234.fc8.x86_64" v map;;
-let v = (parser_1, 292, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;;
-let v = (parser_3, 264, fieldsig_3);;
-let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;;
-let v = (parser_4, 400, fieldsig_4);;
-let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;;
-let v = (parser_2, 448, fieldsig_2);;
-let map = StringMap.add "2.6.21-1.3236.fc8.x86_64" v map;;
-let v = (parser_1, 292, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3238.fc8.i686" v map;;
-let v = (parser_3, 264, fieldsig_3);;
-let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;;
-let v = (parser_4, 400, fieldsig_4);;
-let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;;
-let v = (parser_2, 448, fieldsig_2);;
-let map = StringMap.add "2.6.21-1.3238.fc8.x86_64" v map;;
-let v = (parser_1, 292, fieldsig_1);;
-let map = StringMap.add "2.6.21-1.3242.fc8.i686" v map;;
-let v = (parser_3, 264, fieldsig_3);;
-let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;;
-let v = (parser_4, 400, fieldsig_4);;
-let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;;
-let v = (parser_2, 448, fieldsig_2);;
-let map = StringMap.add "2.6.21-1.3242.fc8.x86_64" v map;;
-let v = (parser_1, 292, fieldsig_1);;
-let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;;
-let v = (parser_3, 264, fieldsig_3);;
-let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;;
-let v = (parser_4, 400, fieldsig_4);;
-let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;;
-let v = (parser_2, 448, fieldsig_2);;
-let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.x86_64" v map;;
-let v = (parser_1, 292, fieldsig_1);;
-let map = StringMap.add "2.6.22-0.rc7.2.fc8.i686" v map;;
-let v = (parser_3, 264, fieldsig_3);;
-let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;;
-let v = (parser_4, 400, fieldsig_4);;
-let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;;
-let v = (parser_2, 448, fieldsig_2);;
-let map = StringMap.add "2.6.22-0.rc7.2.fc8.x86_64" v map;;
-let v = (parser_1, 244, fieldsig_1);;
-let map = StringMap.add "2.6.23.14-135.fc8.i586" v map;;
-let v = (parser_1, 244, fieldsig_1);;
-let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;;
-let v = (parser_3, 236, fieldsig_3);;
-let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;;
-let v = (parser_4, 368, fieldsig_4);;
-let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;;
-let v = (parser_2, 368, fieldsig_2);;
-let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;;
-let v = (parser_1, 244, fieldsig_1);;
-let map = StringMap.add "2.6.23.14-78.fc7.i586" v map;;
-let v = (parser_1, 244, fieldsig_1);;
-let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;;
-let v = (parser_3, 236, fieldsig_3);;
-let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;;
-let v = (parser_4, 368, fieldsig_4);;
-let map = StringMap.add "2.6.23.14-78.fc7.ppc64" v map;;
-let v = (parser_2, 368, fieldsig_2);;
-let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i586" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;;
-let v = (parser_3, 264, fieldsig_3);;
-let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;;
-let v = (parser_4, 400, fieldsig_4);;
-let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;;
-let v = (parser_2, 464, fieldsig_2);;
-let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.x86_64" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.24-7.fc9.i586" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.24-7.fc9.i686" v map;;
-let v = (parser_3, 264, fieldsig_3);;
-let map = StringMap.add "2.6.24-7.fc9.ppc" v map;;
-let v = (parser_4, 400, fieldsig_4);;
-let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;;
-let v = (parser_2, 464, fieldsig_2);;
-let map = StringMap.add "2.6.24-7.fc9.x86_64" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.24-9.fc9.i586" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.24-9.fc9.i686" v map;;
-let v = (parser_3, 264, fieldsig_3);;
-let map = StringMap.add "2.6.24-9.fc9.ppc" v map;;
-let v = (parser_4, 400, fieldsig_4);;
-let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;;
-let v = (parser_2, 464, fieldsig_2);;
-let map = StringMap.add "2.6.24-9.fc9.x86_64" v map;;
-let v = (parser_1, 244, fieldsig_1);;
-let map = StringMap.add "2.6.25.11-97.fc9.i686" v map;;
-let v = (parser_2, 368, fieldsig_2);;
-let map = StringMap.add "2.6.25.11-97.fc9.x86_64" v map;;
-let v = (parser_1, 244, fieldsig_1);;
-let map = StringMap.add "2.6.25.14-69.fc8.i586" v map;;
-let v = (parser_1, 244, fieldsig_1);;
-let map = StringMap.add "2.6.25.14-69.fc8.i686" v map;;
-let v = (parser_4, 368, fieldsig_4);;
-let map = StringMap.add "2.6.25.14-69.fc8.ppc64" v map;;
-let v = (parser_1, 244, fieldsig_1);;
-let map = StringMap.add "2.6.26.1-9.fc9.i586" v map;;
-let v = (parser_1, 244, fieldsig_1);;
-let map = StringMap.add "2.6.26.1-9.fc9.i686" v map;;
-let v = (parser_3, 236, fieldsig_3);;
-let map = StringMap.add "2.6.26.1-9.fc9.ppc" v map;;
-let v = (parser_4, 368, fieldsig_4);;
-let map = StringMap.add "2.6.26.1-9.fc9.ppc64" v map;;
-let v = (parser_2, 368, fieldsig_2);;
-let map = StringMap.add "2.6.26.1-9.fc9.x86_64" v map;;
-let v = (parser_1, 244, fieldsig_1);;
-let map = StringMap.add "2.6.26.2-2.fc8.i586" v map;;
-let v = (parser_1, 244, fieldsig_1);;
-let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;;
-let v = (parser_3, 236, fieldsig_3);;
-let map = StringMap.add "2.6.26.2-2.fc8.ppc" v map;;
-let v = (parser_4, 368, fieldsig_4);;
-let map = StringMap.add "2.6.26.2-2.fc8.ppc64" v map;;
-let v = (parser_2, 368, fieldsig_2);;
-let map = StringMap.add "2.6.26.2-2.fc8.x86_64" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.27-0.225.rc1.git5.fc10.i586" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.27-0.225.rc1.git5.fc10.i686" v map;;
-let v = (parser_3, 264, fieldsig_3);;
-let map = StringMap.add "2.6.27-0.225.rc1.git5.fc10.ppc" v map;;
-let v = (parser_4, 464, fieldsig_4);;
-let map = StringMap.add "2.6.27-0.225.rc1.git5.fc10.ppc64" v map;;
-let v = (parser_2, 464, fieldsig_2);;
-let map = StringMap.add "2.6.27-0.225.rc1.git5.fc10.x86_64" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.27-0.226.rc1.git5.fc10.i586" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.27-0.226.rc1.git5.fc10.i686" v map;;
-let v = (parser_3, 264, fieldsig_3);;
-let map = StringMap.add "2.6.27-0.226.rc1.git5.fc10.ppc" v map;;
-let v = (parser_4, 464, fieldsig_4);;
-let map = StringMap.add "2.6.27-0.226.rc1.git5.fc10.ppc64" v map;;
-let v = (parser_2, 464, fieldsig_2);;
-let map = StringMap.add "2.6.27-0.226.rc1.git5.fc10.x86_64" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.i586" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.i686" v map;;
-let v = (parser_3, 264, fieldsig_3);;
-let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.ppc" v map;;
-let v = (parser_4, 464, fieldsig_4);;
-let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.ppc64" v map;;
-let v = (parser_2, 464, fieldsig_2);;
-let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.x86_64" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.27-0.237.rc2.fc10.i586" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.27-0.237.rc2.fc10.i686" v map;;
-let v = (parser_3, 264, fieldsig_3);;
-let map = StringMap.add "2.6.27-0.237.rc2.fc10.ppc" v map;;
-let v = (parser_4, 464, fieldsig_4);;
-let map = StringMap.add "2.6.27-0.237.rc2.fc10.ppc64" v map;;
-let v = (parser_2, 464, fieldsig_2);;
-let map = StringMap.add "2.6.27-0.237.rc2.fc10.x86_64" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.27-0.238.rc2.fc10.i586" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.27-0.238.rc2.fc10.i686" v map;;
-let v = (parser_3, 264, fieldsig_3);;
-let map = StringMap.add "2.6.27-0.238.rc2.fc10.ppc" v map;;
-let v = (parser_4, 464, fieldsig_4);;
-let map = StringMap.add "2.6.27-0.238.rc2.fc10.ppc64" v map;;
-let v = (parser_2, 464, fieldsig_2);;
-let map = StringMap.add "2.6.27-0.238.rc2.fc10.x86_64" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.i586" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.i686" v map;;
-let v = (parser_3, 264, fieldsig_3);;
-let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.ppc" v map;;
-let v = (parser_4, 464, fieldsig_4);;
-let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.ppc64" v map;;
-let v = (parser_2, 464, fieldsig_2);;
-let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.x86_64" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.i586" v map;;
-let v = (parser_1, 300, fieldsig_1);;
-let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.i686" v map;;
-let v = (parser_3, 264, fieldsig_3);;
-let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc" v map;;
-let v = (parser_4, 464, fieldsig_4);;
-let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc64" v map;;
-let v = (parser_2, 464, fieldsig_2);;
-let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.x86_64" v map;;
-let v = (parser_1, 212, fieldsig_1);;
-let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
-let v = (parser_4, 328, fieldsig_4);;
-let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;;
-let v = (parser_4, 328, fieldsig_4);;
-let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;;
-let v = (parser_2, 320, fieldsig_2);;
-let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
-let v = (parser_1, 212, fieldsig_1);;
-let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
-let v = (parser_4, 328, fieldsig_4);;
-let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;;
-let v = (parser_2, 320, fieldsig_2);;
-let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
-let v = (parser_4, 392, fieldsig_4);;
-let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;;
-let v = (parser_2, 480, fieldsig_2);;
-let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;;
-let v = (parser_4, 392, fieldsig_4);;
-let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;;
-let v = (parser_2, 480, fieldsig_2);;
-let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;;
-let v = (parser_4, 392, fieldsig_4);;
-let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;;
-let v = (parser_2, 480, fieldsig_2);;
-let map = StringMap.add "2.6.21-1.3141.fc7.x86_64" v map;;
-let v = (parser_4, 392, fieldsig_4);;
-let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;;
-let v = (parser_2, 480, fieldsig_2);;
-let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;;
-let v = (parser_4, 392, fieldsig_4);;
-let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;;
-let v = (parser_2, 384, fieldsig_2);;
-let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;;
-let v = (parser_4, 392, fieldsig_4);;
-let map = StringMap.add "2.6.21-1.3190.fc7.ppc64" v map;;
-let v = (parser_2, 384, fieldsig_2);;
-let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;;
-let v = (parser_4, 392, fieldsig_4);;
-let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;;
-let v = (parser_4, 400, fieldsig_4);;
-let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;;
-let v = (parser_4, 400, fieldsig_4);;
-let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;;
-let v = (parser_4, 360, fieldsig_4);;
-let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;;
-let v = (parser_2, 344, fieldsig_2);;
-let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;;
-let v = (parser_4, 400, fieldsig_4);;
-let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;;
-let v = (parser_4, 400, fieldsig_4);;
-let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;;
-let v = (parser_4, 400, fieldsig_4);;
-let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;;
-let v = (parser_4, 400, fieldsig_4);;
-let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;;
-let v = (parser_4, 400, fieldsig_4);;
-let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;;
-let v = (parser_4, 400, fieldsig_4);;
-let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;;
-let v = (parser_4, 368, fieldsig_4);;
-let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;;
-let v = (parser_4, 368, fieldsig_4);;
-let map = StringMap.add "2.6.23.14-78.fc7.ppc64" v map;;
-let v = (parser_4, 400, fieldsig_4);;
-let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;;
-let v = (parser_4, 400, fieldsig_4);;
-let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;;
-let v = (parser_4, 400, fieldsig_4);;
-let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;;
-let v = (parser_4, 368, fieldsig_4);;
-let map = StringMap.add "2.6.25.14-69.fc8.ppc64" v map;;
-let v = (parser_4, 368, fieldsig_4);;
-let map = StringMap.add "2.6.26.1-9.fc9.ppc64" v map;;
-let v = (parser_4, 368, fieldsig_4);;
-let map = StringMap.add "2.6.26.2-2.fc8.ppc64" v map;;
-let v = (parser_4, 464, fieldsig_4);;
-let map = StringMap.add "2.6.27-0.225.rc1.git5.fc10.ppc64" v map;;
-let v = (parser_4, 464, fieldsig_4);;
-let map = StringMap.add "2.6.27-0.226.rc1.git5.fc10.ppc64" v map;;
-let v = (parser_4, 464, fieldsig_4);;
-let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.ppc64" v map;;
-let v = (parser_4, 464, fieldsig_4);;
-let map = StringMap.add "2.6.27-0.237.rc2.fc10.ppc64" v map;;
-let v = (parser_4, 464, fieldsig_4);;
-let map = StringMap.add "2.6.27-0.238.rc2.fc10.ppc64" v map;;
-let v = (parser_4, 464, fieldsig_4);;
-let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.ppc64" v map;;
-let v = (parser_4, 464, fieldsig_4);;
-let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc64" v map;;
-let v = (parser_3, 216, fieldsig_3);;
-let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;;
-let v = (parser_3, 216, fieldsig_3);;
-let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;;
-let v = (parser_3, 264, fieldsig_3);;
-let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;;
-let v = (parser_3, 264, fieldsig_3);;
-let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;;
-let v = (parser_3, 264, fieldsig_3);;
-let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;;
-let v = (parser_3, 264, fieldsig_3);;
-let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;;
-let v = (parser_3, 264, fieldsig_3);;
-let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;;
-let v = (parser_3, 264, fieldsig_3);;
-let map = StringMap.add "2.6.21-1.3190.fc7.ppc" v map;;
-let v = (parser_3, 264, fieldsig_3);;
-let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;;
-let v = (parser_3, 268, fieldsig_3);;
-let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;;
-let v = (parser_3, 268, fieldsig_3);;
-let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;;
-let v = (parser_3, 240, fieldsig_3);;
-let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;;
-let v = (parser_3, 268, fieldsig_3);;
-let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;;
-let v = (parser_3, 268, fieldsig_3);;
-let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;;
-let v = (parser_3, 268, fieldsig_3);;
-let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;;
-let v = (parser_3, 268, fieldsig_3);;
-let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;;
-let v = (parser_3, 268, fieldsig_3);;
-let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;;
-let v = (parser_3, 268, fieldsig_3);;
-let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;;
-let v = (parser_3, 244, fieldsig_3);;
-let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;;
-let v = (parser_3, 244, fieldsig_3);;
-let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;;
-let v = (parser_3, 268, fieldsig_3);;
-let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;;
-let v = (parser_3, 268, fieldsig_3);;
-let map = StringMap.add "2.6.24-7.fc9.ppc" v map;;
-let v = (parser_3, 268, fieldsig_3);;
-let map = StringMap.add "2.6.24-9.fc9.ppc" v map;;
-let v = (parser_3, 244, fieldsig_3);;
-let map = StringMap.add "2.6.26.1-9.fc9.ppc" v map;;
-let v = (parser_3, 244, fieldsig_3);;
-let map = StringMap.add "2.6.26.2-2.fc8.ppc" v map;;
-let v = (parser_3, 268, fieldsig_3);;
-let map = StringMap.add "2.6.27-0.225.rc1.git5.fc10.ppc" v map;;
-let v = (parser_3, 268, fieldsig_3);;
-let map = StringMap.add "2.6.27-0.226.rc1.git5.fc10.ppc" v map;;
-let v = (parser_3, 268, fieldsig_3);;
-let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.ppc" v map;;
-let v = (parser_3, 268, fieldsig_3);;
-let map = StringMap.add "2.6.27-0.237.rc2.fc10.ppc" v map;;
-let v = (parser_3, 268, fieldsig_3);;
-let map = StringMap.add "2.6.27-0.238.rc2.fc10.ppc" v map;;
-let v = (parser_3, 268, fieldsig_3);;
-let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.ppc" v map;;
-let v = (parser_3, 268, fieldsig_3);;
-let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc" v map;;
-let v = (parser_1, 216, fieldsig_1);;
-let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;;
-let v = (parser_2, 328, fieldsig_2);;
-let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;;
-let v = (parser_1, 216, fieldsig_1);;
-let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;;
-let v = (parser_2, 328, fieldsig_2);;
-let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;;
-type kernel_version = string;;
-let in_device_known version = StringMap.mem version map;;
-let in_device_size version =
-  let (_, size, _) = StringMap.find version map in size;;
-let in_device_of_bits version bits =
-  let (parsefn, _, _) = StringMap.find version map in parsefn bits;;
-let get_in_device version mem addr =
-  let (parsefn, size, _) = StringMap.find version map in
-  let bytes = Virt_mem_mmap.get_bytes mem addr size in
-  let bits = Bitstring.bitstring_of_string bytes in parsefn bits;;
-let field_signature_of_in_device_ifa_list version =
-  let (_, _, fs) = StringMap.find version map in fs.__fs_in_device_ifa_list;;
[OBSOLETE] Old version of virt-mem. Use virt-tools instead.