X-Git-Url: http://git.annexia.org/?p=virt-mem.git;a=blobdiff_plain;f=lib%2Fkernel_net_device.mli;h=3fd4ce91293d72e4254d45ae3cb1cb022c758e98;hp=ea72dc99250d5c8551cd2f13beb52498f797915c;hb=795abd3201eb6eae29ba8abd60db928f5889fdbe;hpb=e6529f04e4135efbe726a7ee034c5086de220818 diff --git a/lib/kernel_net_device.mli b/lib/kernel_net_device.mli index ea72dc9..3fd4ce9 100644 --- a/lib/kernel_net_device.mli +++ b/lib/kernel_net_device.mli @@ -1,6 +1,10 @@ -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 };; +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;;