git.annexia.org
/
virt-mem.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Removed typed addresses -- too hard to use in that implementation.
[virt-mem.git]
/
lib
/
kernel_net_device.mli
diff --git
a/lib/kernel_net_device.mli
b/lib/kernel_net_device.mli
index
ea72dc9
..
646b835
100644
(file)
--- a/
lib/kernel_net_device.mli
+++ b/
lib/kernel_net_device.mli
@@
-1,6
+1,10
@@
-exception ParseError of string;;
+exception ParseError of string
* string * string
;;
type t = { dev_addr : string; name : string };;
type kernel_version = string;;
val known : kernel_version -> bool;;
val size : kernel_version -> int;;
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;;
+val of_bits : kernel_version -> Bitstring.bitstring -> t;;
+val get :
+ kernel_version ->
+ ('a, 'b, [ | `HasMapping ]) Virt_mem_mmap.t ->
+ [ | `net_device ] Virt_mem_mmap.typed_addr -> t;;