X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=lib%2Fkernel_net_device.mli;h=c4690206a85ae19061c17c5249cd377722be3b26;hb=f6bb3caa719a564615e7fd2f21a3ad5bca010a88;hp=ea72dc99250d5c8551cd2f13beb52498f797915c;hpb=e6529f04e4135efbe726a7ee034c5086de220818;p=virt-mem.git

diff --git a/lib/kernel_net_device.mli b/lib/kernel_net_device.mli
index ea72dc9..c469020 100644
--- a/lib/kernel_net_device.mli
+++ b/lib/kernel_net_device.mli
@@ -1,6 +1,24 @@
-exception ParseError of string;;
-type t = { dev_addr : string; name : string };;
+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
+  };;
+val struct_name : string;;
 type kernel_version = string;;
-val known : kernel_version -> bool;;
-val size : kernel_version -> int;;
-val get : kernel_version -> Bitstring.bitstring -> t;;
+val net_device_known : kernel_version -> bool;;
+val net_device_size : kernel_version -> int;;
+val net_device_of_bits : kernel_version -> Bitstring.bitstring -> t;;
+val get_net_device :
+  kernel_version ->
+    ('a, 'b, [ | `HasMapping ]) Virt_mem_mmap.t -> Virt_mem_mmap.addr -> t;;
+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_dev_addr :
+  kernel_version -> Virt_mem_types.fieldsig;;