X-Git-Url: http://git.annexia.org/?p=virt-mem.git;a=blobdiff_plain;f=lib%2Fkernel_net_device.mli;h=3fd4ce91293d72e4254d45ae3cb1cb022c758e98;hp=646b8356c617d9970cf1d8f8553b821a8d4881ba;hb=795abd3201eb6eae29ba8abd60db928f5889fdbe;hpb=727fe72a983a94decbd6e99d8c7c85c34f0171da

diff --git a/lib/kernel_net_device.mli b/lib/kernel_net_device.mli
index 646b835..3fd4ce9 100644
--- a/lib/kernel_net_device.mli
+++ b/lib/kernel_net_device.mli
@@ -1,10 +1,10 @@
 exception ParseError of string * string * string;;
-type t = { dev_addr : string; name : string };;
+type t = { net_device_dev_addr : string; net_device_name : string };;
+val struct_name : string;;
 type kernel_version = string;;
-val known : kernel_version -> bool;;
-val size : kernel_version -> int;;
-val of_bits : kernel_version -> Bitstring.bitstring -> t;;
-val get :
+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 ->
-      [ | `net_device ] Virt_mem_mmap.typed_addr -> t;;
+    ('a, 'b, [ | `HasMapping ]) Virt_mem_mmap.t -> Virt_mem_mmap.addr -> t;;