+val field_signature_of_net_device_dev_list'prev :
+ kernel_version -> Virt_mem_types.fieldsig;;
+val field_signature_of_net_device_dev_list'next :
+ kernel_version -> Virt_mem_types.fieldsig;;
+val field_signature_of_net_device_next :
+ kernel_version -> Virt_mem_types.fieldsig;;
+val field_signature_of_net_device_name :
+ kernel_version -> Virt_mem_types.fieldsig;;
+val field_signature_of_net_device_flags :
+ kernel_version -> Virt_mem_types.fieldsig;;
+val field_signature_of_net_device_operstate :
+ kernel_version -> Virt_mem_types.fieldsig;;
+val field_signature_of_net_device_mtu :
+ kernel_version -> Virt_mem_types.fieldsig;;
+val field_signature_of_net_device_perm_addr :
+ kernel_version -> Virt_mem_types.fieldsig;;
+val field_signature_of_net_device_addr_len :
+ kernel_version -> Virt_mem_types.fieldsig;;
+val field_signature_of_net_device_ip_ptr :
+ kernel_version -> Virt_mem_types.fieldsig;;
+val field_signature_of_net_device_ip6_ptr :
+ kernel_version -> Virt_mem_types.fieldsig;;