From 278b237d8d55de6141df9210ffd031c0f1c0907c Mon Sep 17 00:00:00 2001 From: Andrew Cooper Date: Tue, 10 Sep 2019 12:14:51 +0100 Subject: [PATCH] tools/ocaml: Reformat domain_create_flag This will allow us to apply the abi checker soon. No functional change. Signed-off-by: Andrew Cooper Reviewed-by: Ian Jackson Signed-off-by: Ian Jackson Acked-by: Christian Lindig --- tools/ocaml/libs/xc/xenctrl.ml | 4 +++- tools/ocaml/libs/xc/xenctrl.mli | 4 +++- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/tools/ocaml/libs/xc/xenctrl.ml b/tools/ocaml/libs/xc/xenctrl.ml index 097f39d5ce..17174debb8 100644 --- a/tools/ocaml/libs/xc/xenctrl.ml +++ b/tools/ocaml/libs/xc/xenctrl.ml @@ -57,7 +57,9 @@ type arch_domainconfig = | ARM of xen_arm_arch_domainconfig | X86 of xen_x86_arch_domainconfig -type domain_create_flag = CDF_HVM | CDF_HAP +type domain_create_flag = + | CDF_HVM + | CDF_HAP type domctl_create_config = { diff --git a/tools/ocaml/libs/xc/xenctrl.mli b/tools/ocaml/libs/xc/xenctrl.mli index 957c9fdc2e..228bc00a1c 100644 --- a/tools/ocaml/libs/xc/xenctrl.mli +++ b/tools/ocaml/libs/xc/xenctrl.mli @@ -50,7 +50,9 @@ type arch_domainconfig = | ARM of xen_arm_arch_domainconfig | X86 of xen_x86_arch_domainconfig -type domain_create_flag = CDF_HVM | CDF_HAP +type domain_create_flag = + | CDF_HVM + | CDF_HAP type domctl_create_config = { ssidref: int32; -- 2.30.2