This was missing from x86_arch_emulation_flags.
Signed-off-by: Ian Jackson <ian.jack...@eu.citrix.com>
---
tools/ocaml/libs/xc/xenctrl.ml | 1 +
tools/ocaml/libs/xc/xenctrl.mli | 1 +
2 files changed, 2 insertions(+)
diff --git a/tools/ocaml/libs/xc/xenctrl.ml b/tools/ocaml/libs/xc/xenctrl.ml
index 35958b94d5..305625cb6c 100644
--- a/tools/ocaml/libs/xc/xenctrl.ml
+++ b/tools/ocaml/libs/xc/xenctrl.ml
@@ -46,6 +46,7 @@ type x86_arch_emulation_flags =
| X86_EMU_IOMMU
| X86_EMU_PIT
| X86_EMU_USE_PIRQ
+ | X86_EMU_VPCI
type xen_x86_arch_domainconfig =
{
diff --git a/tools/ocaml/libs/xc/xenctrl.mli b/tools/ocaml/libs/xc/xenctrl.mli
index 6c4268d453..da93160ed3 100644
--- a/tools/ocaml/libs/xc/xenctrl.mli
+++ b/tools/ocaml/libs/xc/xenctrl.mli
@@ -40,6 +40,7 @@ type x86_arch_emulation_flags =
| X86_EMU_IOMMU
| X86_EMU_PIT
| X86_EMU_USE_PIRQ
+ | X86_EMU_VPCI
type xen_x86_arch_domainconfig = {
emulation_flags: x86_arch_emulation_flags list;
--
2.11.0
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xenproject.org
https://lists.xenproject.org/mailman/listinfo/xen-devel
