+let struct_name = "net_device";;
+let match_err = "failed to match kernel structure";;
+type t =
+ { net_device_dev_list'prev : Virt_mem_mmap.addr option;
+ net_device_dev_list'next : Virt_mem_mmap.addr option;
+ net_device_next : Virt_mem_mmap.addr option; net_device_name : string;
+ net_device_dev_addr : string
+ };;
+type fs_t =
+ { __fs_net_device_dev_list'prev : Virt_mem_types.fieldsig;
+ __fs_net_device_dev_list'next : Virt_mem_types.fieldsig;
+ __fs_net_device_next : Virt_mem_types.fieldsig;
+ __fs_net_device_name : Virt_mem_types.fieldsig;
+ __fs_net_device_dev_addr : Virt_mem_types.fieldsig
+ };;
+let fieldsig_1 =
+ {
+ __fs_net_device_name =
+ { Virt_mem_types.field_available = true; field_offset = 0; };
+ __fs_net_device_next =
+ { Virt_mem_types.field_available = true; field_offset = 48; };
+ __fs_net_device_dev_addr =
+ { Virt_mem_types.field_available = true; field_offset = 280; };
+ __fs_net_device_dev_list'prev =
+ { Virt_mem_types.field_available = false; field_offset = (-1); };
+ __fs_net_device_dev_list'next =
+ { Virt_mem_types.field_available = false; field_offset = (-1); };
+ };;
+let fieldsig_2 =
+ {
+ __fs_net_device_name =
+ { Virt_mem_types.field_available = true; field_offset = 0; };
+ __fs_net_device_dev_list'next =
+ { Virt_mem_types.field_available = true; field_offset = 48; };
+ __fs_net_device_dev_list'prev =
+ { Virt_mem_types.field_available = true; field_offset = 52; };
+ __fs_net_device_dev_addr =
+ { Virt_mem_types.field_available = true; field_offset = 408; };
+ __fs_net_device_next =
+ { Virt_mem_types.field_available = false; field_offset = (-1); };
+ };;
+let fieldsig_3 =
+ {
+ __fs_net_device_name =
+ { Virt_mem_types.field_available = true; field_offset = 0; };
+ __fs_net_device_dev_list'next =
+ { Virt_mem_types.field_available = true; field_offset = 48; };
+ __fs_net_device_dev_list'prev =
+ { Virt_mem_types.field_available = true; field_offset = 52; };
+ __fs_net_device_dev_addr =
+ { Virt_mem_types.field_available = true; field_offset = 320; };
+ __fs_net_device_next =
+ { Virt_mem_types.field_available = false; field_offset = (-1); };
+ };;
+let fieldsig_4 =
+ {
+ __fs_net_device_name =
+ { Virt_mem_types.field_available = true; field_offset = 0; };
+ __fs_net_device_dev_list'next =
+ { Virt_mem_types.field_available = true; field_offset = 48; };
+ __fs_net_device_dev_list'prev =
+ { Virt_mem_types.field_available = true; field_offset = 52; };
+ __fs_net_device_dev_addr =
+ { Virt_mem_types.field_available = true; field_offset = 316; };
+ __fs_net_device_next =
+ { Virt_mem_types.field_available = false; field_offset = (-1); };
+ };;
+let fieldsig_5 =
+ {
+ __fs_net_device_name =
+ { Virt_mem_types.field_available = true; field_offset = 0; };
+ __fs_net_device_dev_list'next =
+ { Virt_mem_types.field_available = true; field_offset = 48; };
+ __fs_net_device_dev_list'prev =
+ { Virt_mem_types.field_available = true; field_offset = 52; };
+ __fs_net_device_dev_addr =
+ { Virt_mem_types.field_available = true; field_offset = 348; };
+ __fs_net_device_next =
+ { Virt_mem_types.field_available = false; field_offset = (-1); };
+ };;
+let fieldsig_6 =
+ {
+ __fs_net_device_name =
+ { Virt_mem_types.field_available = true; field_offset = 0; };
+ __fs_net_device_next =
+ { Virt_mem_types.field_available = true; field_offset = 72; };
+ __fs_net_device_dev_addr =
+ { Virt_mem_types.field_available = true; field_offset = 424; };
+ __fs_net_device_dev_list'prev =
+ { Virt_mem_types.field_available = false; field_offset = (-1); };
+ __fs_net_device_dev_list'next =
+ { Virt_mem_types.field_available = false; field_offset = (-1); };
+ };;
+let fieldsig_7 =
+ {
+ __fs_net_device_name =
+ { Virt_mem_types.field_available = true; field_offset = 0; };
+ __fs_net_device_dev_list'next =
+ { Virt_mem_types.field_available = true; field_offset = 72; };
+ __fs_net_device_dev_list'prev =
+ { Virt_mem_types.field_available = true; field_offset = 80; };
+ __fs_net_device_dev_addr =
+ { Virt_mem_types.field_available = true; field_offset = 552; };
+ __fs_net_device_next =
+ { Virt_mem_types.field_available = false; field_offset = (-1); };
+ };;
+let fieldsig_8 =
+ {
+ __fs_net_device_name =
+ { Virt_mem_types.field_available = true; field_offset = 0; };
+ __fs_net_device_dev_list'next =
+ { Virt_mem_types.field_available = true; field_offset = 72; };
+ __fs_net_device_dev_list'prev =
+ { Virt_mem_types.field_available = true; field_offset = 80; };
+ __fs_net_device_dev_addr =
+ { Virt_mem_types.field_available = true; field_offset = 536; };
+ __fs_net_device_next =
+ { Virt_mem_types.field_available = false; field_offset = (-1); };
+ };;
+let fieldsig_9 =
+ {
+ __fs_net_device_name =
+ { Virt_mem_types.field_available = true; field_offset = 0; };
+ __fs_net_device_next =
+ { Virt_mem_types.field_available = true; field_offset = 48; };
+ __fs_net_device_dev_addr =
+ { Virt_mem_types.field_available = true; field_offset = 216; };
+ __fs_net_device_dev_list'prev =
+ { Virt_mem_types.field_available = false; field_offset = (-1); };
+ __fs_net_device_dev_list'next =
+ { Virt_mem_types.field_available = false; field_offset = (-1); };
+ };;
+let fieldsig_10 =
+ {
+ __fs_net_device_name =
+ { Virt_mem_types.field_available = true; field_offset = 0; };
+ __fs_net_device_next =
+ { Virt_mem_types.field_available = true; field_offset = 72; };
+ __fs_net_device_dev_addr =
+ { Virt_mem_types.field_available = true; field_offset = 424; };
+ __fs_net_device_dev_list'prev =
+ { Virt_mem_types.field_available = false; field_offset = (-1); };
+ __fs_net_device_dev_list'next =
+ { Virt_mem_types.field_available = false; field_offset = (-1); };
+ };;
+let fieldsig_11 =
+ {
+ __fs_net_device_name =
+ { Virt_mem_types.field_available = true; field_offset = 0; };
+ __fs_net_device_next =
+ { Virt_mem_types.field_available = true; field_offset = 48; };
+ __fs_net_device_dev_addr =
+ { Virt_mem_types.field_available = true; field_offset = 212; };
+ __fs_net_device_dev_list'prev =
+ { Virt_mem_types.field_available = false; field_offset = (-1); };
+ __fs_net_device_dev_list'next =
+ { Virt_mem_types.field_available = false; field_offset = (-1); };
+ };;
+let fieldsig_12 =
+ {
+ __fs_net_device_name =
+ { Virt_mem_types.field_available = true; field_offset = 0; };
+ __fs_net_device_dev_list'next =
+ { Virt_mem_types.field_available = true; field_offset = 48; };
+ __fs_net_device_dev_list'prev =
+ { Virt_mem_types.field_available = true; field_offset = 52; };
+ __fs_net_device_dev_addr =
+ { Virt_mem_types.field_available = true; field_offset = 312; };
+ __fs_net_device_next =
+ { Virt_mem_types.field_available = false; field_offset = (-1); };
+ };;
+let fieldsig_13 =
+ {
+ __fs_net_device_name =
+ { Virt_mem_types.field_available = true; field_offset = 0; };
+ __fs_net_device_dev_list'next =
+ { Virt_mem_types.field_available = true; field_offset = 72; };
+ __fs_net_device_dev_list'prev =
+ { Virt_mem_types.field_available = true; field_offset = 80; };
+ __fs_net_device_dev_addr =
+ { Virt_mem_types.field_available = true; field_offset = 552; };
+ __fs_net_device_next =
+ { Virt_mem_types.field_available = false; field_offset = (-1); };
+ };;
+let fieldsig_14 =
+ {
+ __fs_net_device_name =
+ { Virt_mem_types.field_available = true; field_offset = 0; };
+ __fs_net_device_dev_list'next =
+ { Virt_mem_types.field_available = true; field_offset = 48; };
+ __fs_net_device_dev_list'prev =
+ { Virt_mem_types.field_available = true; field_offset = 52; };
+ __fs_net_device_dev_addr =
+ { Virt_mem_types.field_available = true; field_offset = 324; };
+ __fs_net_device_next =
+ { Virt_mem_types.field_available = false; field_offset = (-1); };
+ };;
+let fieldsig_15 =
+ {
+ __fs_net_device_name =
+ { Virt_mem_types.field_available = true; field_offset = 0; };
+ __fs_net_device_dev_list'next =
+ { Virt_mem_types.field_available = true; field_offset = 48; };
+ __fs_net_device_dev_list'prev =
+ { Virt_mem_types.field_available = true; field_offset = 52; };
+ __fs_net_device_dev_addr =
+ { Virt_mem_types.field_available = true; field_offset = 316; };
+ __fs_net_device_next =
+ { Virt_mem_types.field_available = false; field_offset = (-1); };
+ };;
+let fieldsig_16 =
+ {
+ __fs_net_device_name =
+ { Virt_mem_types.field_available = true; field_offset = 0; };
+ __fs_net_device_dev_list'next =
+ { Virt_mem_types.field_available = true; field_offset = 72; };
+ __fs_net_device_dev_list'prev =
+ { Virt_mem_types.field_available = true; field_offset = 80; };
+ __fs_net_device_dev_addr =
+ { Virt_mem_types.field_available = true; field_offset = 536; };
+ __fs_net_device_next =
+ { Virt_mem_types.field_available = false; field_offset = (-1); };
+ };;
+let fieldsig_17 =
+ {
+ __fs_net_device_name =
+ { Virt_mem_types.field_available = true; field_offset = 0; };
+ __fs_net_device_dev_list'next =
+ { Virt_mem_types.field_available = true; field_offset = 48; };
+ __fs_net_device_dev_list'prev =
+ { Virt_mem_types.field_available = true; field_offset = 52; };
+ __fs_net_device_dev_addr =
+ { Virt_mem_types.field_available = true; field_offset = 320; };
+ __fs_net_device_next =
+ { Virt_mem_types.field_available = false; field_offset = (-1); };
+ };;
+let fieldsig_18 =
+ {
+ __fs_net_device_name =
+ { Virt_mem_types.field_available = true; field_offset = 0; };
+ __fs_net_device_dev_list'next =
+ { Virt_mem_types.field_available = true; field_offset = 48; };
+ __fs_net_device_dev_list'prev =
+ { Virt_mem_types.field_available = true; field_offset = 52; };
+ __fs_net_device_dev_addr =
+ { Virt_mem_types.field_available = true; field_offset = 332; };
+ __fs_net_device_next =
+ { Virt_mem_types.field_available = false; field_offset = (-1); };
+ };;
+let fieldsig_19 =
+ {
+ __fs_net_device_name =
+ { Virt_mem_types.field_available = true; field_offset = 0; };
+ __fs_net_device_dev_list'next =
+ { Virt_mem_types.field_available = true; field_offset = 72; };
+ __fs_net_device_dev_list'prev =
+ { Virt_mem_types.field_available = true; field_offset = 80; };
+ __fs_net_device_dev_addr =
+ { Virt_mem_types.field_available = true; field_offset = 584; };
+ __fs_net_device_next =
+ { Virt_mem_types.field_available = false; field_offset = (-1); };
+ };;
+let fieldsig_20 =
+ {
+ __fs_net_device_name =
+ { Virt_mem_types.field_available = true; field_offset = 0; };
+ __fs_net_device_dev_list'next =
+ { Virt_mem_types.field_available = true; field_offset = 72; };
+ __fs_net_device_dev_list'prev =
+ { Virt_mem_types.field_available = true; field_offset = 80; };
+ __fs_net_device_dev_addr =
+ { Virt_mem_types.field_available = true; field_offset = 584; };
+ __fs_net_device_next =
+ { Virt_mem_types.field_available = false; field_offset = (-1); };
+ };;
+let fieldsig_21 =
+ {
+ __fs_net_device_name =
+ { Virt_mem_types.field_available = true; field_offset = 0; };
+ __fs_net_device_next =
+ { Virt_mem_types.field_available = true; field_offset = 48; };
+ __fs_net_device_dev_addr =
+ { Virt_mem_types.field_available = true; field_offset = 216; };
+ __fs_net_device_dev_list'prev =
+ { Virt_mem_types.field_available = false; field_offset = (-1); };
+ __fs_net_device_dev_list'next =
+ { Virt_mem_types.field_available = false; field_offset = (-1); };
+ };;
+let fieldsig_22 =
+ {
+ __fs_net_device_name =
+ { Virt_mem_types.field_available = true; field_offset = 0; };
+ __fs_net_device_next =
+ { Virt_mem_types.field_available = true; field_offset = 72; };
+ __fs_net_device_dev_addr =
+ { Virt_mem_types.field_available = true; field_offset = 336; };
+ __fs_net_device_dev_list'prev =
+ { Virt_mem_types.field_available = false; field_offset = (-1); };
+ __fs_net_device_dev_list'next =
+ { Virt_mem_types.field_available = false; field_offset = (-1); };
+ };;
+let fieldsig_23 =
+ {
+ __fs_net_device_name =
+ { Virt_mem_types.field_available = true; field_offset = 0; };
+ __fs_net_device_next =
+ { Virt_mem_types.field_available = true; field_offset = 48; };
+ __fs_net_device_dev_addr =
+ { Virt_mem_types.field_available = true; field_offset = 212; };
+ __fs_net_device_dev_list'prev =
+ { Virt_mem_types.field_available = false; field_offset = (-1); };
+ __fs_net_device_dev_list'next =
+ { Virt_mem_types.field_available = false; field_offset = (-1); };
+ };;
+let fieldsig_24 =
+ {
+ __fs_net_device_name =
+ { Virt_mem_types.field_available = true; field_offset = 0; };
+ __fs_net_device_next =
+ { Virt_mem_types.field_available = true; field_offset = 72; };
+ __fs_net_device_dev_addr =
+ { Virt_mem_types.field_available = true; field_offset = 328; };
+ __fs_net_device_dev_list'prev =
+ { Virt_mem_types.field_available = false; field_offset = (-1); };
+ __fs_net_device_dev_list'next =
+ { Virt_mem_types.field_available = false; field_offset = (-1); };
+ };;
+let fieldsig_25 =
+ {
+ __fs_net_device_name =
+ { Virt_mem_types.field_available = true; field_offset = 0; };
+ __fs_net_device_dev_list'next =
+ { Virt_mem_types.field_available = true; field_offset = 48; };
+ __fs_net_device_dev_list'prev =
+ { Virt_mem_types.field_available = true; field_offset = 52; };
+ __fs_net_device_dev_addr =
+ { Virt_mem_types.field_available = true; field_offset = 344; };
+ __fs_net_device_next =
+ { Virt_mem_types.field_available = false; field_offset = (-1); };
+ };;
+let parser_1 bits =
+ bitmatch bits with