From ceeabfa970424d55e27084416d549b60c4cb3beb Mon Sep 17 00:00:00 2001 From: Julian Vetter Date: Fri, 24 Jul 2026 16:29:37 +0200 Subject: [PATCH 1/2] Add CDF_TRAP_UNMAPPED_ACCESSES domain_create_flag Xen gained this domain-create flag (currently Arm-only, disables traps on accesses to unmapped addresses) in: 980aff4e8fcd xen/arm: Add way to disable traps on accesses to unmapped addresses (Edgar E. Iglesias, 2025-06-16) with the OCaml bindings themselves updated the same day in: ab02a120c0a5 tools/ocaml: Update bindings for CDF_TRAP_UNMAPPED_ACCESSES Both are part of the public ABI since before the 4.21.0-rc1 tag. This mock's domain_create_flag mirror had not been synced since. Signed-off-by: Julian Vetter --- libs/xc/xenctrl.ml | 1 + libs/xc/xenctrl.mli | 1 + 2 files changed, 2 insertions(+) diff --git a/libs/xc/xenctrl.ml b/libs/xc/xenctrl.ml index ebc170d..f6aec0d 100644 --- a/libs/xc/xenctrl.ml +++ b/libs/xc/xenctrl.ml @@ -70,6 +70,7 @@ type domain_create_flag = | CDF_IOMMU | CDF_NESTED_VIRT | CDF_VPMU + | CDF_TRAP_UNMAPPED_ACCESSES type domain_create_iommu_opts = | IOMMU_NO_SHAREPT diff --git a/libs/xc/xenctrl.mli b/libs/xc/xenctrl.mli index a12d0e3..a8bc72e 100644 --- a/libs/xc/xenctrl.mli +++ b/libs/xc/xenctrl.mli @@ -63,6 +63,7 @@ type domain_create_flag = | CDF_IOMMU | CDF_NESTED_VIRT | CDF_VPMU + | CDF_TRAP_UNMAPPED_ACCESSES type domain_create_iommu_opts = | IOMMU_NO_SHAREPT From 781c881e5cf00b52326192fcca145f84ac1b1e17 Mon Sep 17 00:00:00 2001 From: Julian Vetter Date: Fri, 24 Jul 2026 16:30:02 +0200 Subject: [PATCH 2/2] Add altp2m_count to domctl_create_config MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Xen's OCaml bindings gained this field in: 5699554de9a9 tools/ocaml: Add altp2m_count parameter (Petr Beneš, 2025-08-25) which exposes the pre-existing altp2m.nr count field (xen_domctl_createdomain) to OCaml callers, alongside the existing altp2m_opts. Part of the public ABI since before the 4.21.0-rc1 tag. This mock's domctl_create_config mirror had not been synced since. Signed-off-by: Julian Vetter --- libs/xc/xenctrl.ml | 1 + libs/xc/xenctrl.mli | 1 + 2 files changed, 2 insertions(+) diff --git a/libs/xc/xenctrl.ml b/libs/xc/xenctrl.ml index f6aec0d..85bddca 100644 --- a/libs/xc/xenctrl.ml +++ b/libs/xc/xenctrl.ml @@ -87,6 +87,7 @@ type domctl_create_config = max_maptrack_frames: int; max_grant_version: int; altp2m_opts: int32; + altp2m_count: int32; vmtrace_buf_kb: int32; cpupool_id: int32; arch: arch_domainconfig; diff --git a/libs/xc/xenctrl.mli b/libs/xc/xenctrl.mli index a8bc72e..aa27dee 100644 --- a/libs/xc/xenctrl.mli +++ b/libs/xc/xenctrl.mli @@ -79,6 +79,7 @@ type domctl_create_config = { max_maptrack_frames: int; max_grant_version: int; altp2m_opts: int32; + altp2m_count: int32; vmtrace_buf_kb: int32; cpupool_id: int32; arch: arch_domainconfig;