]> xenbits.xensource.com Git - people/iwj/xen.git/commitdiff
tools/ocaml: tools/ocaml: Add missing CDF_* values
authorIan Jackson <ian.jackson@eu.citrix.com>
Tue, 10 Sep 2019 11:34:03 +0000 (12:34 +0100)
committerIan Jackson <ian.jackson@eu.citrix.com>
Tue, 10 Sep 2019 13:17:47 +0000 (14:17 +0100)
Signed-off-by: Ian Jackson <ian.jackson@eu.citrix.com>
Acked-by: Andrew Cooper <Andrew.Cooper3@citrix.com>
tools/ocaml/libs/xc/xenctrl.ml
tools/ocaml/libs/xc/xenctrl.mli

index 17174debb842a87f36a53e1accb535b28098b79d..e544ef84da95208219ec622d0e4e5336a2ad4713 100644 (file)
@@ -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 =
 {
index 228bc00a1cfba363794d9210491e7d92b352af74..5a350007617d57e1ad9bbda1f314ae54367e499e 100644 (file)
@@ -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;