+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