From: Edwin Török Date: Mon, 17 Aug 2020 18:45:44 +0000 (+0100) Subject: tools/ocaml/libs/xc: Fix ambiguous documentation comment X-Git-Tag: archive/raspbian/4.16.0+51-g0941d6cb-1+rpi1~2^2~42^2~1761 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=ba02a2cd1c2e87203117f2fe920c2115a121dbbc;p=xen.git tools/ocaml/libs/xc: Fix ambiguous documentation comment Signed-off-by: Edwin Török Acked-by: Christian Lindig --- diff --git a/tools/ocaml/libs/xc/xenctrl.mli b/tools/ocaml/libs/xc/xenctrl.mli index 26ec7e59b1..f7f6ec570d 100644 --- a/tools/ocaml/libs/xc/xenctrl.mli +++ b/tools/ocaml/libs/xc/xenctrl.mli @@ -132,8 +132,10 @@ external interface_close : handle -> unit = "stub_xc_interface_close" * interface_open and interface_close or with_intf although mixing both * is possible *) val with_intf : (handle -> 'a) -> 'a + (** [get_handle] returns the global handle used by [with_intf] *) val get_handle: unit -> handle option + (** [close handle] closes the handle maintained by [with_intf]. This * should only be closed before process exit. It must not be called from * a function called directly or indirectly by with_intf as this