X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=lib%2Fkernel_net_device.mli;h=a9600d581dd4e9fd3d806bdf463156159bbb0315;hb=6029405541d12dedfce7998deefa0e6b0d04f3d5;hp=646b8356c617d9970cf1d8f8553b821a8d4881ba;hpb=17f3a42d8c94587648e1f41eb4ab7e5830955269;p=virt-mem.git

diff --git a/lib/kernel_net_device.mli b/lib/kernel_net_device.mli
index 646b835..a9600d5 100644
--- a/lib/kernel_net_device.mli
+++ b/lib/kernel_net_device.mli
@@ -1,10 +1,9 @@
 exception ParseError of string * string * string;;
-type t = { dev_addr : string; name : string };;
+type t = { net_device_dev_addr : string; net_device_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;;