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

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