X-Git-Url: http://git.annexia.org/?p=virt-mem.git;a=blobdiff_plain;f=lib%2Fkernel_net_device.ml;fp=lib%2Fkernel_net_device.ml;h=0000000000000000000000000000000000000000;hp=50066f85b6a5df9790086797d2d4c10595009fa8;hb=9a4e42524fac9afd50fca18f2124f6df91716d4c;hpb=93676d33e7b96b18baab8fdc82ad4ef76d720620 diff --git a/lib/kernel_net_device.ml b/lib/kernel_net_device.ml deleted file mode 100644 index 50066f8..0000000 --- a/lib/kernel_net_device.ml +++ /dev/null @@ -1,1961 +0,0 @@ -(* WARNING: This file and the corresponding mli (interface) are - * automatically generated by the extract/codegen/kerneldb_to_parser.ml - * program. - * - * Any edits you make to this file will be lost. - * - * To update this file from the latest kernel database, it is recommended - * that you do 'make update-kernel-structs'. - *) - -let zero = 0;; -let struct_name = "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;;