From: Ian Jackson Date: Tue, 10 Sep 2019 11:34:03 +0000 (+0100) Subject: tools/ocaml: tools/ocaml: Add missing CDF_* values X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=fde5de19abcb8a5722e1a7f530d7e687b45da09a;p=people%2Fiwj%2Fxen.git tools/ocaml: tools/ocaml: Add missing CDF_* values Signed-off-by: Ian Jackson Acked-by: Andrew Cooper --- diff --git a/tools/ocaml/libs/xc/xenctrl.ml b/tools/ocaml/libs/xc/xenctrl.ml index 17174debb8..e544ef84da 100644 --- a/tools/ocaml/libs/xc/xenctrl.ml +++ b/tools/ocaml/libs/xc/xenctrl.ml @@ -60,6 +60,9 @@ type arch_domainconfig = type domain_create_flag = | CDF_HVM | CDF_HAP + | CDF_S3_INTEGRITY + | CDF_OOS_OFF + | CDF_XS_DOMAIN type domctl_create_config = { diff --git a/tools/ocaml/libs/xc/xenctrl.mli b/tools/ocaml/libs/xc/xenctrl.mli index 228bc00a1c..5a35000761 100644 --- a/tools/ocaml/libs/xc/xenctrl.mli +++ b/tools/ocaml/libs/xc/xenctrl.mli @@ -53,6 +53,9 @@ type arch_domainconfig = type domain_create_flag = | CDF_HVM | CDF_HAP + | CDF_S3_INTEGRITY + | CDF_OOS_OFF + | CDF_XS_DOMAIN type domctl_create_config = { ssidref: int32;