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
Extracted kernel structures for device addressing in ifconfig.
[virt-mem.git]
/
lib
/
virt_mem_utsname.mli
diff --git
a/lib/virt_mem_utsname.mli
b/lib/virt_mem_utsname.mli
index
7b62d42
..
7c0742e
100644
(file)
--- a/
lib/virt_mem_utsname.mli
+++ b/
lib/virt_mem_utsname.mli
@@
-18,5
+18,6
@@
Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
*)
Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
*)
-val find_utsname : bool -> Virt_mem_types.image1 -> Virt_mem_types.image2
+val find_utsname : bool -> Virt_mem_types.image -> Virt_mem_types.ksymmap
+ -> Virt_mem_types.image * Virt_mem_types.utsname option
(** Find the system utsname structure. *)
(** Find the system utsname structure. *)