+++ /dev/null
-(* 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;;
git.annexia.org / virt-mem.git / blobdiff