(* 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 = "net_device";; let match_err = "failed to match kernel structure";; type t = { net_device_dev_list'prev : Virt_mem_mmap.addr option; net_device_dev_list'next : Virt_mem_mmap.addr option; net_device_next : Virt_mem_mmap.addr option; net_device_name : string; net_device_dev_addr : string };; type fs_t = { __fs_net_device_dev_list'prev : Virt_mem_types.fieldsig; __fs_net_device_dev_list'next : Virt_mem_types.fieldsig; __fs_net_device_next : Virt_mem_types.fieldsig; __fs_net_device_name : Virt_mem_types.fieldsig; __fs_net_device_dev_addr : Virt_mem_types.fieldsig };; let fieldsig_1 = { (()) with __fs_net_device_name = { Virt_mem_types.field_available = true; field_offset = 0; }; __fs_net_device_next = { Virt_mem_types.field_available = true; field_offset = 48; }; __fs_net_device_dev_addr = { Virt_mem_types.field_available = true; field_offset = 280; }; __fs_net_device_dev_list'prev = { Virt_mem_types.field_available = false; field_offset = (-1); }; __fs_net_device_dev_list'next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_2 = { (()) with __fs_net_device_name = { Virt_mem_types.field_available = true; field_offset = 0; }; __fs_net_device_dev_list'next = { Virt_mem_types.field_available = true; field_offset = 48; }; __fs_net_device_dev_list'prev = { Virt_mem_types.field_available = true; field_offset = 52; }; __fs_net_device_dev_addr = { Virt_mem_types.field_available = true; field_offset = 408; }; __fs_net_device_next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_3 = { (()) with __fs_net_device_name = { Virt_mem_types.field_available = true; field_offset = 0; }; __fs_net_device_dev_list'next = { Virt_mem_types.field_available = true; field_offset = 48; }; __fs_net_device_dev_list'prev = { Virt_mem_types.field_available = true; field_offset = 52; }; __fs_net_device_dev_addr = { Virt_mem_types.field_available = true; field_offset = 320; }; __fs_net_device_next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_4 = { (()) with __fs_net_device_name = { Virt_mem_types.field_available = true; field_offset = 0; }; __fs_net_device_dev_list'next = { Virt_mem_types.field_available = true; field_offset = 48; }; __fs_net_device_dev_list'prev = { Virt_mem_types.field_available = true; field_offset = 52; }; __fs_net_device_dev_addr = { Virt_mem_types.field_available = true; field_offset = 316; }; __fs_net_device_next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_5 = { (()) with __fs_net_device_name = { Virt_mem_types.field_available = true; field_offset = 0; }; __fs_net_device_dev_list'next = { Virt_mem_types.field_available = true; field_offset = 48; }; __fs_net_device_dev_list'prev = { Virt_mem_types.field_available = true; field_offset = 52; }; __fs_net_device_dev_addr = { Virt_mem_types.field_available = true; field_offset = 348; }; __fs_net_device_next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_6 = { (()) with __fs_net_device_name = { Virt_mem_types.field_available = true; field_offset = 0; }; __fs_net_device_next = { Virt_mem_types.field_available = true; field_offset = 72; }; __fs_net_device_dev_addr = { Virt_mem_types.field_available = true; field_offset = 424; }; __fs_net_device_dev_list'prev = { Virt_mem_types.field_available = false; field_offset = (-1); }; __fs_net_device_dev_list'next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_7 = { (()) with __fs_net_device_name = { Virt_mem_types.field_available = true; field_offset = 0; }; __fs_net_device_dev_list'next = { Virt_mem_types.field_available = true; field_offset = 72; }; __fs_net_device_dev_list'prev = { Virt_mem_types.field_available = true; field_offset = 80; }; __fs_net_device_dev_addr = { Virt_mem_types.field_available = true; field_offset = 552; }; __fs_net_device_next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_8 = { (()) with __fs_net_device_name = { Virt_mem_types.field_available = true; field_offset = 0; }; __fs_net_device_dev_list'next = { Virt_mem_types.field_available = true; field_offset = 72; }; __fs_net_device_dev_list'prev = { Virt_mem_types.field_available = true; field_offset = 80; }; __fs_net_device_dev_addr = { Virt_mem_types.field_available = true; field_offset = 536; }; __fs_net_device_next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_9 = { (()) with __fs_net_device_name = { Virt_mem_types.field_available = true; field_offset = 0; }; __fs_net_device_next = { Virt_mem_types.field_available = true; field_offset = 48; }; __fs_net_device_dev_addr = { Virt_mem_types.field_available = true; field_offset = 216; }; __fs_net_device_dev_list'prev = { Virt_mem_types.field_available = false; field_offset = (-1); }; __fs_net_device_dev_list'next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_10 = { (()) with __fs_net_device_name = { Virt_mem_types.field_available = true; field_offset = 0; }; __fs_net_device_next = { Virt_mem_types.field_available = true; field_offset = 72; }; __fs_net_device_dev_addr = { Virt_mem_types.field_available = true; field_offset = 424; }; __fs_net_device_dev_list'prev = { Virt_mem_types.field_available = false; field_offset = (-1); }; __fs_net_device_dev_list'next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_11 = { (()) with __fs_net_device_name = { Virt_mem_types.field_available = true; field_offset = 0; }; __fs_net_device_next = { Virt_mem_types.field_available = true; field_offset = 48; }; __fs_net_device_dev_addr = { Virt_mem_types.field_available = true; field_offset = 212; }; __fs_net_device_dev_list'prev = { Virt_mem_types.field_available = false; field_offset = (-1); }; __fs_net_device_dev_list'next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_12 = { (()) with __fs_net_device_name = { Virt_mem_types.field_available = true; field_offset = 0; }; __fs_net_device_dev_list'next = { Virt_mem_types.field_available = true; field_offset = 48; }; __fs_net_device_dev_list'prev = { Virt_mem_types.field_available = true; field_offset = 52; }; __fs_net_device_dev_addr = { Virt_mem_types.field_available = true; field_offset = 312; }; __fs_net_device_next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_13 = { (()) with __fs_net_device_name = { Virt_mem_types.field_available = true; field_offset = 0; }; __fs_net_device_dev_list'next = { Virt_mem_types.field_available = true; field_offset = 72; }; __fs_net_device_dev_list'prev = { Virt_mem_types.field_available = true; field_offset = 80; }; __fs_net_device_dev_addr = { Virt_mem_types.field_available = true; field_offset = 552; }; __fs_net_device_next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_14 = { (()) with __fs_net_device_name = { Virt_mem_types.field_available = true; field_offset = 0; }; __fs_net_device_dev_list'next = { Virt_mem_types.field_available = true; field_offset = 48; }; __fs_net_device_dev_list'prev = { Virt_mem_types.field_available = true; field_offset = 52; }; __fs_net_device_dev_addr = { Virt_mem_types.field_available = true; field_offset = 324; }; __fs_net_device_next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_15 = { (()) with __fs_net_device_name = { Virt_mem_types.field_available = true; field_offset = 0; }; __fs_net_device_dev_list'next = { Virt_mem_types.field_available = true; field_offset = 48; }; __fs_net_device_dev_list'prev = { Virt_mem_types.field_available = true; field_offset = 52; }; __fs_net_device_dev_addr = { Virt_mem_types.field_available = true; field_offset = 316; }; __fs_net_device_next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_16 = { (()) with __fs_net_device_name = { Virt_mem_types.field_available = true; field_offset = 0; }; __fs_net_device_dev_list'next = { Virt_mem_types.field_available = true; field_offset = 72; }; __fs_net_device_dev_list'prev = { Virt_mem_types.field_available = true; field_offset = 80; }; __fs_net_device_dev_addr = { Virt_mem_types.field_available = true; field_offset = 536; }; __fs_net_device_next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_17 = { (()) with __fs_net_device_name = { Virt_mem_types.field_available = true; field_offset = 0; }; __fs_net_device_dev_list'next = { Virt_mem_types.field_available = true; field_offset = 48; }; __fs_net_device_dev_list'prev = { Virt_mem_types.field_available = true; field_offset = 52; }; __fs_net_device_dev_addr = { Virt_mem_types.field_available = true; field_offset = 320; }; __fs_net_device_next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_18 = { (()) with __fs_net_device_name = { Virt_mem_types.field_available = true; field_offset = 0; }; __fs_net_device_dev_list'next = { Virt_mem_types.field_available = true; field_offset = 48; }; __fs_net_device_dev_list'prev = { Virt_mem_types.field_available = true; field_offset = 52; }; __fs_net_device_dev_addr = { Virt_mem_types.field_available = true; field_offset = 332; }; __fs_net_device_next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_19 = { (()) with __fs_net_device_name = { Virt_mem_types.field_available = true; field_offset = 0; }; __fs_net_device_dev_list'next = { Virt_mem_types.field_available = true; field_offset = 72; }; __fs_net_device_dev_list'prev = { Virt_mem_types.field_available = true; field_offset = 80; }; __fs_net_device_dev_addr = { Virt_mem_types.field_available = true; field_offset = 584; }; __fs_net_device_next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_20 = { (()) with __fs_net_device_name = { Virt_mem_types.field_available = true; field_offset = 0; }; __fs_net_device_dev_list'next = { Virt_mem_types.field_available = true; field_offset = 72; }; __fs_net_device_dev_list'prev = { Virt_mem_types.field_available = true; field_offset = 80; }; __fs_net_device_dev_addr = { Virt_mem_types.field_available = true; field_offset = 584; }; __fs_net_device_next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_21 = { (()) with __fs_net_device_name = { Virt_mem_types.field_available = true; field_offset = 0; }; __fs_net_device_next = { Virt_mem_types.field_available = true; field_offset = 48; }; __fs_net_device_dev_addr = { Virt_mem_types.field_available = true; field_offset = 216; }; __fs_net_device_dev_list'prev = { Virt_mem_types.field_available = false; field_offset = (-1); }; __fs_net_device_dev_list'next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_22 = { (()) with __fs_net_device_name = { Virt_mem_types.field_available = true; field_offset = 0; }; __fs_net_device_next = { Virt_mem_types.field_available = true; field_offset = 72; }; __fs_net_device_dev_addr = { Virt_mem_types.field_available = true; field_offset = 336; }; __fs_net_device_dev_list'prev = { Virt_mem_types.field_available = false; field_offset = (-1); }; __fs_net_device_dev_list'next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_23 = { (()) with __fs_net_device_name = { Virt_mem_types.field_available = true; field_offset = 0; }; __fs_net_device_next = { Virt_mem_types.field_available = true; field_offset = 48; }; __fs_net_device_dev_addr = { Virt_mem_types.field_available = true; field_offset = 212; }; __fs_net_device_dev_list'prev = { Virt_mem_types.field_available = false; field_offset = (-1); }; __fs_net_device_dev_list'next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_24 = { (()) with __fs_net_device_name = { Virt_mem_types.field_available = true; field_offset = 0; }; __fs_net_device_next = { Virt_mem_types.field_available = true; field_offset = 72; }; __fs_net_device_dev_addr = { Virt_mem_types.field_available = true; field_offset = 328; }; __fs_net_device_dev_list'prev = { Virt_mem_types.field_available = false; field_offset = (-1); }; __fs_net_device_dev_list'next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_25 = { (()) with __fs_net_device_name = { Virt_mem_types.field_available = true; field_offset = 0; }; __fs_net_device_dev_list'next = { Virt_mem_types.field_available = true; field_offset = 48; }; __fs_net_device_dev_list'prev = { Virt_mem_types.field_available = true; field_offset = 52; }; __fs_net_device_dev_addr = { Virt_mem_types.field_available = true; field_offset = 344; }; __fs_net_device_next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let parser_1 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; net_device_next : zero+32 : offset(384), littleendian; net_device_dev_addr : 256 : offset(2240), string } -> { net_device_name = net_device_name; net_device_next = Some net_device_next; net_device_dev_addr = net_device_dev_addr; net_device_dev_list'prev = None; net_device_dev_list'next = None } | { _ } -> raise (Virt_mem_types.ParseError (struct_name, "parser_1", match_err));; let parser_2 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; net_device_dev_list'next : zero+32 : offset(384), littleendian; net_device_dev_list'prev : zero+32 : offset(416), littleendian; net_device_dev_addr : 256 : offset(3264), string } -> { net_device_name = net_device_name; net_device_dev_list'next = Some (Int64.sub net_device_dev_list'next 48L); net_device_dev_list'prev = Some (Int64.sub net_device_dev_list'prev 52L); net_device_dev_addr = net_device_dev_addr; net_device_next = None } | { _ } -> raise (Virt_mem_types.ParseError (struct_name, "parser_2", match_err));; let parser_3 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; net_device_dev_list'next : zero+32 : offset(384), littleendian; net_device_dev_list'prev : zero+32 : offset(416), littleendian; net_device_dev_addr : 256 : offset(2560), string } -> { net_device_name = net_device_name; net_device_dev_list'next = Some (Int64.sub net_device_dev_list'next 48L); net_device_dev_list'prev = Some (Int64.sub net_device_dev_list'prev 52L); net_device_dev_addr = net_device_dev_addr; net_device_next = None } | { _ } -> raise (Virt_mem_types.ParseError (struct_name, "parser_3", match_err));; let parser_4 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; net_device_dev_list'next : zero+32 : offset(384), littleendian; net_device_dev_list'prev : zero+32 : offset(416), littleendian; net_device_dev_addr : 256 : offset(2528), string } -> { net_device_name = net_device_name; net_device_dev_list'next = Some (Int64.sub net_device_dev_list'next 48L); net_device_dev_list'prev = Some (Int64.sub net_device_dev_list'prev 52L); net_device_dev_addr = net_device_dev_addr; net_device_next = None } | { _ } -> raise (Virt_mem_types.ParseError (struct_name, "parser_4", match_err));; let parser_5 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; net_device_dev_list'next : zero+32 : offset(384), littleendian; net_device_dev_list'prev : zero+32 : offset(416), littleendian; net_device_dev_addr : 256 : offset(2784), string } -> { net_device_name = net_device_name; net_device_dev_list'next = Some (Int64.sub net_device_dev_list'next 48L); net_device_dev_list'prev = Some (Int64.sub net_device_dev_list'prev 52L); net_device_dev_addr = net_device_dev_addr; net_device_next = None } | { _ } -> raise (Virt_mem_types.ParseError (struct_name, "parser_5", match_err));; let parser_6 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; net_device_next : zero+64 : offset(576), littleendian; net_device_dev_addr : 256 : offset(3392), string } -> { net_device_name = net_device_name; net_device_next = Some net_device_next; net_device_dev_addr = net_device_dev_addr; net_device_dev_list'prev = None; net_device_dev_list'next = None } | { _ } -> raise (Virt_mem_types.ParseError (struct_name, "parser_6", match_err));; let parser_7 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; net_device_dev_list'next : zero+64 : offset(576), littleendian; net_device_dev_list'prev : zero+64 : offset(640), littleendian; net_device_dev_addr : 256 : offset(4416), string } -> { net_device_name = net_device_name; net_device_dev_list'next = Some (Int64.sub net_device_dev_list'next 72L); net_device_dev_list'prev = Some (Int64.sub net_device_dev_list'prev 80L); net_device_dev_addr = net_device_dev_addr; net_device_next = None } | { _ } -> raise (Virt_mem_types.ParseError (struct_name, "parser_7", match_err));; let parser_8 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; net_device_dev_list'next : zero+64 : offset(576), littleendian; net_device_dev_list'prev : zero+64 : offset(640), littleendian; net_device_dev_addr : 256 : offset(4288), string } -> { net_device_name = net_device_name; net_device_dev_list'next = Some (Int64.sub net_device_dev_list'next 72L); net_device_dev_list'prev = Some (Int64.sub net_device_dev_list'prev 80L); net_device_dev_addr = net_device_dev_addr; net_device_next = None } | { _ } -> raise (Virt_mem_types.ParseError (struct_name, "parser_8", match_err));; let parser_9 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; net_device_next : zero+32 : offset(384), bigendian; net_device_dev_addr : 256 : offset(1728), string } -> { net_device_name = net_device_name; net_device_next = Some net_device_next; net_device_dev_addr = net_device_dev_addr; net_device_dev_list'prev = None; net_device_dev_list'next = None } | { _ } -> raise (Virt_mem_types.ParseError (struct_name, "parser_9", match_err));; let parser_10 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; net_device_next : zero+64 : offset(576), bigendian; net_device_dev_addr : 256 : offset(3392), string } -> { net_device_name = net_device_name; net_device_next = Some net_device_next; net_device_dev_addr = net_device_dev_addr; net_device_dev_list'prev = None; net_device_dev_list'next = None } | { _ } -> raise (Virt_mem_types.ParseError (struct_name, "parser_10", match_err));; let parser_11 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; net_device_next : zero+32 : offset(384), bigendian; net_device_dev_addr : 256 : offset(1696), string } -> { net_device_name = net_device_name; net_device_next = Some net_device_next; net_device_dev_addr = net_device_dev_addr; net_device_dev_list'prev = None; net_device_dev_list'next = None } | { _ } -> raise (Virt_mem_types.ParseError (struct_name, "parser_11", match_err));; let parser_12 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; net_device_dev_list'next : zero+32 : offset(384), bigendian; net_device_dev_list'prev : zero+32 : offset(416), bigendian; net_device_dev_addr : 256 : offset(2496), string } -> { net_device_name = net_device_name; net_device_dev_list'next = Some (Int64.sub net_device_dev_list'next 48L); net_device_dev_list'prev = Some (Int64.sub net_device_dev_list'prev 52L); net_device_dev_addr = net_device_dev_addr; net_device_next = None } | { _ } -> raise (Virt_mem_types.ParseError (struct_name, "parser_12", match_err));; let parser_13 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; net_device_dev_list'next : zero+64 : offset(576), bigendian; net_device_dev_list'prev : zero+64 : offset(640), bigendian; net_device_dev_addr : 256 : offset(4416), string } -> { net_device_name = net_device_name; net_device_dev_list'next = Some (Int64.sub net_device_dev_list'next 72L); net_device_dev_list'prev = Some (Int64.sub net_device_dev_list'prev 80L); net_device_dev_addr = net_device_dev_addr; net_device_next = None } | { _ } -> raise (Virt_mem_types.ParseError (struct_name, "parser_13", match_err));; let parser_14 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; net_device_dev_list'next : zero+32 : offset(384), bigendian; net_device_dev_list'prev : zero+32 : offset(416), bigendian; net_device_dev_addr : 256 : offset(2592), string } -> { net_device_name = net_device_name; net_device_dev_list'next = Some (Int64.sub net_device_dev_list'next 48L); net_device_dev_list'prev = Some (Int64.sub net_device_dev_list'prev 52L); net_device_dev_addr = net_device_dev_addr; net_device_next = None } | { _ } -> raise (Virt_mem_types.ParseError (struct_name, "parser_14", match_err));; let parser_15 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; net_device_dev_list'next : zero+32 : offset(384), bigendian; net_device_dev_list'prev : zero+32 : offset(416), bigendian; net_device_dev_addr : 256 : offset(2528), string } -> { net_device_name = net_device_name; net_device_dev_list'next = Some (Int64.sub net_device_dev_list'next 48L); net_device_dev_list'prev = Some (Int64.sub net_device_dev_list'prev 52L); net_device_dev_addr = net_device_dev_addr; net_device_next = None } | { _ } -> raise (Virt_mem_types.ParseError (struct_name, "parser_15", match_err));; let parser_16 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; net_device_dev_list'next : zero+64 : offset(576), bigendian; net_device_dev_list'prev : zero+64 : offset(640), bigendian; net_device_dev_addr : 256 : offset(4288), string } -> { net_device_name = net_device_name; net_device_dev_list'next = Some (Int64.sub net_device_dev_list'next 72L); net_device_dev_list'prev = Some (Int64.sub net_device_dev_list'prev 80L); net_device_dev_addr = net_device_dev_addr; net_device_next = None } | { _ } -> raise (Virt_mem_types.ParseError (struct_name, "parser_16", match_err));; let parser_17 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; net_device_dev_list'next : zero+32 : offset(384), bigendian; net_device_dev_list'prev : zero+32 : offset(416), bigendian; net_device_dev_addr : 256 : offset(2560), string } -> { net_device_name = net_device_name; net_device_dev_list'next = Some (Int64.sub net_device_dev_list'next 48L); net_device_dev_list'prev = Some (Int64.sub net_device_dev_list'prev 52L); net_device_dev_addr = net_device_dev_addr; net_device_next = None } | { _ } -> raise (Virt_mem_types.ParseError (struct_name, "parser_17", match_err));; let parser_18 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; net_device_dev_list'next : zero+32 : offset(384), bigendian; net_device_dev_list'prev : zero+32 : offset(416), bigendian; net_device_dev_addr : 256 : offset(2656), string } -> { net_device_name = net_device_name; net_device_dev_list'next = Some (Int64.sub net_device_dev_list'next 48L); net_device_dev_list'prev = Some (Int64.sub net_device_dev_list'prev 52L); net_device_dev_addr = net_device_dev_addr; net_device_next = None } | { _ } -> raise (Virt_mem_types.ParseError (struct_name, "parser_18", match_err));; let parser_19 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; net_device_dev_list'next : zero+64 : offset(576), bigendian; net_device_dev_list'prev : zero+64 : offset(640), bigendian; net_device_dev_addr : 256 : offset(4672), string } -> { net_device_name = net_device_name; net_device_dev_list'next = Some (Int64.sub net_device_dev_list'next 72L); net_device_dev_list'prev = Some (Int64.sub net_device_dev_list'prev 80L); net_device_dev_addr = net_device_dev_addr; net_device_next = None } | { _ } -> raise (Virt_mem_types.ParseError (struct_name, "parser_19", match_err));; let parser_20 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; net_device_dev_list'next : zero+64 : offset(576), littleendian; net_device_dev_list'prev : zero+64 : offset(640), littleendian; net_device_dev_addr : 256 : offset(4672), string } -> { net_device_name = net_device_name; net_device_dev_list'next = Some (Int64.sub net_device_dev_list'next 72L); net_device_dev_list'prev = Some (Int64.sub net_device_dev_list'prev 80L); net_device_dev_addr = net_device_dev_addr; net_device_next = None } | { _ } -> raise (Virt_mem_types.ParseError (struct_name, "parser_20", match_err));; let parser_21 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; net_device_next : zero+32 : offset(384), littleendian; net_device_dev_addr : 256 : offset(1728), string } -> { net_device_name = net_device_name; net_device_next = Some net_device_next; net_device_dev_addr = net_device_dev_addr; net_device_dev_list'prev = None; net_device_dev_list'next = None } | { _ } -> raise (Virt_mem_types.ParseError (struct_name, "parser_21", match_err));; let parser_22 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; net_device_next : zero+64 : offset(576), littleendian; net_device_dev_addr : 256 : offset(2688), string } -> { net_device_name = net_device_name; net_device_next = Some net_device_next; net_device_dev_addr = net_device_dev_addr; net_device_dev_list'prev = None; net_device_dev_list'next = None } | { _ } -> raise (Virt_mem_types.ParseError (struct_name, "parser_22", match_err));; let parser_23 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; net_device_next : zero+32 : offset(384), littleendian; net_device_dev_addr : 256 : offset(1696), string } -> { net_device_name = net_device_name; net_device_next = Some net_device_next; net_device_dev_addr = net_device_dev_addr; net_device_dev_list'prev = None; net_device_dev_list'next = None } | { _ } -> raise (Virt_mem_types.ParseError (struct_name, "parser_23", match_err));; let parser_24 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; net_device_next : zero+64 : offset(576), littleendian; net_device_dev_addr : 256 : offset(2624), string } -> { net_device_name = net_device_name; net_device_next = Some net_device_next; net_device_dev_addr = net_device_dev_addr; net_device_dev_list'prev = None; net_device_dev_list'next = None } | { _ } -> raise (Virt_mem_types.ParseError (struct_name, "parser_24", match_err));; let parser_25 bits = bitmatch bits with | { net_device_name : 128 : offset(0), string; net_device_dev_list'next : zero+32 : offset(384), bigendian; net_device_dev_list'prev : zero+32 : offset(416), bigendian; net_device_dev_addr : 256 : offset(2752), string } -> { net_device_name = net_device_name; net_device_dev_list'next = Some (Int64.sub net_device_dev_list'next 48L); net_device_dev_list'prev = Some (Int64.sub net_device_dev_list'prev 52L); net_device_dev_addr = net_device_dev_addr; net_device_next = None } | { _ } -> raise (Virt_mem_types.ParseError (struct_name, "parser_25", match_err));; module StringMap = Map.Make(String);; let map = StringMap.empty;; let v = (parser_1, 924, fieldsig_1);; let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;; let v = (parser_1, 1284, fieldsig_1);; let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;; let v = (parser_1, 1284, fieldsig_1);; let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;; let v = (parser_1, 1284, fieldsig_1);; let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;; let v = (parser_2, 1444, fieldsig_2);; let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;; let v = (parser_2, 1444, fieldsig_2);; let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;; let v = (parser_3, 1384, fieldsig_3);; let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;; let v = (parser_1, 912, fieldsig_1);; let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;; let v = (parser_1, 1284, fieldsig_1);; let map = StringMap.add "2.6.21-1.3128.fc7.i686" v map;; let v = (parser_1, 1284, fieldsig_1);; let map = StringMap.add "2.6.21-1.3132.fc7.i686" v map;; let v = (parser_1, 1284, fieldsig_1);; let map = StringMap.add "2.6.21-1.3141.fc7.i686" v map;; let v = (parser_1, 1284, fieldsig_1);; let map = StringMap.add "2.6.21-1.3144.fc7.i686" v map;; let v = (parser_1, 1200, fieldsig_1);; let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;; let v = (parser_1, 1200, fieldsig_1);; let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;; let v = (parser_2, 1408, fieldsig_2);; let map = StringMap.add "2.6.21-1.3209.fc8.i686" v map;; let v = (parser_2, 1408, fieldsig_2);; let map = StringMap.add "2.6.21-1.3218.fc8.i686" v map;; let v = (parser_2, 1408, fieldsig_2);; let map = StringMap.add "2.6.21-1.3221.fc8.i686" v map;; let v = (parser_1, 1116, fieldsig_1);; let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;; let v = (parser_2, 1408, fieldsig_2);; let map = StringMap.add "2.6.21-1.3234.fc8.i686" v map;; let v = (parser_2, 1408, fieldsig_2);; let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;; let v = (parser_2, 1408, fieldsig_2);; let map = StringMap.add "2.6.21-1.3238.fc8.i686" v map;; let v = (parser_2, 1408, fieldsig_2);; let map = StringMap.add "2.6.21-1.3242.fc8.i686" v map;; let v = (parser_2, 1408, fieldsig_2);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;; let v = (parser_2, 1408, fieldsig_2);; let map = StringMap.add "2.6.22-0.rc7.2.fc8.i686" v map;; let v = (parser_2, 1248, fieldsig_2);; let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;; let v = (parser_2, 1248, fieldsig_2);; let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;; let v = (parser_4, 1244, fieldsig_4);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;; let v = (parser_4, 1244, fieldsig_4);; let map = StringMap.add "2.6.24-7.fc9.i686" v map;; let v = (parser_4, 1244, fieldsig_4);; let map = StringMap.add "2.6.24-9.fc9.i686" v map;; let v = (parser_3, 1216, fieldsig_3);; let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;; let v = (parser_5, 1388, fieldsig_5);; let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.i686" v map;; let v = (parser_5, 1388, fieldsig_5);; let map = StringMap.add "2.6.27-0.237.rc2.fc10.i686" v map;; let v = (parser_5, 1388, fieldsig_5);; let map = StringMap.add "2.6.27-0.238.rc2.fc10.i686" v map;; let v = (parser_5, 1388, fieldsig_5);; let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.i686" v map;; let v = (parser_5, 1388, fieldsig_5);; let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.i686" v map;; let v = (parser_1, 924, fieldsig_1);; let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;; let v = (parser_6, 1540, fieldsig_6);; let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;; let v = (parser_1, 1284, fieldsig_1);; let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;; let v = (parser_6, 2196, fieldsig_6);; let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;; let v = (parser_1, 1284, fieldsig_1);; let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;; let v = (parser_6, 2196, fieldsig_6);; let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;; let v = (parser_1, 1284, fieldsig_1);; let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;; let v = (parser_6, 2196, fieldsig_6);; let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;; let v = (parser_2, 1444, fieldsig_2);; let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;; let v = (parser_7, 2392, fieldsig_7);; let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;; let v = (parser_7, 2392, fieldsig_7);; let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;; let v = (parser_3, 1384, fieldsig_3);; let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;; let v = (parser_8, 2304, fieldsig_8);; let map = StringMap.add "2.6.26.2-2.fc8.x86_64" v map;; let v = (parser_1, 912, fieldsig_1);; let map = StringMap.add "2.6.18-1.2798.fc6.i586" v map;; let v = (parser_1, 912, fieldsig_1);; let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;; let v = (parser_9, 672, fieldsig_9);; let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;; let v = (parser_10, 1260, fieldsig_10);; let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;; let v = (parser_10, 1260, fieldsig_10);; let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;; let v = (parser_6, 1260, fieldsig_6);; let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;; let v = (parser_1, 912, fieldsig_1);; let map = StringMap.add "2.6.20-1.2933.fc6.i586" v map;; let v = (parser_1, 912, fieldsig_1);; let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;; let v = (parser_11, 668, fieldsig_11);; let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;; let v = (parser_10, 1260, fieldsig_10);; let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;; let v = (parser_6, 1260, fieldsig_6);; let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;; let v = (parser_1, 1284, fieldsig_1);; let map = StringMap.add "2.6.21-1.3128.fc7.i586" v map;; let v = (parser_1, 1284, fieldsig_1);; let map = StringMap.add "2.6.21-1.3128.fc7.i686" v map;; let v = (parser_9, 996, fieldsig_9);; let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;; let v = (parser_10, 1924, fieldsig_10);; let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;; let v = (parser_6, 2196, fieldsig_6);; let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;; let v = (parser_1, 1284, fieldsig_1);; let map = StringMap.add "2.6.21-1.3132.fc7.i586" v map;; let v = (parser_1, 1284, fieldsig_1);; let map = StringMap.add "2.6.21-1.3132.fc7.i686" v map;; let v = (parser_9, 996, fieldsig_9);; let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;; let v = (parser_10, 1924, fieldsig_10);; let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;; let v = (parser_6, 2196, fieldsig_6);; let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;; let v = (parser_1, 1284, fieldsig_1);; let map = StringMap.add "2.6.21-1.3141.fc7.i586" v map;; let v = (parser_1, 1284, fieldsig_1);; let map = StringMap.add "2.6.21-1.3141.fc7.i686" v map;; let v = (parser_9, 996, fieldsig_9);; let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;; let v = (parser_10, 1924, fieldsig_10);; let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;; let v = (parser_6, 2196, fieldsig_6);; let map = StringMap.add "2.6.21-1.3141.fc7.x86_64" v map;; let v = (parser_1, 1284, fieldsig_1);; let map = StringMap.add "2.6.21-1.3144.fc7.i586" v map;; let v = (parser_1, 1284, fieldsig_1);; let map = StringMap.add "2.6.21-1.3144.fc7.i686" v map;; let v = (parser_9, 996, fieldsig_9);; let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;; let v = (parser_10, 1924, fieldsig_10);; let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;; let v = (parser_6, 2196, fieldsig_6);; let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;; let v = (parser_1, 1200, fieldsig_1);; let map = StringMap.add "2.6.21-1.3145.fc7.i586" v map;; let v = (parser_1, 1200, fieldsig_1);; let map = StringMap.add "2.6.21-1.3145.fc7.i686" v map;; let v = (parser_9, 996, fieldsig_9);; let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;; let v = (parser_10, 1924, fieldsig_10);; let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;; let v = (parser_6, 1900, fieldsig_6);; let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;; let v = (parser_1, 1200, fieldsig_1);; let map = StringMap.add "2.6.21-1.3190.fc7.i586" v map;; let v = (parser_1, 1200, fieldsig_1);; let map = StringMap.add "2.6.21-1.3190.fc7.i686" v map;; let v = (parser_9, 996, fieldsig_9);; let map = StringMap.add "2.6.21-1.3190.fc7.ppc" v map;; let v = (parser_10, 1924, fieldsig_10);; let map = StringMap.add "2.6.21-1.3190.fc7.ppc64" v map;; let v = (parser_6, 1900, fieldsig_6);; let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;; let v = (parser_2, 1408, fieldsig_2);; let map = StringMap.add "2.6.21-1.3209.fc8.i586" v map;; let v = (parser_2, 1408, fieldsig_2);; let map = StringMap.add "2.6.21-1.3209.fc8.i686" v map;; let v = (parser_12, 1092, fieldsig_12);; let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;; let v = (parser_13, 2044, fieldsig_13);; let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;; let v = (parser_7, 2316, fieldsig_7);; let map = StringMap.add "2.6.21-1.3209.fc8.x86_64" v map;; let v = (parser_2, 1408, fieldsig_2);; let map = StringMap.add "2.6.21-1.3218.fc8.i586" v map;; let v = (parser_2, 1408, fieldsig_2);; let map = StringMap.add "2.6.21-1.3218.fc8.i686" v map;; let v = (parser_12, 1092, fieldsig_12);; let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;; let v = (parser_13, 2044, fieldsig_13);; let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;; let v = (parser_7, 2316, fieldsig_7);; let map = StringMap.add "2.6.21-1.3218.fc8.x86_64" v map;; let v = (parser_2, 1408, fieldsig_2);; let map = StringMap.add "2.6.21-1.3221.fc8.i586" v map;; let v = (parser_2, 1408, fieldsig_2);; let map = StringMap.add "2.6.21-1.3221.fc8.i686" v map;; let v = (parser_12, 1092, fieldsig_12);; let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;; let v = (parser_13, 2044, fieldsig_13);; let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;; let v = (parser_7, 2316, fieldsig_7);; let map = StringMap.add "2.6.21-1.3221.fc8.x86_64" v map;; let v = (parser_1, 1116, fieldsig_1);; let map = StringMap.add "2.6.21-1.3228.fc7.i586" v map;; let v = (parser_1, 1116, fieldsig_1);; let map = StringMap.add "2.6.21-1.3228.fc7.i686" v map;; let v = (parser_9, 836, fieldsig_9);; let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;; let v = (parser_10, 1684, fieldsig_10);; let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;; let v = (parser_6, 1660, fieldsig_6);; let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;; let v = (parser_2, 1408, fieldsig_2);; let map = StringMap.add "2.6.21-1.3234.fc8.i686" v map;; let v = (parser_12, 1092, fieldsig_12);; let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;; let v = (parser_13, 2044, fieldsig_13);; let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;; let v = (parser_7, 2316, fieldsig_7);; let map = StringMap.add "2.6.21-1.3234.fc8.x86_64" v map;; let v = (parser_2, 1408, fieldsig_2);; let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;; let v = (parser_12, 1092, fieldsig_12);; let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;; let v = (parser_13, 2044, fieldsig_13);; let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;; let v = (parser_7, 2316, fieldsig_7);; let map = StringMap.add "2.6.21-1.3236.fc8.x86_64" v map;; let v = (parser_2, 1408, fieldsig_2);; let map = StringMap.add "2.6.21-1.3238.fc8.i686" v map;; let v = (parser_12, 1092, fieldsig_12);; let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;; let v = (parser_13, 2044, fieldsig_13);; let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;; let v = (parser_7, 2316, fieldsig_7);; let map = StringMap.add "2.6.21-1.3238.fc8.x86_64" v map;; let v = (parser_2, 1408, fieldsig_2);; let map = StringMap.add "2.6.21-1.3242.fc8.i686" v map;; let v = (parser_12, 1092, fieldsig_12);; let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;; let v = (parser_13, 2044, fieldsig_13);; let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;; let v = (parser_7, 2316, fieldsig_7);; let map = StringMap.add "2.6.21-1.3242.fc8.x86_64" v map;; let v = (parser_2, 1408, fieldsig_2);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;; let v = (parser_12, 1092, fieldsig_12);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;; let v = (parser_13, 2044, fieldsig_13);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;; let v = (parser_7, 2316, fieldsig_7);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.x86_64" v map;; let v = (parser_2, 1408, fieldsig_2);; let map = StringMap.add "2.6.22-0.rc7.2.fc8.i686" v map;; let v = (parser_12, 1092, fieldsig_12);; let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;; let v = (parser_13, 2044, fieldsig_13);; let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;; let v = (parser_7, 2316, fieldsig_7);; let map = StringMap.add "2.6.22-0.rc7.2.fc8.x86_64" v map;; let v = (parser_2, 1248, fieldsig_2);; let map = StringMap.add "2.6.23.14-135.fc8.i586" v map;; let v = (parser_2, 1248, fieldsig_2);; let map = StringMap.add "2.6.23.14-135.fc8.i686" v map;; let v = (parser_14, 952, fieldsig_14);; let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;; let v = (parser_13, 1824, fieldsig_13);; let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;; let v = (parser_7, 1800, fieldsig_7);; let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;; let v = (parser_2, 1248, fieldsig_2);; let map = StringMap.add "2.6.23.14-78.fc7.i586" v map;; let v = (parser_2, 1248, fieldsig_2);; let map = StringMap.add "2.6.23.14-78.fc7.i686" v map;; let v = (parser_14, 952, fieldsig_14);; let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;; let v = (parser_13, 1824, fieldsig_13);; let map = StringMap.add "2.6.23.14-78.fc7.ppc64" v map;; let v = (parser_7, 1800, fieldsig_7);; let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;; let v = (parser_4, 1244, fieldsig_4);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i586" v map;; let v = (parser_4, 1244, fieldsig_4);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;; let v = (parser_15, 1048, fieldsig_15);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;; let v = (parser_16, 1984, fieldsig_16);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;; let v = (parser_8, 2288, fieldsig_8);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.x86_64" v map;; let v = (parser_4, 1244, fieldsig_4);; let map = StringMap.add "2.6.24-7.fc9.i586" v map;; let v = (parser_4, 1244, fieldsig_4);; let map = StringMap.add "2.6.24-7.fc9.i686" v map;; let v = (parser_15, 1048, fieldsig_15);; let map = StringMap.add "2.6.24-7.fc9.ppc" v map;; let v = (parser_16, 1984, fieldsig_16);; let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;; let v = (parser_8, 2288, fieldsig_8);; let map = StringMap.add "2.6.24-7.fc9.x86_64" v map;; let v = (parser_4, 1244, fieldsig_4);; let map = StringMap.add "2.6.24-9.fc9.i586" v map;; let v = (parser_4, 1244, fieldsig_4);; let map = StringMap.add "2.6.24-9.fc9.i686" v map;; let v = (parser_15, 1048, fieldsig_15);; let map = StringMap.add "2.6.24-9.fc9.ppc" v map;; let v = (parser_16, 1984, fieldsig_16);; let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;; let v = (parser_8, 2288, fieldsig_8);; let map = StringMap.add "2.6.24-9.fc9.x86_64" v map;; let v = (parser_4, 1212, fieldsig_4);; let map = StringMap.add "2.6.25.11-97.fc9.i686" v map;; let v = (parser_8, 1752, fieldsig_8);; let map = StringMap.add "2.6.25.11-97.fc9.x86_64" v map;; let v = (parser_3, 1216, fieldsig_3);; let map = StringMap.add "2.6.26.2-2.fc8.i586" v map;; let v = (parser_3, 1216, fieldsig_3);; let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;; let v = (parser_17, 920, fieldsig_17);; let map = StringMap.add "2.6.26.2-2.fc8.ppc" v map;; let v = (parser_16, 1776, fieldsig_16);; let map = StringMap.add "2.6.26.2-2.fc8.ppc64" v map;; let v = (parser_8, 1752, fieldsig_8);; let map = StringMap.add "2.6.26.2-2.fc8.x86_64" v map;; let v = (parser_5, 1388, fieldsig_5);; let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.i686" v map;; let v = (parser_5, 1388, fieldsig_5);; let map = StringMap.add "2.6.27-0.237.rc2.fc10.i586" v map;; let v = (parser_5, 1388, fieldsig_5);; let map = StringMap.add "2.6.27-0.237.rc2.fc10.i686" v map;; let v = (parser_18, 1072, fieldsig_18);; let map = StringMap.add "2.6.27-0.237.rc2.fc10.ppc" v map;; let v = (parser_19, 2332, fieldsig_19);; let map = StringMap.add "2.6.27-0.237.rc2.fc10.ppc64" v map;; let v = (parser_20, 2316, fieldsig_20);; let map = StringMap.add "2.6.27-0.237.rc2.fc10.x86_64" v map;; let v = (parser_5, 1388, fieldsig_5);; let map = StringMap.add "2.6.27-0.238.rc2.fc10.i586" v map;; let v = (parser_5, 1388, fieldsig_5);; let map = StringMap.add "2.6.27-0.238.rc2.fc10.i686" v map;; let v = (parser_18, 1072, fieldsig_18);; let map = StringMap.add "2.6.27-0.238.rc2.fc10.ppc" v map;; let v = (parser_19, 2332, fieldsig_19);; let map = StringMap.add "2.6.27-0.238.rc2.fc10.ppc64" v map;; let v = (parser_20, 2316, fieldsig_20);; let map = StringMap.add "2.6.27-0.238.rc2.fc10.x86_64" v map;; let v = (parser_5, 1388, fieldsig_5);; let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.i586" v map;; let v = (parser_5, 1388, fieldsig_5);; let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.i686" v map;; let v = (parser_18, 1072, fieldsig_18);; let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.ppc" v map;; let v = (parser_19, 2332, fieldsig_19);; let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.ppc64" v map;; let v = (parser_20, 2316, fieldsig_20);; let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.x86_64" v map;; let v = (parser_5, 1388, fieldsig_5);; let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.i586" v map;; let v = (parser_5, 1388, fieldsig_5);; let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.i686" v map;; let v = (parser_18, 1072, fieldsig_18);; let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc" v map;; let v = (parser_19, 2332, fieldsig_19);; let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc64" v map;; let v = (parser_20, 2316, fieldsig_20);; let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.x86_64" v map;; let v = (parser_21, 672, fieldsig_21);; let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;; let v = (parser_10, 1260, fieldsig_10);; let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;; let v = (parser_10, 1260, fieldsig_10);; let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;; let v = (parser_22, 1108, fieldsig_22);; let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;; let v = (parser_23, 668, fieldsig_23);; let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;; let v = (parser_10, 1260, fieldsig_10);; let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;; let v = (parser_24, 1100, fieldsig_24);; let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;; let v = (parser_10, 1924, fieldsig_10);; let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;; let v = (parser_22, 2124, fieldsig_22);; let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;; let v = (parser_10, 1924, fieldsig_10);; let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;; let v = (parser_22, 2124, fieldsig_22);; let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;; let v = (parser_10, 1924, fieldsig_10);; let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;; let v = (parser_22, 2124, fieldsig_22);; let map = StringMap.add "2.6.21-1.3141.fc7.x86_64" v map;; let v = (parser_10, 1924, fieldsig_10);; let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;; let v = (parser_22, 2124, fieldsig_22);; let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;; let v = (parser_10, 1924, fieldsig_10);; let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;; let v = (parser_22, 1644, fieldsig_22);; let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;; let v = (parser_10, 1924, fieldsig_10);; let map = StringMap.add "2.6.21-1.3190.fc7.ppc64" v map;; let v = (parser_22, 1644, fieldsig_22);; let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;; let v = (parser_13, 2044, fieldsig_13);; let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;; let v = (parser_13, 2044, fieldsig_13);; let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;; let v = (parser_13, 2044, fieldsig_13);; let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;; let v = (parser_10, 1684, fieldsig_10);; let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;; let v = (parser_22, 1404, fieldsig_22);; let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;; let v = (parser_13, 2044, fieldsig_13);; let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;; let v = (parser_13, 2044, fieldsig_13);; let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;; let v = (parser_13, 2044, fieldsig_13);; let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;; let v = (parser_13, 2044, fieldsig_13);; let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;; let v = (parser_13, 2044, fieldsig_13);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;; let v = (parser_13, 2044, fieldsig_13);; let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;; let v = (parser_13, 1824, fieldsig_13);; let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;; let v = (parser_13, 1824, fieldsig_13);; let map = StringMap.add "2.6.23.14-78.fc7.ppc64" v map;; let v = (parser_16, 1984, fieldsig_16);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;; let v = (parser_16, 1984, fieldsig_16);; let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;; let v = (parser_16, 1984, fieldsig_16);; let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;; let v = (parser_16, 1776, fieldsig_16);; let map = StringMap.add "2.6.26.2-2.fc8.ppc64" v map;; let v = (parser_19, 2332, fieldsig_19);; let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.ppc64" v map;; let v = (parser_19, 2332, fieldsig_19);; let map = StringMap.add "2.6.27-0.237.rc2.fc10.ppc64" v map;; let v = (parser_19, 2332, fieldsig_19);; let map = StringMap.add "2.6.27-0.238.rc2.fc10.ppc64" v map;; let v = (parser_19, 2332, fieldsig_19);; let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.ppc64" v map;; let v = (parser_19, 2332, fieldsig_19);; let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc64" v map;; let v = (parser_9, 688, fieldsig_9);; let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;; let v = (parser_9, 688, fieldsig_9);; let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;; let v = (parser_9, 1020, fieldsig_9);; let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;; let v = (parser_9, 1020, fieldsig_9);; let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;; let v = (parser_9, 1020, fieldsig_9);; let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;; let v = (parser_9, 1020, fieldsig_9);; let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;; let v = (parser_9, 1020, fieldsig_9);; let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;; let v = (parser_9, 1020, fieldsig_9);; let map = StringMap.add "2.6.21-1.3190.fc7.ppc" v map;; let v = (parser_12, 1116, fieldsig_12);; let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;; let v = (parser_12, 1116, fieldsig_12);; let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;; let v = (parser_12, 1116, fieldsig_12);; let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;; let v = (parser_9, 936, fieldsig_9);; let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;; let v = (parser_12, 1116, fieldsig_12);; let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;; let v = (parser_12, 1116, fieldsig_12);; let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;; let v = (parser_12, 1116, fieldsig_12);; let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;; let v = (parser_12, 1116, fieldsig_12);; let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;; let v = (parser_12, 1116, fieldsig_12);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;; let v = (parser_12, 1116, fieldsig_12);; let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;; let v = (parser_25, 1064, fieldsig_25);; let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;; let v = (parser_25, 1064, fieldsig_25);; let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;; let v = (parser_15, 1072, fieldsig_15);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;; let v = (parser_15, 1072, fieldsig_15);; let map = StringMap.add "2.6.24-7.fc9.ppc" v map;; let v = (parser_15, 1072, fieldsig_15);; let map = StringMap.add "2.6.24-9.fc9.ppc" v map;; let v = (parser_17, 1016, fieldsig_17);; let map = StringMap.add "2.6.26.2-2.fc8.ppc" v map;; let v = (parser_18, 1120, fieldsig_18);; let map = StringMap.add "2.6.27-0.237.rc2.fc10.ppc" v map;; let v = (parser_18, 1120, fieldsig_18);; let map = StringMap.add "2.6.27-0.238.rc2.fc10.ppc" v map;; let v = (parser_18, 1120, fieldsig_18);; let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.ppc" v map;; let v = (parser_18, 1120, fieldsig_18);; let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc" v map;; let v = (parser_1, 912, fieldsig_1);; let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;; let v = (parser_6, 1260, fieldsig_6);; let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;; let v = (parser_1, 912, fieldsig_1);; let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;; let v = (parser_6, 1260, fieldsig_6);; let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;; type kernel_version = string;; let net_device_known version = StringMap.mem version map;; let net_device_size version = let (_, size, _) = StringMap.find version map in size;; let net_device_of_bits version bits = let (parsefn, _, _) = StringMap.find version map in parsefn bits;; let get_net_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_net_device_dev_list'prev version = let (_, _, fs) = StringMap.find version map in fs.__fs_net_device_dev_list'prev;; let field_signature_of_net_device_dev_list'next version = let (_, _, fs) = StringMap.find version map in fs.__fs_net_device_dev_list'next;; let field_signature_of_net_device_next version = let (_, _, fs) = StringMap.find version map in fs.__fs_net_device_next;; let field_signature_of_net_device_name version = let (_, _, fs) = StringMap.find version map in fs.__fs_net_device_name;; let field_signature_of_net_device_dev_addr version = let (_, _, fs) = StringMap.find version map in fs.__fs_net_device_dev_addr;;