X-Git-Url: http://git.annexia.org/?p=virt-top.git;a=blobdiff_plain;f=virt-ctrl%2Fvc_domain_ops.mli;h=38a2015a6d79da61ba2cfd0fd2e1fcc5dffab7ff;hp=661ede3267250b5c92a02f3732a9bdb626e18ba2;hb=430d646f23385cff10f3cfe359f27226f42cf01a;hpb=41f706134365c43ab79dc0383965df267eece0e2

diff --git a/virt-ctrl/vc_domain_ops.mli b/virt-ctrl/vc_domain_ops.mli
index 661ede3..38a2015 100644
--- 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 open_domain_details : dops_callback_fn