From 9ea306e79916f925c11e8c4d365d61aa67a07a0b Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Tue, 10 Sep 2019 12:34:03 +0100 Subject: [PATCH] tools/ocaml: tools/ocaml: Add missing CDF_* values Signed-off-by: Ian Jackson --- tools/ocaml/libs/xc/xenctrl.ml | 3 +++ tools/ocaml/libs/xc/xenctrl.mli | 3 +++ 2 files changed, 6 insertions(+) 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; -- 2.39.5