+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));;