From f6447326120b9ba35216ae1a0ee6045d53b83926 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Mon, 9 Sep 2019 18:12:04 +0100 Subject: [PATCH] tools/ocaml: Add missing X86_EMU_VPCI This was missing from x86_arch_emulation_flags. Signed-off-by: Ian Jackson --- 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.39.5