Tidy up the generated parsing code.

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

diff --git a/lib/kernel_net_device.mli b/lib/kernel_net_device.mli
index ea72dc9..3fd4ce9 100644 (file)
--- 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;;