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
Updated kernel db.
[virt-mem.git]
/
lib
/
virt_mem_utsname.mli
diff --git
a/lib/virt_mem_utsname.mli
b/lib/virt_mem_utsname.mli
index
7b62d42
..
17a836b
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.kimage -> Virt_mem_types.kimage
(** Find the system utsname structure. *)
(** Find the system utsname structure. *)