diff --git a/libs/xc/xenctrl.ml b/libs/xc/xenctrl.ml
index ebc170d..85bddca 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
@@ -86,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 a12d0e3..aa27dee 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
@@ -78,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;