X-Git-Url: http://git.annexia.org/?p=virt-mem.git;a=blobdiff_plain;f=lib%2Fkernel_net_device.mli;h=3fd4ce91293d72e4254d45ae3cb1cb022c758e98;hp=a9600d581dd4e9fd3d806bdf463156159bbb0315;hb=795abd3201eb6eae29ba8abd60db928f5889fdbe;hpb=45b7766e66fb59ece5f07305553dc54a26b32d9d diff --git a/lib/kernel_net_device.mli b/lib/kernel_net_device.mli index a9600d5..3fd4ce9 100644 --- a/lib/kernel_net_device.mli +++ b/lib/kernel_net_device.mli @@ -1,5 +1,6 @@ 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 net_device_known : kernel_version -> bool;; val net_device_size : kernel_version -> int;;