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

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