git.annexia.org
/
virt-top.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Combine historical data, provide accessor functions.
[virt-top.git]
/
virt-ctrl
/
vc_domain_ops.mli
diff --git
a/virt-ctrl/vc_domain_ops.mli
b/virt-ctrl/vc_domain_ops.mli
index
661ede3
..
38a2015
100644
(file)
--- a/
virt-ctrl/vc_domain_ops.mli
+++ b/
virt-ctrl/vc_domain_ops.mli
@@
-32,3
+32,4
@@
val start_domain : dops_callback_fn
val pause_domain : dops_callback_fn
val resume_domain : dops_callback_fn
val shutdown_domain : dops_callback_fn
val pause_domain : dops_callback_fn
val resume_domain : dops_callback_fn
val shutdown_domain : dops_callback_fn
+val open_domain_details : dops_callback_fn