From: Andrew Cooper Date: Wed, 3 Oct 2018 13:11:20 +0000 (+0100) Subject: tools/ocaml: Delete the Xenctrl.with_intf wrapper X-Git-Tag: archive/raspbian/4.14.0+80-gd101b417b7-1+rpi1^2~63^2~3186 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=81946a73dc975a7dafe9017a8e61d1e64fdbedbf;p=xen.git tools/ocaml: Delete the Xenctrl.with_intf wrapper This wrapper hides an opening and closing of the xenctrl handle, which amongst other things opens and closes multiple device files. A process should create one handle at the start of day and reuse that; indeed there is no guarentee that the process will retain sufficient permissions to re-open /dev/xen/privcmd at a later point. With the final user of Xenctrl.with_intf removed, drop the wrapper entirely. Signed-off-by: Andrew Cooper Acked-by: Christian Lindig --- diff --git a/tools/ocaml/libs/xc/xenctrl.ml b/tools/ocaml/libs/xc/xenctrl.ml index 40fbd3790f..955dd92546 100644 --- a/tools/ocaml/libs/xc/xenctrl.ml +++ b/tools/ocaml/libs/xc/xenctrl.ml @@ -141,12 +141,6 @@ type handle external interface_open: unit -> handle = "stub_xc_interface_open" external interface_close: handle -> unit = "stub_xc_interface_close" -let with_intf f = - let xc = interface_open () in - let r = try f xc with exn -> interface_close xc; raise exn in - interface_close xc; - r - external domain_create: handle -> domctl_create_config -> domid = "stub_xc_domain_create" diff --git a/tools/ocaml/libs/xc/xenctrl.mli b/tools/ocaml/libs/xc/xenctrl.mli index 906ce9486b..eeed24fa96 100644 --- a/tools/ocaml/libs/xc/xenctrl.mli +++ b/tools/ocaml/libs/xc/xenctrl.mli @@ -108,7 +108,7 @@ exception Error of string type handle external interface_open : unit -> handle = "stub_xc_interface_open" external interface_close : handle -> unit = "stub_xc_interface_close" -val with_intf : (handle -> 'a) -> 'a + external domain_create : handle -> domctl_create_config -> domid = "stub_xc_domain_create" external domain_sethandle : handle -> domid -> string -> unit = "stub_xc_domain_sethandle"