(* 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_flags : int64; net_device_operstate : int64; net_device_mtu : int64; net_device_perm_addr : string; net_device_addr_len : int64; net_device_ip_ptr : Virt_mem_mmap.addr; net_device_ip6_ptr : Virt_mem_mmap.addr };; 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_flags : Virt_mem_types.fieldsig; __fs_net_device_operstate : Virt_mem_types.fieldsig; __fs_net_device_mtu : Virt_mem_types.fieldsig; __fs_net_device_perm_addr : Virt_mem_types.fieldsig; __fs_net_device_addr_len : Virt_mem_types.fieldsig; __fs_net_device_ip_ptr : Virt_mem_types.fieldsig; __fs_net_device_ip6_ptr : Virt_mem_types.fieldsig };; let fieldsig_1 = { __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_flags = { Virt_mem_types.field_available = true; field_offset = 88; }; __fs_net_device_operstate = { Virt_mem_types.field_available = true; field_offset = 98; }; __fs_net_device_mtu = { Virt_mem_types.field_available = true; field_offset = 100; }; __fs_net_device_perm_addr = { Virt_mem_types.field_available = true; field_offset = 112; }; __fs_net_device_addr_len = { Virt_mem_types.field_available = true; field_offset = 144; }; __fs_net_device_ip_ptr = { Virt_mem_types.field_available = true; field_offset = 168; }; __fs_net_device_ip6_ptr = { Virt_mem_types.field_available = true; field_offset = 176; }; __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 = { __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_flags = { Virt_mem_types.field_available = true; field_offset = 184; }; __fs_net_device_operstate = { Virt_mem_types.field_available = true; field_offset = 194; }; __fs_net_device_mtu = { Virt_mem_types.field_available = true; field_offset = 196; }; __fs_net_device_perm_addr = { Virt_mem_types.field_available = true; field_offset = 208; }; __fs_net_device_addr_len = { Virt_mem_types.field_available = true; field_offset = 240; }; __fs_net_device_ip_ptr = { Virt_mem_types.field_available = true; field_offset = 276; }; __fs_net_device_ip6_ptr = { Virt_mem_types.field_available = true; field_offset = 284; }; __fs_net_device_next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_3 = { __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_flags = { Virt_mem_types.field_available = true; field_offset = 196; }; __fs_net_device_operstate = { Virt_mem_types.field_available = true; field_offset = 206; }; __fs_net_device_mtu = { Virt_mem_types.field_available = true; field_offset = 208; }; __fs_net_device_perm_addr = { Virt_mem_types.field_available = true; field_offset = 220; }; __fs_net_device_addr_len = { Virt_mem_types.field_available = true; field_offset = 252; }; __fs_net_device_ip_ptr = { Virt_mem_types.field_available = true; field_offset = 288; }; __fs_net_device_ip6_ptr = { Virt_mem_types.field_available = true; field_offset = 296; }; __fs_net_device_next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_4 = { __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_flags = { Virt_mem_types.field_available = true; field_offset = 196; }; __fs_net_device_operstate = { Virt_mem_types.field_available = true; field_offset = 206; }; __fs_net_device_mtu = { Virt_mem_types.field_available = true; field_offset = 208; }; __fs_net_device_perm_addr = { Virt_mem_types.field_available = true; field_offset = 224; }; __fs_net_device_addr_len = { Virt_mem_types.field_available = true; field_offset = 256; }; __fs_net_device_ip_ptr = { Virt_mem_types.field_available = true; field_offset = 292; }; __fs_net_device_ip6_ptr = { Virt_mem_types.field_available = true; field_offset = 300; }; __fs_net_device_next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_5 = { __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_flags = { Virt_mem_types.field_available = true; field_offset = 184; }; __fs_net_device_operstate = { Virt_mem_types.field_available = true; field_offset = 194; }; __fs_net_device_mtu = { Virt_mem_types.field_available = true; field_offset = 196; }; __fs_net_device_perm_addr = { Virt_mem_types.field_available = true; field_offset = 208; }; __fs_net_device_addr_len = { Virt_mem_types.field_available = true; field_offset = 240; }; __fs_net_device_ip_ptr = { Virt_mem_types.field_available = true; field_offset = 264; }; __fs_net_device_ip6_ptr = { Virt_mem_types.field_available = true; field_offset = 272; }; __fs_net_device_next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_6 = { __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_flags = { Virt_mem_types.field_available = true; field_offset = 192; }; __fs_net_device_operstate = { Virt_mem_types.field_available = true; field_offset = 202; }; __fs_net_device_mtu = { Virt_mem_types.field_available = true; field_offset = 204; }; __fs_net_device_perm_addr = { Virt_mem_types.field_available = true; field_offset = 220; }; __fs_net_device_addr_len = { Virt_mem_types.field_available = true; field_offset = 252; }; __fs_net_device_ip_ptr = { Virt_mem_types.field_available = true; field_offset = 320; }; __fs_net_device_ip6_ptr = { Virt_mem_types.field_available = true; field_offset = 328; }; __fs_net_device_next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_7 = { __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_flags = { Virt_mem_types.field_available = true; field_offset = 144; }; __fs_net_device_operstate = { Virt_mem_types.field_available = true; field_offset = 154; }; __fs_net_device_mtu = { Virt_mem_types.field_available = true; field_offset = 156; }; __fs_net_device_perm_addr = { Virt_mem_types.field_available = true; field_offset = 176; }; __fs_net_device_addr_len = { Virt_mem_types.field_available = true; field_offset = 208; }; __fs_net_device_ip_ptr = { Virt_mem_types.field_available = true; field_offset = 248; }; __fs_net_device_ip6_ptr = { Virt_mem_types.field_available = true; field_offset = 264; }; __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_8 = { __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_flags = { Virt_mem_types.field_available = true; field_offset = 336; }; __fs_net_device_operstate = { Virt_mem_types.field_available = true; field_offset = 346; }; __fs_net_device_mtu = { Virt_mem_types.field_available = true; field_offset = 348; }; __fs_net_device_perm_addr = { Virt_mem_types.field_available = true; field_offset = 368; }; __fs_net_device_addr_len = { Virt_mem_types.field_available = true; field_offset = 400; }; __fs_net_device_ip_ptr = { Virt_mem_types.field_available = true; field_offset = 456; }; __fs_net_device_ip6_ptr = { Virt_mem_types.field_available = true; field_offset = 472; }; __fs_net_device_next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_9 = { __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_flags = { Virt_mem_types.field_available = true; field_offset = 360; }; __fs_net_device_operstate = { Virt_mem_types.field_available = true; field_offset = 370; }; __fs_net_device_mtu = { Virt_mem_types.field_available = true; field_offset = 372; }; __fs_net_device_perm_addr = { Virt_mem_types.field_available = true; field_offset = 392; }; __fs_net_device_addr_len = { Virt_mem_types.field_available = true; field_offset = 424; }; __fs_net_device_ip_ptr = { Virt_mem_types.field_available = true; field_offset = 480; }; __fs_net_device_ip6_ptr = { Virt_mem_types.field_available = true; field_offset = 496; }; __fs_net_device_next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_10 = { __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_flags = { Virt_mem_types.field_available = true; field_offset = 92; }; __fs_net_device_operstate = { Virt_mem_types.field_available = true; field_offset = 102; }; __fs_net_device_mtu = { Virt_mem_types.field_available = true; field_offset = 104; }; __fs_net_device_perm_addr = { Virt_mem_types.field_available = true; field_offset = 116; }; __fs_net_device_addr_len = { Virt_mem_types.field_available = true; field_offset = 148; }; __fs_net_device_ip_ptr = { Virt_mem_types.field_available = true; field_offset = 172; }; __fs_net_device_ip6_ptr = { Virt_mem_types.field_available = true; field_offset = 180; }; __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 = { __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_flags = { Virt_mem_types.field_available = true; field_offset = 92; }; __fs_net_device_operstate = { Virt_mem_types.field_available = true; field_offset = 102; }; __fs_net_device_mtu = { Virt_mem_types.field_available = true; field_offset = 104; }; __fs_net_device_perm_addr = { Virt_mem_types.field_available = true; field_offset = 116; }; __fs_net_device_addr_len = { Virt_mem_types.field_available = true; field_offset = 148; }; __fs_net_device_ip_ptr = { Virt_mem_types.field_available = true; field_offset = 172; }; __fs_net_device_ip6_ptr = { Virt_mem_types.field_available = true; field_offset = 180; }; __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 = { __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_flags = { Virt_mem_types.field_available = true; field_offset = 152; }; __fs_net_device_operstate = { Virt_mem_types.field_available = true; field_offset = 162; }; __fs_net_device_mtu = { Virt_mem_types.field_available = true; field_offset = 164; }; __fs_net_device_perm_addr = { Virt_mem_types.field_available = true; field_offset = 184; }; __fs_net_device_addr_len = { Virt_mem_types.field_available = true; field_offset = 216; }; __fs_net_device_ip_ptr = { Virt_mem_types.field_available = true; field_offset = 256; }; __fs_net_device_ip6_ptr = { Virt_mem_types.field_available = true; field_offset = 272; }; __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_13 = { __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_flags = { Virt_mem_types.field_available = true; field_offset = 152; }; __fs_net_device_operstate = { Virt_mem_types.field_available = true; field_offset = 162; }; __fs_net_device_mtu = { Virt_mem_types.field_available = true; field_offset = 164; }; __fs_net_device_perm_addr = { Virt_mem_types.field_available = true; field_offset = 184; }; __fs_net_device_addr_len = { Virt_mem_types.field_available = true; field_offset = 216; }; __fs_net_device_ip_ptr = { Virt_mem_types.field_available = true; field_offset = 256; }; __fs_net_device_ip6_ptr = { Virt_mem_types.field_available = true; field_offset = 272; }; __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_14 = { __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_flags = { Virt_mem_types.field_available = true; field_offset = 88; }; __fs_net_device_operstate = { Virt_mem_types.field_available = true; field_offset = 98; }; __fs_net_device_mtu = { Virt_mem_types.field_available = true; field_offset = 100; }; __fs_net_device_perm_addr = { Virt_mem_types.field_available = true; field_offset = 112; }; __fs_net_device_addr_len = { Virt_mem_types.field_available = true; field_offset = 144; }; __fs_net_device_ip_ptr = { Virt_mem_types.field_available = true; field_offset = 168; }; __fs_net_device_ip6_ptr = { Virt_mem_types.field_available = true; field_offset = 176; }; __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_15 = { __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_flags = { Virt_mem_types.field_available = true; field_offset = 144; }; __fs_net_device_operstate = { Virt_mem_types.field_available = true; field_offset = 154; }; __fs_net_device_mtu = { Virt_mem_types.field_available = true; field_offset = 156; }; __fs_net_device_perm_addr = { Virt_mem_types.field_available = true; field_offset = 176; }; __fs_net_device_addr_len = { Virt_mem_types.field_available = true; field_offset = 208; }; __fs_net_device_ip_ptr = { Virt_mem_types.field_available = true; field_offset = 248; }; __fs_net_device_ip6_ptr = { Virt_mem_types.field_available = true; field_offset = 264; }; __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_16 = { __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_flags = { Virt_mem_types.field_available = true; field_offset = 184; }; __fs_net_device_operstate = { Virt_mem_types.field_available = true; field_offset = 194; }; __fs_net_device_mtu = { Virt_mem_types.field_available = true; field_offset = 196; }; __fs_net_device_perm_addr = { Virt_mem_types.field_available = true; field_offset = 208; }; __fs_net_device_addr_len = { Virt_mem_types.field_available = true; field_offset = 240; }; __fs_net_device_ip_ptr = { Virt_mem_types.field_available = true; field_offset = 264; }; __fs_net_device_ip6_ptr = { Virt_mem_types.field_available = true; field_offset = 272; }; __fs_net_device_next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_17 = { __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_flags = { Virt_mem_types.field_available = true; field_offset = 336; }; __fs_net_device_operstate = { Virt_mem_types.field_available = true; field_offset = 346; }; __fs_net_device_mtu = { Virt_mem_types.field_available = true; field_offset = 348; }; __fs_net_device_perm_addr = { Virt_mem_types.field_available = true; field_offset = 368; }; __fs_net_device_addr_len = { Virt_mem_types.field_available = true; field_offset = 400; }; __fs_net_device_ip_ptr = { Virt_mem_types.field_available = true; field_offset = 440; }; __fs_net_device_ip6_ptr = { Virt_mem_types.field_available = true; field_offset = 456; }; __fs_net_device_next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_18 = { __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_flags = { Virt_mem_types.field_available = true; field_offset = 336; }; __fs_net_device_operstate = { Virt_mem_types.field_available = true; field_offset = 346; }; __fs_net_device_mtu = { Virt_mem_types.field_available = true; field_offset = 348; }; __fs_net_device_perm_addr = { Virt_mem_types.field_available = true; field_offset = 368; }; __fs_net_device_addr_len = { Virt_mem_types.field_available = true; field_offset = 400; }; __fs_net_device_ip_ptr = { Virt_mem_types.field_available = true; field_offset = 440; }; __fs_net_device_ip6_ptr = { Virt_mem_types.field_available = true; field_offset = 456; }; __fs_net_device_next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_19 = { __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_flags = { Virt_mem_types.field_available = true; field_offset = 184; }; __fs_net_device_operstate = { Virt_mem_types.field_available = true; field_offset = 194; }; __fs_net_device_mtu = { Virt_mem_types.field_available = true; field_offset = 196; }; __fs_net_device_perm_addr = { Virt_mem_types.field_available = true; field_offset = 208; }; __fs_net_device_addr_len = { Virt_mem_types.field_available = true; field_offset = 240; }; __fs_net_device_ip_ptr = { Virt_mem_types.field_available = true; field_offset = 276; }; __fs_net_device_ip6_ptr = { Virt_mem_types.field_available = true; field_offset = 284; }; __fs_net_device_next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_20 = { __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_flags = { Virt_mem_types.field_available = true; field_offset = 336; }; __fs_net_device_operstate = { Virt_mem_types.field_available = true; field_offset = 346; }; __fs_net_device_mtu = { Virt_mem_types.field_available = true; field_offset = 348; }; __fs_net_device_perm_addr = { Virt_mem_types.field_available = true; field_offset = 368; }; __fs_net_device_addr_len = { Virt_mem_types.field_available = true; field_offset = 400; }; __fs_net_device_ip_ptr = { Virt_mem_types.field_available = true; field_offset = 456; }; __fs_net_device_ip6_ptr = { Virt_mem_types.field_available = true; field_offset = 472; }; __fs_net_device_next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_21 = { __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_flags = { Virt_mem_types.field_available = true; field_offset = 196; }; __fs_net_device_operstate = { Virt_mem_types.field_available = true; field_offset = 206; }; __fs_net_device_mtu = { Virt_mem_types.field_available = true; field_offset = 208; }; __fs_net_device_perm_addr = { Virt_mem_types.field_available = true; field_offset = 220; }; __fs_net_device_addr_len = { Virt_mem_types.field_available = true; field_offset = 252; }; __fs_net_device_ip_ptr = { Virt_mem_types.field_available = true; field_offset = 288; }; __fs_net_device_ip6_ptr = { Virt_mem_types.field_available = true; field_offset = 296; }; __fs_net_device_next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_22 = { __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_flags = { Virt_mem_types.field_available = true; field_offset = 360; }; __fs_net_device_operstate = { Virt_mem_types.field_available = true; field_offset = 370; }; __fs_net_device_mtu = { Virt_mem_types.field_available = true; field_offset = 372; }; __fs_net_device_perm_addr = { Virt_mem_types.field_available = true; field_offset = 392; }; __fs_net_device_addr_len = { Virt_mem_types.field_available = true; field_offset = 424; }; __fs_net_device_ip_ptr = { Virt_mem_types.field_available = true; field_offset = 480; }; __fs_net_device_ip6_ptr = { Virt_mem_types.field_available = true; field_offset = 496; }; __fs_net_device_next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_23 = { __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_flags = { Virt_mem_types.field_available = true; field_offset = 196; }; __fs_net_device_operstate = { Virt_mem_types.field_available = true; field_offset = 206; }; __fs_net_device_mtu = { Virt_mem_types.field_available = true; field_offset = 208; }; __fs_net_device_perm_addr = { Virt_mem_types.field_available = true; field_offset = 224; }; __fs_net_device_addr_len = { Virt_mem_types.field_available = true; field_offset = 256; }; __fs_net_device_ip_ptr = { Virt_mem_types.field_available = true; field_offset = 292; }; __fs_net_device_ip6_ptr = { Virt_mem_types.field_available = true; field_offset = 300; }; __fs_net_device_next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_24 = { __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_flags = { Virt_mem_types.field_available = true; field_offset = 192; }; __fs_net_device_operstate = { Virt_mem_types.field_available = true; field_offset = 202; }; __fs_net_device_mtu = { Virt_mem_types.field_available = true; field_offset = 204; }; __fs_net_device_perm_addr = { Virt_mem_types.field_available = true; field_offset = 220; }; __fs_net_device_addr_len = { Virt_mem_types.field_available = true; field_offset = 252; }; __fs_net_device_ip_ptr = { Virt_mem_types.field_available = true; field_offset = 304; }; __fs_net_device_ip6_ptr = { Virt_mem_types.field_available = true; field_offset = 312; }; __fs_net_device_next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_25 = { __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_flags = { Virt_mem_types.field_available = true; field_offset = 352; }; __fs_net_device_operstate = { Virt_mem_types.field_available = true; field_offset = 362; }; __fs_net_device_mtu = { Virt_mem_types.field_available = true; field_offset = 364; }; __fs_net_device_perm_addr = { Virt_mem_types.field_available = true; field_offset = 384; }; __fs_net_device_addr_len = { Virt_mem_types.field_available = true; field_offset = 416; }; __fs_net_device_ip_ptr = { Virt_mem_types.field_available = true; field_offset = 528; }; __fs_net_device_ip6_ptr = { Virt_mem_types.field_available = true; field_offset = 544; }; __fs_net_device_next = { Virt_mem_types.field_available = false; field_offset = (-1); }; };; let fieldsig_26 = { __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_flags = { Virt_mem_types.field_available = true; field_offset = 352; }; __fs_net_device_operstate = { Virt_mem_types.field_available = true; field_offset = 362; }; __fs_net_device_mtu = { Virt_mem_types.field_available = true; field_offset = 364; }; __fs_net_device_perm_addr = { Virt_mem_types.field_available = true; field_offset = 384; }; __fs_net_device_addr_len = { Virt_mem_types.field_available = true; field_offset = 416; }; __fs_net_device_ip_ptr = { Virt_mem_types.field_available = true; field_offset = 528; }; __fs_net_device_ip6_ptr = { Virt_mem_types.field_available = true; field_offset = 544; }; __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_flags : zero+32 : offset(704), littleendian; net_device_operstate : zero+8 : offset(784), littleendian; net_device_mtu : zero+32 : offset(800), littleendian; net_device_perm_addr : 256 : offset(896), string; net_device_addr_len : zero+8 : offset(1152), littleendian; net_device_ip_ptr : zero+32 : offset(1344), littleendian; net_device_ip6_ptr : zero+32 : offset(1408), littleendian } -> { net_device_name = net_device_name; net_device_next = Some net_device_next; net_device_flags = net_device_flags; net_device_operstate = net_device_operstate; net_device_mtu = net_device_mtu; net_device_perm_addr = net_device_perm_addr; net_device_addr_len = net_device_addr_len; net_device_ip_ptr = net_device_ip_ptr; net_device_ip6_ptr = net_device_ip6_ptr; 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_flags : zero+32 : offset(1472), littleendian; net_device_operstate : zero+8 : offset(1552), littleendian; net_device_mtu : zero+32 : offset(1568), littleendian; net_device_perm_addr : 256 : offset(1664), string; net_device_addr_len : zero+8 : offset(1920), littleendian; net_device_ip_ptr : zero+32 : offset(2208), littleendian; net_device_ip6_ptr : zero+32 : offset(2272), littleendian } -> { 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_flags = net_device_flags; net_device_operstate = net_device_operstate; net_device_mtu = net_device_mtu; net_device_perm_addr = net_device_perm_addr; net_device_addr_len = net_device_addr_len; net_device_ip_ptr = net_device_ip_ptr; net_device_ip6_ptr = net_device_ip6_ptr; 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_flags : zero+32 : offset(1568), littleendian; net_device_operstate : zero+8 : offset(1648), littleendian; net_device_mtu : zero+32 : offset(1664), littleendian; net_device_perm_addr : 256 : offset(1760), string; net_device_addr_len : zero+8 : offset(2016), littleendian; net_device_ip_ptr : zero+32 : offset(2304), littleendian; net_device_ip6_ptr : zero+32 : offset(2368), littleendian } -> { 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_flags = net_device_flags; net_device_operstate = net_device_operstate; net_device_mtu = net_device_mtu; net_device_perm_addr = net_device_perm_addr; net_device_addr_len = net_device_addr_len; net_device_ip_ptr = net_device_ip_ptr; net_device_ip6_ptr = net_device_ip6_ptr; 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_flags : zero+32 : offset(1568), littleendian; net_device_operstate : zero+8 : offset(1648), littleendian; net_device_mtu : zero+32 : offset(1664), littleendian; net_device_perm_addr : 256 : offset(1792), string; net_device_addr_len : zero+8 : offset(2048), littleendian; net_device_ip_ptr : zero+32 : offset(2336), littleendian; net_device_ip6_ptr : zero+32 : offset(2400), littleendian } -> { 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_flags = net_device_flags; net_device_operstate = net_device_operstate; net_device_mtu = net_device_mtu; net_device_perm_addr = net_device_perm_addr; net_device_addr_len = net_device_addr_len; net_device_ip_ptr = net_device_ip_ptr; net_device_ip6_ptr = net_device_ip6_ptr; 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_flags : zero+32 : offset(1472), littleendian; net_device_operstate : zero+8 : offset(1552), littleendian; net_device_mtu : zero+32 : offset(1568), littleendian; net_device_perm_addr : 256 : offset(1664), string; net_device_addr_len : zero+8 : offset(1920), littleendian; net_device_ip_ptr : zero+32 : offset(2112), littleendian; net_device_ip6_ptr : zero+32 : offset(2176), littleendian } -> { 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_flags = net_device_flags; net_device_operstate = net_device_operstate; net_device_mtu = net_device_mtu; net_device_perm_addr = net_device_perm_addr; net_device_addr_len = net_device_addr_len; net_device_ip_ptr = net_device_ip_ptr; net_device_ip6_ptr = net_device_ip6_ptr; 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_dev_list'next : zero+32 : offset(384), littleendian; net_device_dev_list'prev : zero+32 : offset(416), littleendian; net_device_flags : zero+32 : offset(1536), littleendian; net_device_operstate : zero+8 : offset(1616), littleendian; net_device_mtu : zero+32 : offset(1632), littleendian; net_device_perm_addr : 256 : offset(1760), string; net_device_addr_len : zero+8 : offset(2016), littleendian; net_device_ip_ptr : zero+32 : offset(2560), littleendian; net_device_ip6_ptr : zero+32 : offset(2624), littleendian } -> { 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_flags = net_device_flags; net_device_operstate = net_device_operstate; net_device_mtu = net_device_mtu; net_device_perm_addr = net_device_perm_addr; net_device_addr_len = net_device_addr_len; net_device_ip_ptr = net_device_ip_ptr; net_device_ip6_ptr = net_device_ip6_ptr; net_device_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_next : zero+64 : offset(576), littleendian; net_device_flags : zero+32 : offset(1152), littleendian; net_device_operstate : zero+8 : offset(1232), littleendian; net_device_mtu : zero+32 : offset(1248), littleendian; net_device_perm_addr : 256 : offset(1408), string; net_device_addr_len : zero+8 : offset(1664), littleendian; net_device_ip_ptr : zero+64 : offset(1984), littleendian; net_device_ip6_ptr : zero+64 : offset(2112), littleendian } -> { net_device_name = net_device_name; net_device_next = Some net_device_next; net_device_flags = net_device_flags; net_device_operstate = net_device_operstate; net_device_mtu = net_device_mtu; net_device_perm_addr = net_device_perm_addr; net_device_addr_len = net_device_addr_len; net_device_ip_ptr = net_device_ip_ptr; net_device_ip6_ptr = net_device_ip6_ptr; net_device_dev_list'prev = None; net_device_dev_list'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_flags : zero+32 : offset(2688), littleendian; net_device_operstate : zero+8 : offset(2768), littleendian; net_device_mtu : zero+32 : offset(2784), littleendian; net_device_perm_addr : 256 : offset(2944), string; net_device_addr_len : zero+8 : offset(3200), littleendian; net_device_ip_ptr : zero+64 : offset(3648), littleendian; net_device_ip6_ptr : zero+64 : offset(3776), littleendian } -> { 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_flags = net_device_flags; net_device_operstate = net_device_operstate; net_device_mtu = net_device_mtu; net_device_perm_addr = net_device_perm_addr; net_device_addr_len = net_device_addr_len; net_device_ip_ptr = net_device_ip_ptr; net_device_ip6_ptr = net_device_ip6_ptr; 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_dev_list'next : zero+64 : offset(576), littleendian; net_device_dev_list'prev : zero+64 : offset(640), littleendian; net_device_flags : zero+32 : offset(2880), littleendian; net_device_operstate : zero+8 : offset(2960), littleendian; net_device_mtu : zero+32 : offset(2976), littleendian; net_device_perm_addr : 256 : offset(3136), string; net_device_addr_len : zero+8 : offset(3392), littleendian; net_device_ip_ptr : zero+64 : offset(3840), littleendian; net_device_ip6_ptr : zero+64 : offset(3968), littleendian } -> { 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_flags = net_device_flags; net_device_operstate = net_device_operstate; net_device_mtu = net_device_mtu; net_device_perm_addr = net_device_perm_addr; net_device_addr_len = net_device_addr_len; net_device_ip_ptr = net_device_ip_ptr; net_device_ip6_ptr = net_device_ip6_ptr; net_device_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+32 : offset(384), littleendian; net_device_flags : zero+32 : offset(736), littleendian; net_device_operstate : zero+8 : offset(816), littleendian; net_device_mtu : zero+32 : offset(832), littleendian; net_device_perm_addr : 256 : offset(928), string; net_device_addr_len : zero+8 : offset(1184), littleendian; net_device_ip_ptr : zero+32 : offset(1376), littleendian; net_device_ip6_ptr : zero+32 : offset(1440), littleendian } -> { net_device_name = net_device_name; net_device_next = Some net_device_next; net_device_flags = net_device_flags; net_device_operstate = net_device_operstate; net_device_mtu = net_device_mtu; net_device_perm_addr = net_device_perm_addr; net_device_addr_len = net_device_addr_len; net_device_ip_ptr = net_device_ip_ptr; net_device_ip6_ptr = net_device_ip6_ptr; 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_flags : zero+32 : offset(736), bigendian; net_device_operstate : zero+8 : offset(816), bigendian; net_device_mtu : zero+32 : offset(832), bigendian; net_device_perm_addr : 256 : offset(928), string; net_device_addr_len : zero+8 : offset(1184), bigendian; net_device_ip_ptr : zero+32 : offset(1376), bigendian; net_device_ip6_ptr : zero+32 : offset(1440), bigendian } -> { net_device_name = net_device_name; net_device_next = Some net_device_next; net_device_flags = net_device_flags; net_device_operstate = net_device_operstate; net_device_mtu = net_device_mtu; net_device_perm_addr = net_device_perm_addr; net_device_addr_len = net_device_addr_len; net_device_ip_ptr = net_device_ip_ptr; net_device_ip6_ptr = net_device_ip6_ptr; 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_next : zero+64 : offset(576), bigendian; net_device_flags : zero+32 : offset(1216), bigendian; net_device_operstate : zero+8 : offset(1296), bigendian; net_device_mtu : zero+32 : offset(1312), bigendian; net_device_perm_addr : 256 : offset(1472), string; net_device_addr_len : zero+8 : offset(1728), bigendian; net_device_ip_ptr : zero+64 : offset(2048), bigendian; net_device_ip6_ptr : zero+64 : offset(2176), bigendian } -> { net_device_name = net_device_name; net_device_next = Some net_device_next; net_device_flags = net_device_flags; net_device_operstate = net_device_operstate; net_device_mtu = net_device_mtu; net_device_perm_addr = net_device_perm_addr; net_device_addr_len = net_device_addr_len; net_device_ip_ptr = net_device_ip_ptr; net_device_ip6_ptr = net_device_ip6_ptr; net_device_dev_list'prev = None; net_device_dev_list'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_next : zero+64 : offset(576), littleendian; net_device_flags : zero+32 : offset(1216), littleendian; net_device_operstate : zero+8 : offset(1296), littleendian; net_device_mtu : zero+32 : offset(1312), littleendian; net_device_perm_addr : 256 : offset(1472), string; net_device_addr_len : zero+8 : offset(1728), littleendian; net_device_ip_ptr : zero+64 : offset(2048), littleendian; net_device_ip6_ptr : zero+64 : offset(2176), littleendian } -> { net_device_name = net_device_name; net_device_next = Some net_device_next; net_device_flags = net_device_flags; net_device_operstate = net_device_operstate; net_device_mtu = net_device_mtu; net_device_perm_addr = net_device_perm_addr; net_device_addr_len = net_device_addr_len; net_device_ip_ptr = net_device_ip_ptr; net_device_ip6_ptr = net_device_ip6_ptr; net_device_dev_list'prev = None; net_device_dev_list'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_next : zero+32 : offset(384), bigendian; net_device_flags : zero+32 : offset(704), bigendian; net_device_operstate : zero+8 : offset(784), bigendian; net_device_mtu : zero+32 : offset(800), bigendian; net_device_perm_addr : 256 : offset(896), string; net_device_addr_len : zero+8 : offset(1152), bigendian; net_device_ip_ptr : zero+32 : offset(1344), bigendian; net_device_ip6_ptr : zero+32 : offset(1408), bigendian } -> { net_device_name = net_device_name; net_device_next = Some net_device_next; net_device_flags = net_device_flags; net_device_operstate = net_device_operstate; net_device_mtu = net_device_mtu; net_device_perm_addr = net_device_perm_addr; net_device_addr_len = net_device_addr_len; net_device_ip_ptr = net_device_ip_ptr; net_device_ip6_ptr = net_device_ip6_ptr; net_device_dev_list'prev = None; net_device_dev_list'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_next : zero+64 : offset(576), bigendian; net_device_flags : zero+32 : offset(1152), bigendian; net_device_operstate : zero+8 : offset(1232), bigendian; net_device_mtu : zero+32 : offset(1248), bigendian; net_device_perm_addr : 256 : offset(1408), string; net_device_addr_len : zero+8 : offset(1664), bigendian; net_device_ip_ptr : zero+64 : offset(1984), bigendian; net_device_ip6_ptr : zero+64 : offset(2112), bigendian } -> { net_device_name = net_device_name; net_device_next = Some net_device_next; net_device_flags = net_device_flags; net_device_operstate = net_device_operstate; net_device_mtu = net_device_mtu; net_device_perm_addr = net_device_perm_addr; net_device_addr_len = net_device_addr_len; net_device_ip_ptr = net_device_ip_ptr; net_device_ip6_ptr = net_device_ip6_ptr; net_device_dev_list'prev = None; net_device_dev_list'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+32 : offset(384), bigendian; net_device_dev_list'prev : zero+32 : offset(416), bigendian; net_device_flags : zero+32 : offset(1472), bigendian; net_device_operstate : zero+8 : offset(1552), bigendian; net_device_mtu : zero+32 : offset(1568), bigendian; net_device_perm_addr : 256 : offset(1664), string; net_device_addr_len : zero+8 : offset(1920), bigendian; net_device_ip_ptr : zero+32 : offset(2112), bigendian; net_device_ip6_ptr : zero+32 : offset(2176), bigendian } -> { 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_flags = net_device_flags; net_device_operstate = net_device_operstate; net_device_mtu = net_device_mtu; net_device_perm_addr = net_device_perm_addr; net_device_addr_len = net_device_addr_len; net_device_ip_ptr = net_device_ip_ptr; net_device_ip6_ptr = net_device_ip6_ptr; 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+64 : offset(576), bigendian; net_device_dev_list'prev : zero+64 : offset(640), bigendian; net_device_flags : zero+32 : offset(2688), bigendian; net_device_operstate : zero+8 : offset(2768), bigendian; net_device_mtu : zero+32 : offset(2784), bigendian; net_device_perm_addr : 256 : offset(2944), string; net_device_addr_len : zero+8 : offset(3200), bigendian; net_device_ip_ptr : zero+64 : offset(3520), bigendian; net_device_ip6_ptr : zero+64 : offset(3648), bigendian } -> { 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_flags = net_device_flags; net_device_operstate = net_device_operstate; net_device_mtu = net_device_mtu; net_device_perm_addr = net_device_perm_addr; net_device_addr_len = net_device_addr_len; net_device_ip_ptr = net_device_ip_ptr; net_device_ip6_ptr = net_device_ip6_ptr; 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+64 : offset(576), littleendian; net_device_dev_list'prev : zero+64 : offset(640), littleendian; net_device_flags : zero+32 : offset(2688), littleendian; net_device_operstate : zero+8 : offset(2768), littleendian; net_device_mtu : zero+32 : offset(2784), littleendian; net_device_perm_addr : 256 : offset(2944), string; net_device_addr_len : zero+8 : offset(3200), littleendian; net_device_ip_ptr : zero+64 : offset(3520), littleendian; net_device_ip6_ptr : zero+64 : offset(3648), littleendian } -> { 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_flags = net_device_flags; net_device_operstate = net_device_operstate; net_device_mtu = net_device_mtu; net_device_perm_addr = net_device_perm_addr; net_device_addr_len = net_device_addr_len; net_device_ip_ptr = net_device_ip_ptr; net_device_ip6_ptr = net_device_ip6_ptr; 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+32 : offset(384), bigendian; net_device_dev_list'prev : zero+32 : offset(416), bigendian; net_device_flags : zero+32 : offset(1472), bigendian; net_device_operstate : zero+8 : offset(1552), bigendian; net_device_mtu : zero+32 : offset(1568), bigendian; net_device_perm_addr : 256 : offset(1664), string; net_device_addr_len : zero+8 : offset(1920), bigendian; net_device_ip_ptr : zero+32 : offset(2208), bigendian; net_device_ip6_ptr : zero+32 : offset(2272), bigendian } -> { 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_flags = net_device_flags; net_device_operstate = net_device_operstate; net_device_mtu = net_device_mtu; net_device_perm_addr = net_device_perm_addr; net_device_addr_len = net_device_addr_len; net_device_ip_ptr = net_device_ip_ptr; net_device_ip6_ptr = net_device_ip6_ptr; 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), bigendian; net_device_dev_list'prev : zero+64 : offset(640), bigendian; net_device_flags : zero+32 : offset(2688), bigendian; net_device_operstate : zero+8 : offset(2768), bigendian; net_device_mtu : zero+32 : offset(2784), bigendian; net_device_perm_addr : 256 : offset(2944), string; net_device_addr_len : zero+8 : offset(3200), bigendian; net_device_ip_ptr : zero+64 : offset(3648), bigendian; net_device_ip6_ptr : zero+64 : offset(3776), bigendian } -> { 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_flags = net_device_flags; net_device_operstate = net_device_operstate; net_device_mtu = net_device_mtu; net_device_perm_addr = net_device_perm_addr; net_device_addr_len = net_device_addr_len; net_device_ip_ptr = net_device_ip_ptr; net_device_ip6_ptr = net_device_ip6_ptr; 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_dev_list'next : zero+32 : offset(384), bigendian; net_device_dev_list'prev : zero+32 : offset(416), bigendian; net_device_flags : zero+32 : offset(1568), bigendian; net_device_operstate : zero+8 : offset(1648), bigendian; net_device_mtu : zero+32 : offset(1664), bigendian; net_device_perm_addr : 256 : offset(1760), string; net_device_addr_len : zero+8 : offset(2016), bigendian; net_device_ip_ptr : zero+32 : offset(2304), bigendian; net_device_ip6_ptr : zero+32 : offset(2368), bigendian } -> { 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_flags = net_device_flags; net_device_operstate = net_device_operstate; net_device_mtu = net_device_mtu; net_device_perm_addr = net_device_perm_addr; net_device_addr_len = net_device_addr_len; net_device_ip_ptr = net_device_ip_ptr; net_device_ip6_ptr = net_device_ip6_ptr; net_device_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_dev_list'next : zero+64 : offset(576), bigendian; net_device_dev_list'prev : zero+64 : offset(640), bigendian; net_device_flags : zero+32 : offset(2880), bigendian; net_device_operstate : zero+8 : offset(2960), bigendian; net_device_mtu : zero+32 : offset(2976), bigendian; net_device_perm_addr : 256 : offset(3136), string; net_device_addr_len : zero+8 : offset(3392), bigendian; net_device_ip_ptr : zero+64 : offset(3840), bigendian; net_device_ip6_ptr : zero+64 : offset(3968), bigendian } -> { 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_flags = net_device_flags; net_device_operstate = net_device_operstate; net_device_mtu = net_device_mtu; net_device_perm_addr = net_device_perm_addr; net_device_addr_len = net_device_addr_len; net_device_ip_ptr = net_device_ip_ptr; net_device_ip6_ptr = net_device_ip6_ptr; net_device_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_dev_list'next : zero+32 : offset(384), bigendian; net_device_dev_list'prev : zero+32 : offset(416), bigendian; net_device_flags : zero+32 : offset(1568), bigendian; net_device_operstate : zero+8 : offset(1648), bigendian; net_device_mtu : zero+32 : offset(1664), bigendian; net_device_perm_addr : 256 : offset(1792), string; net_device_addr_len : zero+8 : offset(2048), bigendian; net_device_ip_ptr : zero+32 : offset(2336), bigendian; net_device_ip6_ptr : zero+32 : offset(2400), bigendian } -> { 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_flags = net_device_flags; net_device_operstate = net_device_operstate; net_device_mtu = net_device_mtu; net_device_perm_addr = net_device_perm_addr; net_device_addr_len = net_device_addr_len; net_device_ip_ptr = net_device_ip_ptr; net_device_ip6_ptr = net_device_ip6_ptr; net_device_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_dev_list'next : zero+32 : offset(384), bigendian; net_device_dev_list'prev : zero+32 : offset(416), bigendian; net_device_flags : zero+32 : offset(1536), bigendian; net_device_operstate : zero+8 : offset(1616), bigendian; net_device_mtu : zero+32 : offset(1632), bigendian; net_device_perm_addr : 256 : offset(1760), string; net_device_addr_len : zero+8 : offset(2016), bigendian; net_device_ip_ptr : zero+32 : offset(2432), bigendian; net_device_ip6_ptr : zero+32 : offset(2496), bigendian } -> { 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_flags = net_device_flags; net_device_operstate = net_device_operstate; net_device_mtu = net_device_mtu; net_device_perm_addr = net_device_perm_addr; net_device_addr_len = net_device_addr_len; net_device_ip_ptr = net_device_ip_ptr; net_device_ip6_ptr = net_device_ip6_ptr; net_device_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+64 : offset(576), bigendian; net_device_dev_list'prev : zero+64 : offset(640), bigendian; net_device_flags : zero+32 : offset(2816), bigendian; net_device_operstate : zero+8 : offset(2896), bigendian; net_device_mtu : zero+32 : offset(2912), bigendian; net_device_perm_addr : 256 : offset(3072), string; net_device_addr_len : zero+8 : offset(3328), bigendian; net_device_ip_ptr : zero+64 : offset(4224), bigendian; net_device_ip6_ptr : zero+64 : offset(4352), bigendian } -> { 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_flags = net_device_flags; net_device_operstate = net_device_operstate; net_device_mtu = net_device_mtu; net_device_perm_addr = net_device_perm_addr; net_device_addr_len = net_device_addr_len; net_device_ip_ptr = net_device_ip_ptr; net_device_ip6_ptr = net_device_ip6_ptr; net_device_next = None } | { _ } -> raise (Virt_mem_types.ParseError (struct_name, "parser_25", match_err));; let parser_26 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_flags : zero+32 : offset(2816), littleendian; net_device_operstate : zero+8 : offset(2896), littleendian; net_device_mtu : zero+32 : offset(2912), littleendian; net_device_perm_addr : 256 : offset(3072), string; net_device_addr_len : zero+8 : offset(3328), littleendian; net_device_ip_ptr : zero+64 : offset(4224), littleendian; net_device_ip6_ptr : zero+64 : offset(4352), littleendian } -> { 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_flags = net_device_flags; net_device_operstate = net_device_operstate; net_device_mtu = net_device_mtu; net_device_perm_addr = net_device_perm_addr; net_device_addr_len = net_device_addr_len; net_device_ip_ptr = net_device_ip_ptr; net_device_ip6_ptr = net_device_ip6_ptr; net_device_next = None } | { _ } -> raise (Virt_mem_types.ParseError (struct_name, "parser_26", 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, 1380, fieldsig_3);; let map = StringMap.add "2.6.25.14-69.fc8.i686" v map;; let v = (parser_4, 1384, fieldsig_4);; 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_5, 1408, fieldsig_5);; let map = StringMap.add "2.6.21-1.3209.fc8.i686" v map;; let v = (parser_5, 1408, fieldsig_5);; let map = StringMap.add "2.6.21-1.3218.fc8.i686" v map;; let v = (parser_5, 1408, fieldsig_5);; 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_5, 1408, fieldsig_5);; let map = StringMap.add "2.6.21-1.3234.fc8.i686" v map;; let v = (parser_5, 1408, fieldsig_5);; let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;; let v = (parser_5, 1408, fieldsig_5);; let map = StringMap.add "2.6.21-1.3238.fc8.i686" v map;; let v = (parser_5, 1408, fieldsig_5);; let map = StringMap.add "2.6.21-1.3242.fc8.i686" v map;; let v = (parser_5, 1408, fieldsig_5);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;; let v = (parser_5, 1408, fieldsig_5);; 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_3, 1244, fieldsig_3);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;; let v = (parser_3, 1244, fieldsig_3);; let map = StringMap.add "2.6.24-7.fc9.i686" v map;; let v = (parser_3, 1244, fieldsig_3);; let map = StringMap.add "2.6.24-9.fc9.i686" v map;; let v = (parser_3, 1212, fieldsig_3);; let map = StringMap.add "2.6.25.14-69.fc8.i686" v map;; let v = (parser_4, 1216, fieldsig_4);; let map = StringMap.add "2.6.26.1-9.fc9.i686" v map;; let v = (parser_4, 1216, fieldsig_4);; let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;; let v = (parser_6, 1388, fieldsig_6);; let map = StringMap.add "2.6.27-0.225.rc1.git5.fc10.i686" v map;; let v = (parser_6, 1388, fieldsig_6);; let map = StringMap.add "2.6.27-0.226.rc1.git5.fc10.i686" v map;; let v = (parser_6, 1388, fieldsig_6);; let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.i686" v map;; let v = (parser_6, 1388, fieldsig_6);; let map = StringMap.add "2.6.27-0.237.rc2.fc10.i686" v map;; let v = (parser_6, 1388, fieldsig_6);; let map = StringMap.add "2.6.27-0.238.rc2.fc10.i686" v map;; let v = (parser_6, 1388, fieldsig_6);; let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.i686" v map;; let v = (parser_6, 1388, fieldsig_6);; let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.i686" v map;; let v = (parser_4, 1384, fieldsig_4);; let map = StringMap.add "2.6.26.1-9.fc9.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_7, 1540, fieldsig_7);; 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_7, 2196, fieldsig_7);; 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_7, 2196, fieldsig_7);; 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_7, 2196, fieldsig_7);; 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_8, 2392, fieldsig_8);; let map = StringMap.add "2.6.23.14-135.fc8.x86_64" v map;; let v = (parser_8, 2392, fieldsig_8);; let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;; let v = (parser_3, 1380, fieldsig_3);; let map = StringMap.add "2.6.25.14-69.fc8.i686" v map;; let v = (parser_9, 2296, fieldsig_9);; let map = StringMap.add "2.6.25.14-69.fc8.x86_64" v map;; let v = (parser_4, 1384, fieldsig_4);; let map = StringMap.add "2.6.26.1-9.fc9.i686" v map;; let v = (parser_9, 2304, fieldsig_9);; let map = StringMap.add "2.6.26.1-9.fc9.x86_64" v map;; let v = (parser_4, 1384, fieldsig_4);; let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;; let v = (parser_9, 2304, fieldsig_9);; let map = StringMap.add "2.6.26.2-2.fc8.x86_64" v map;; let v = (parser_10, 912, fieldsig_10);; let map = StringMap.add "2.6.18-1.2798.fc6.i586" v map;; let v = (parser_10, 912, fieldsig_10);; let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;; let v = (parser_11, 672, fieldsig_11);; let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;; let v = (parser_12, 1260, fieldsig_12);; let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;; let v = (parser_12, 1260, fieldsig_12);; let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;; let v = (parser_13, 1260, fieldsig_13);; 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_14, 668, fieldsig_14);; let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;; let v = (parser_15, 1260, fieldsig_15);; let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;; let v = (parser_7, 1260, fieldsig_7);; 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_14, 996, fieldsig_14);; let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;; let v = (parser_15, 1924, fieldsig_15);; let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;; let v = (parser_7, 2196, fieldsig_7);; 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_14, 996, fieldsig_14);; let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;; let v = (parser_15, 1924, fieldsig_15);; let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;; let v = (parser_7, 2196, fieldsig_7);; 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_14, 996, fieldsig_14);; let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;; let v = (parser_15, 1924, fieldsig_15);; let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;; let v = (parser_7, 2196, fieldsig_7);; 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_14, 996, fieldsig_14);; let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;; let v = (parser_15, 1924, fieldsig_15);; let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;; let v = (parser_7, 2196, fieldsig_7);; 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_14, 996, fieldsig_14);; let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;; let v = (parser_15, 1924, fieldsig_15);; let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;; let v = (parser_7, 1900, fieldsig_7);; 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_14, 996, fieldsig_14);; let map = StringMap.add "2.6.21-1.3190.fc7.ppc" v map;; let v = (parser_15, 1924, fieldsig_15);; let map = StringMap.add "2.6.21-1.3190.fc7.ppc64" v map;; let v = (parser_7, 1900, fieldsig_7);; let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;; let v = (parser_5, 1408, fieldsig_5);; let map = StringMap.add "2.6.21-1.3209.fc8.i586" v map;; let v = (parser_5, 1408, fieldsig_5);; let map = StringMap.add "2.6.21-1.3209.fc8.i686" v map;; let v = (parser_16, 1092, fieldsig_16);; let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;; let v = (parser_17, 2044, fieldsig_17);; let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;; let v = (parser_18, 2316, fieldsig_18);; let map = StringMap.add "2.6.21-1.3209.fc8.x86_64" v map;; let v = (parser_5, 1408, fieldsig_5);; let map = StringMap.add "2.6.21-1.3218.fc8.i586" v map;; let v = (parser_5, 1408, fieldsig_5);; let map = StringMap.add "2.6.21-1.3218.fc8.i686" v map;; let v = (parser_16, 1092, fieldsig_16);; let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;; let v = (parser_17, 2044, fieldsig_17);; let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;; let v = (parser_18, 2316, fieldsig_18);; let map = StringMap.add "2.6.21-1.3218.fc8.x86_64" v map;; let v = (parser_5, 1408, fieldsig_5);; let map = StringMap.add "2.6.21-1.3221.fc8.i586" v map;; let v = (parser_5, 1408, fieldsig_5);; let map = StringMap.add "2.6.21-1.3221.fc8.i686" v map;; let v = (parser_16, 1092, fieldsig_16);; let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;; let v = (parser_17, 2044, fieldsig_17);; let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;; let v = (parser_18, 2316, fieldsig_18);; 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_14, 836, fieldsig_14);; let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;; let v = (parser_15, 1684, fieldsig_15);; let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;; let v = (parser_7, 1660, fieldsig_7);; let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;; let v = (parser_5, 1408, fieldsig_5);; let map = StringMap.add "2.6.21-1.3234.fc8.i686" v map;; let v = (parser_16, 1092, fieldsig_16);; let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;; let v = (parser_17, 2044, fieldsig_17);; let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;; let v = (parser_18, 2316, fieldsig_18);; let map = StringMap.add "2.6.21-1.3234.fc8.x86_64" v map;; let v = (parser_5, 1408, fieldsig_5);; let map = StringMap.add "2.6.21-1.3236.fc8.i686" v map;; let v = (parser_16, 1092, fieldsig_16);; let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;; let v = (parser_17, 2044, fieldsig_17);; let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;; let v = (parser_18, 2316, fieldsig_18);; let map = StringMap.add "2.6.21-1.3236.fc8.x86_64" v map;; let v = (parser_5, 1408, fieldsig_5);; let map = StringMap.add "2.6.21-1.3238.fc8.i686" v map;; let v = (parser_16, 1092, fieldsig_16);; let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;; let v = (parser_17, 2044, fieldsig_17);; let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;; let v = (parser_18, 2316, fieldsig_18);; let map = StringMap.add "2.6.21-1.3238.fc8.x86_64" v map;; let v = (parser_5, 1408, fieldsig_5);; let map = StringMap.add "2.6.21-1.3242.fc8.i686" v map;; let v = (parser_16, 1092, fieldsig_16);; let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;; let v = (parser_17, 2044, fieldsig_17);; let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;; let v = (parser_18, 2316, fieldsig_18);; let map = StringMap.add "2.6.21-1.3242.fc8.x86_64" v map;; let v = (parser_5, 1408, fieldsig_5);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.i686" v map;; let v = (parser_16, 1092, fieldsig_16);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;; let v = (parser_17, 2044, fieldsig_17);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;; let v = (parser_18, 2316, fieldsig_18);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.x86_64" v map;; let v = (parser_5, 1408, fieldsig_5);; let map = StringMap.add "2.6.22-0.rc7.2.fc8.i686" v map;; let v = (parser_16, 1092, fieldsig_16);; let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;; let v = (parser_17, 2044, fieldsig_17);; let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;; let v = (parser_18, 2316, fieldsig_18);; 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_19, 952, fieldsig_19);; let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;; let v = (parser_20, 1824, fieldsig_20);; let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;; let v = (parser_8, 1800, fieldsig_8);; 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_19, 952, fieldsig_19);; let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;; let v = (parser_20, 1824, fieldsig_20);; let map = StringMap.add "2.6.23.14-78.fc7.ppc64" v map;; let v = (parser_8, 1800, fieldsig_8);; let map = StringMap.add "2.6.23.14-78.fc7.x86_64" v map;; let v = (parser_3, 1244, fieldsig_3);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i586" v map;; let v = (parser_3, 1244, fieldsig_3);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.i686" v map;; let v = (parser_21, 1048, fieldsig_21);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;; let v = (parser_22, 1984, fieldsig_22);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;; let v = (parser_9, 2288, fieldsig_9);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.x86_64" v map;; let v = (parser_3, 1244, fieldsig_3);; let map = StringMap.add "2.6.24-7.fc9.i586" v map;; let v = (parser_3, 1244, fieldsig_3);; let map = StringMap.add "2.6.24-7.fc9.i686" v map;; let v = (parser_21, 1048, fieldsig_21);; let map = StringMap.add "2.6.24-7.fc9.ppc" v map;; let v = (parser_22, 1984, fieldsig_22);; let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;; let v = (parser_9, 2288, fieldsig_9);; let map = StringMap.add "2.6.24-7.fc9.x86_64" v map;; let v = (parser_3, 1244, fieldsig_3);; let map = StringMap.add "2.6.24-9.fc9.i586" v map;; let v = (parser_3, 1244, fieldsig_3);; let map = StringMap.add "2.6.24-9.fc9.i686" v map;; let v = (parser_21, 1048, fieldsig_21);; let map = StringMap.add "2.6.24-9.fc9.ppc" v map;; let v = (parser_22, 1984, fieldsig_22);; let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;; let v = (parser_9, 2288, fieldsig_9);; let map = StringMap.add "2.6.24-9.fc9.x86_64" v map;; let v = (parser_3, 1212, fieldsig_3);; let map = StringMap.add "2.6.25.11-97.fc9.i686" v map;; let v = (parser_9, 1752, fieldsig_9);; let map = StringMap.add "2.6.25.11-97.fc9.x86_64" v map;; let v = (parser_3, 1212, fieldsig_3);; let map = StringMap.add "2.6.25.14-69.fc8.i586" v map;; let v = (parser_3, 1212, fieldsig_3);; let map = StringMap.add "2.6.25.14-69.fc8.i686" v map;; let v = (parser_22, 1776, fieldsig_22);; let map = StringMap.add "2.6.25.14-69.fc8.ppc64" v map;; let v = (parser_4, 1216, fieldsig_4);; let map = StringMap.add "2.6.26.1-9.fc9.i586" v map;; let v = (parser_4, 1216, fieldsig_4);; let map = StringMap.add "2.6.26.1-9.fc9.i686" v map;; let v = (parser_23, 920, fieldsig_23);; let map = StringMap.add "2.6.26.1-9.fc9.ppc" v map;; let v = (parser_22, 1776, fieldsig_22);; let map = StringMap.add "2.6.26.1-9.fc9.ppc64" v map;; let v = (parser_9, 1752, fieldsig_9);; let map = StringMap.add "2.6.26.1-9.fc9.x86_64" v map;; let v = (parser_4, 1216, fieldsig_4);; let map = StringMap.add "2.6.26.2-2.fc8.i586" v map;; let v = (parser_4, 1216, fieldsig_4);; let map = StringMap.add "2.6.26.2-2.fc8.i686" v map;; let v = (parser_23, 920, fieldsig_23);; let map = StringMap.add "2.6.26.2-2.fc8.ppc" v map;; let v = (parser_22, 1776, fieldsig_22);; let map = StringMap.add "2.6.26.2-2.fc8.ppc64" v map;; let v = (parser_9, 1752, fieldsig_9);; let map = StringMap.add "2.6.26.2-2.fc8.x86_64" v map;; let v = (parser_6, 1388, fieldsig_6);; let map = StringMap.add "2.6.27-0.225.rc1.git5.fc10.i586" v map;; let v = (parser_6, 1388, fieldsig_6);; let map = StringMap.add "2.6.27-0.225.rc1.git5.fc10.i686" v map;; let v = (parser_24, 1072, fieldsig_24);; let map = StringMap.add "2.6.27-0.225.rc1.git5.fc10.ppc" v map;; let v = (parser_25, 2332, fieldsig_25);; let map = StringMap.add "2.6.27-0.225.rc1.git5.fc10.ppc64" v map;; let v = (parser_26, 2316, fieldsig_26);; let map = StringMap.add "2.6.27-0.225.rc1.git5.fc10.x86_64" v map;; let v = (parser_6, 1388, fieldsig_6);; let map = StringMap.add "2.6.27-0.226.rc1.git5.fc10.i586" v map;; let v = (parser_6, 1388, fieldsig_6);; let map = StringMap.add "2.6.27-0.226.rc1.git5.fc10.i686" v map;; let v = (parser_24, 1072, fieldsig_24);; let map = StringMap.add "2.6.27-0.226.rc1.git5.fc10.ppc" v map;; let v = (parser_25, 2332, fieldsig_25);; let map = StringMap.add "2.6.27-0.226.rc1.git5.fc10.ppc64" v map;; let v = (parser_26, 2316, fieldsig_26);; let map = StringMap.add "2.6.27-0.226.rc1.git5.fc10.x86_64" v map;; let v = (parser_6, 1388, fieldsig_6);; let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.i586" v map;; let v = (parser_6, 1388, fieldsig_6);; let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.i686" v map;; let v = (parser_24, 1072, fieldsig_24);; let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.ppc" v map;; let v = (parser_25, 2332, fieldsig_25);; let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.ppc64" v map;; let v = (parser_26, 2316, fieldsig_26);; let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.x86_64" v map;; let v = (parser_6, 1388, fieldsig_6);; let map = StringMap.add "2.6.27-0.237.rc2.fc10.i586" v map;; let v = (parser_6, 1388, fieldsig_6);; let map = StringMap.add "2.6.27-0.237.rc2.fc10.i686" v map;; let v = (parser_24, 1072, fieldsig_24);; let map = StringMap.add "2.6.27-0.237.rc2.fc10.ppc" v map;; let v = (parser_25, 2332, fieldsig_25);; let map = StringMap.add "2.6.27-0.237.rc2.fc10.ppc64" v map;; let v = (parser_26, 2316, fieldsig_26);; let map = StringMap.add "2.6.27-0.237.rc2.fc10.x86_64" v map;; let v = (parser_6, 1388, fieldsig_6);; let map = StringMap.add "2.6.27-0.238.rc2.fc10.i586" v map;; let v = (parser_6, 1388, fieldsig_6);; let map = StringMap.add "2.6.27-0.238.rc2.fc10.i686" v map;; let v = (parser_24, 1072, fieldsig_24);; let map = StringMap.add "2.6.27-0.238.rc2.fc10.ppc" v map;; let v = (parser_25, 2332, fieldsig_25);; let map = StringMap.add "2.6.27-0.238.rc2.fc10.ppc64" v map;; let v = (parser_26, 2316, fieldsig_26);; let map = StringMap.add "2.6.27-0.238.rc2.fc10.x86_64" v map;; let v = (parser_6, 1388, fieldsig_6);; let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.i586" v map;; let v = (parser_6, 1388, fieldsig_6);; let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.i686" v map;; let v = (parser_24, 1072, fieldsig_24);; let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.ppc" v map;; let v = (parser_25, 2332, fieldsig_25);; let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.ppc64" v map;; let v = (parser_26, 2316, fieldsig_26);; let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.x86_64" v map;; let v = (parser_6, 1388, fieldsig_6);; let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.i586" v map;; let v = (parser_6, 1388, fieldsig_6);; let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.i686" v map;; let v = (parser_24, 1072, fieldsig_24);; let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc" v map;; let v = (parser_25, 2332, fieldsig_25);; let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc64" v map;; let v = (parser_26, 2316, fieldsig_26);; let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.x86_64" v map;; let v = (parser_10, 672, fieldsig_10);; let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;; let v = (parser_12, 1260, fieldsig_12);; let map = StringMap.add "2.6.18-1.2798.fc6.ppc64" v map;; let v = (parser_12, 1260, fieldsig_12);; let map = StringMap.add "2.6.18-1.2798.fc6.ppc64iseries" v map;; let v = (parser_13, 1108, fieldsig_13);; let map = StringMap.add "2.6.18-1.2798.fc6.x86_64" v map;; let v = (parser_1, 668, fieldsig_1);; let map = StringMap.add "2.6.20-1.2933.fc6.i686" v map;; let v = (parser_15, 1260, fieldsig_15);; let map = StringMap.add "2.6.20-1.2933.fc6.ppc64" v map;; let v = (parser_7, 1100, fieldsig_7);; let map = StringMap.add "2.6.20-1.2933.fc6.x86_64" v map;; let v = (parser_15, 1924, fieldsig_15);; let map = StringMap.add "2.6.21-1.3128.fc7.ppc64" v map;; let v = (parser_7, 2124, fieldsig_7);; let map = StringMap.add "2.6.21-1.3128.fc7.x86_64" v map;; let v = (parser_15, 1924, fieldsig_15);; let map = StringMap.add "2.6.21-1.3132.fc7.ppc64" v map;; let v = (parser_7, 2124, fieldsig_7);; let map = StringMap.add "2.6.21-1.3132.fc7.x86_64" v map;; let v = (parser_15, 1924, fieldsig_15);; let map = StringMap.add "2.6.21-1.3141.fc7.ppc64" v map;; let v = (parser_7, 2124, fieldsig_7);; let map = StringMap.add "2.6.21-1.3141.fc7.x86_64" v map;; let v = (parser_15, 1924, fieldsig_15);; let map = StringMap.add "2.6.21-1.3144.fc7.ppc64" v map;; let v = (parser_7, 2124, fieldsig_7);; let map = StringMap.add "2.6.21-1.3144.fc7.x86_64" v map;; let v = (parser_15, 1924, fieldsig_15);; let map = StringMap.add "2.6.21-1.3145.fc7.ppc64" v map;; let v = (parser_7, 1644, fieldsig_7);; let map = StringMap.add "2.6.21-1.3145.fc7.x86_64" v map;; let v = (parser_15, 1924, fieldsig_15);; let map = StringMap.add "2.6.21-1.3190.fc7.ppc64" v map;; let v = (parser_7, 1644, fieldsig_7);; let map = StringMap.add "2.6.21-1.3190.fc7.x86_64" v map;; let v = (parser_17, 2044, fieldsig_17);; let map = StringMap.add "2.6.21-1.3209.fc8.ppc64" v map;; let v = (parser_17, 2044, fieldsig_17);; let map = StringMap.add "2.6.21-1.3218.fc8.ppc64" v map;; let v = (parser_17, 2044, fieldsig_17);; let map = StringMap.add "2.6.21-1.3221.fc8.ppc64" v map;; let v = (parser_15, 1684, fieldsig_15);; let map = StringMap.add "2.6.21-1.3228.fc7.ppc64" v map;; let v = (parser_7, 1404, fieldsig_7);; let map = StringMap.add "2.6.21-1.3228.fc7.x86_64" v map;; let v = (parser_17, 2044, fieldsig_17);; let map = StringMap.add "2.6.21-1.3234.fc8.ppc64" v map;; let v = (parser_17, 2044, fieldsig_17);; let map = StringMap.add "2.6.21-1.3236.fc8.ppc64" v map;; let v = (parser_17, 2044, fieldsig_17);; let map = StringMap.add "2.6.21-1.3238.fc8.ppc64" v map;; let v = (parser_17, 2044, fieldsig_17);; let map = StringMap.add "2.6.21-1.3242.fc8.ppc64" v map;; let v = (parser_17, 2044, fieldsig_17);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc64" v map;; let v = (parser_17, 2044, fieldsig_17);; let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc64" v map;; let v = (parser_20, 1824, fieldsig_20);; let map = StringMap.add "2.6.23.14-135.fc8.ppc64" v map;; let v = (parser_20, 1824, fieldsig_20);; let map = StringMap.add "2.6.23.14-78.fc7.ppc64" v map;; let v = (parser_22, 1984, fieldsig_22);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc64" v map;; let v = (parser_22, 1984, fieldsig_22);; let map = StringMap.add "2.6.24-7.fc9.ppc64" v map;; let v = (parser_22, 1984, fieldsig_22);; let map = StringMap.add "2.6.24-9.fc9.ppc64" v map;; let v = (parser_22, 1776, fieldsig_22);; let map = StringMap.add "2.6.25.14-69.fc8.ppc64" v map;; let v = (parser_22, 1776, fieldsig_22);; let map = StringMap.add "2.6.26.1-9.fc9.ppc64" v map;; let v = (parser_22, 1776, fieldsig_22);; let map = StringMap.add "2.6.26.2-2.fc8.ppc64" v map;; let v = (parser_25, 2332, fieldsig_25);; let map = StringMap.add "2.6.27-0.225.rc1.git5.fc10.ppc64" v map;; let v = (parser_25, 2332, fieldsig_25);; let map = StringMap.add "2.6.27-0.226.rc1.git5.fc10.ppc64" v map;; let v = (parser_25, 2332, fieldsig_25);; let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.ppc64" v map;; let v = (parser_25, 2332, fieldsig_25);; let map = StringMap.add "2.6.27-0.237.rc2.fc10.ppc64" v map;; let v = (parser_25, 2332, fieldsig_25);; let map = StringMap.add "2.6.27-0.238.rc2.fc10.ppc64" v map;; let v = (parser_25, 2332, fieldsig_25);; let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.ppc64" v map;; let v = (parser_25, 2332, fieldsig_25);; let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc64" v map;; let v = (parser_11, 688, fieldsig_11);; let map = StringMap.add "2.6.18-1.2798.fc6.ppc" v map;; let v = (parser_14, 688, fieldsig_14);; let map = StringMap.add "2.6.20-1.2933.fc6.ppc" v map;; let v = (parser_14, 1020, fieldsig_14);; let map = StringMap.add "2.6.21-1.3128.fc7.ppc" v map;; let v = (parser_14, 1020, fieldsig_14);; let map = StringMap.add "2.6.21-1.3132.fc7.ppc" v map;; let v = (parser_14, 1020, fieldsig_14);; let map = StringMap.add "2.6.21-1.3141.fc7.ppc" v map;; let v = (parser_14, 1020, fieldsig_14);; let map = StringMap.add "2.6.21-1.3144.fc7.ppc" v map;; let v = (parser_14, 1020, fieldsig_14);; let map = StringMap.add "2.6.21-1.3145.fc7.ppc" v map;; let v = (parser_14, 1020, fieldsig_14);; let map = StringMap.add "2.6.21-1.3190.fc7.ppc" v map;; let v = (parser_16, 1116, fieldsig_16);; let map = StringMap.add "2.6.21-1.3209.fc8.ppc" v map;; let v = (parser_16, 1116, fieldsig_16);; let map = StringMap.add "2.6.21-1.3218.fc8.ppc" v map;; let v = (parser_16, 1116, fieldsig_16);; let map = StringMap.add "2.6.21-1.3221.fc8.ppc" v map;; let v = (parser_14, 936, fieldsig_14);; let map = StringMap.add "2.6.21-1.3228.fc7.ppc" v map;; let v = (parser_16, 1116, fieldsig_16);; let map = StringMap.add "2.6.21-1.3234.fc8.ppc" v map;; let v = (parser_16, 1116, fieldsig_16);; let map = StringMap.add "2.6.21-1.3236.fc8.ppc" v map;; let v = (parser_16, 1116, fieldsig_16);; let map = StringMap.add "2.6.21-1.3238.fc8.ppc" v map;; let v = (parser_16, 1116, fieldsig_16);; let map = StringMap.add "2.6.21-1.3242.fc8.ppc" v map;; let v = (parser_16, 1116, fieldsig_16);; let map = StringMap.add "2.6.22-0.23.rc7.git6.fc8.ppc" v map;; let v = (parser_16, 1116, fieldsig_16);; let map = StringMap.add "2.6.22-0.rc7.2.fc8.ppc" v map;; let v = (parser_19, 1064, fieldsig_19);; let map = StringMap.add "2.6.23.14-135.fc8.ppc" v map;; let v = (parser_19, 1064, fieldsig_19);; let map = StringMap.add "2.6.23.14-78.fc7.ppc" v map;; let v = (parser_21, 1072, fieldsig_21);; let map = StringMap.add "2.6.24-0.167.rc8.git4.fc9.ppc" v map;; let v = (parser_21, 1072, fieldsig_21);; let map = StringMap.add "2.6.24-7.fc9.ppc" v map;; let v = (parser_21, 1072, fieldsig_21);; let map = StringMap.add "2.6.24-9.fc9.ppc" v map;; let v = (parser_23, 1016, fieldsig_23);; let map = StringMap.add "2.6.26.1-9.fc9.ppc" v map;; let v = (parser_23, 1016, fieldsig_23);; let map = StringMap.add "2.6.26.2-2.fc8.ppc" v map;; let v = (parser_24, 1120, fieldsig_24);; let map = StringMap.add "2.6.27-0.225.rc1.git5.fc10.ppc" v map;; let v = (parser_24, 1120, fieldsig_24);; let map = StringMap.add "2.6.27-0.226.rc1.git5.fc10.ppc" v map;; let v = (parser_24, 1120, fieldsig_24);; let map = StringMap.add "2.6.27-0.231.rc1.git6.fc10.ppc" v map;; let v = (parser_24, 1120, fieldsig_24);; let map = StringMap.add "2.6.27-0.237.rc2.fc10.ppc" v map;; let v = (parser_24, 1120, fieldsig_24);; let map = StringMap.add "2.6.27-0.238.rc2.fc10.ppc" v map;; let v = (parser_24, 1120, fieldsig_24);; let map = StringMap.add "2.6.27-0.241.rc2.git1.fc10.ppc" v map;; let v = (parser_24, 1120, fieldsig_24);; let map = StringMap.add "2.6.27-0.244.rc2.git1.fc10.ppc" v map;; let v = (parser_10, 912, fieldsig_10);; let map = StringMap.add "2.6.18-1.2798.fc6.i686" v map;; let v = (parser_13, 1260, fieldsig_13);; 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_7, 1260, fieldsig_7);; 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_flags version = let (_, _, fs) = StringMap.find version map in fs.__fs_net_device_flags;; let field_signature_of_net_device_operstate version = let (_, _, fs) = StringMap.find version map in fs.__fs_net_device_operstate;; let field_signature_of_net_device_mtu version = let (_, _, fs) = StringMap.find version map in fs.__fs_net_device_mtu;; let field_signature_of_net_device_perm_addr version = let (_, _, fs) = StringMap.find version map in fs.__fs_net_device_perm_addr;; let field_signature_of_net_device_addr_len version = let (_, _, fs) = StringMap.find version map in fs.__fs_net_device_addr_len;; let field_signature_of_net_device_ip_ptr version = let (_, _, fs) = StringMap.find version map in fs.__fs_net_device_ip_ptr;; let field_signature_of_net_device_ip6_ptr version = let (_, _, fs) = StringMap.find version map in fs.__fs_net_device_ip6_ptr;;