Generated files to parse some kernel structures.

[virt-mem.git] / lib / kernel_net_device.mli

diff --git a/lib/kernel_net_device.mli b/lib/kernel_net_device.mli
new file mode 100644 (file)
index 0000000..ea72dc9
--- /dev/null
+++ b/lib/kernel_net_device.mli
@@ -0,0 +1,6 @@
+exception ParseError of 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;;