Extracted kernel structures for device addressing in ifconfig.
[virt-mem.git] / lib / kernel_net_device.mli
index c469020..044de9c 100644 (file)
@@ -2,7 +2,10 @@ 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_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
+    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
   };;
 val struct_name : string;;
 type kernel_version = string;;
   };;
 val struct_name : string;;
 type kernel_version = string;;
@@ -20,5 +23,17 @@ 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;;
   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_dev_addr :
+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;;
   kernel_version -> Virt_mem_types.fieldsig;;