@@ -71,6 +71,11 @@ int libxl__arch_extra_memory(libxl__gc *gc,
const libxl_domain_build_info *info,
uint64_t *out);
+_hidden
+int libxl__arch_create_viommu(libxl__gc *gc,
+ const libxl_domain_config *d_config,
+ uint32_t domid);
+
#if defined(__i386__) || defined(__x86_64__)
#define LAPIC_BASE_ADDRESS 0xfee00000
@@ -1065,6 +1065,13 @@ void libxl__arch_domain_build_info_acpi_setdefault(
libxl_defbool_setdefault(&b_info->acpi, false);
}
+int libxl__arch_create_viommu(libxl__gc *gc,
+ const libxl_domain_config *d_config,
+ uint32_t domid)
+{
+ return 0;
+}
+
/*
* Local variables:
* mode: C
@@ -557,6 +557,10 @@ int libxl__domain_make(libxl__gc *gc, libxl_domain_config *d_config,
}
}
+ rc = libxl__arch_create_viommu(gc, d_config, *domid);
+ if (rc < 0)
+ goto out;
+
rc = libxl__arch_domain_save_config(gc, d_config, xc_config);
if (rc < 0)
goto out;
@@ -2,6 +2,7 @@
#include "libxl_arch.h"
#include <xc_dom.h>
+#include <xen/viommu.h>
int libxl__arch_domain_prepare_config(libxl__gc *gc,
libxl_domain_config *d_config,
@@ -587,6 +588,29 @@ void libxl__arch_domain_build_info_acpi_setdefault(
libxl_defbool_setdefault(&b_info->acpi, true);
}
+int libxl__arch_create_viommu(libxl__gc *gc,
+ const libxl_domain_config *d_config,
+ uint32_t domid)
+{
+ int rc = 0;
+ libxl_ctx *ctx = libxl__gc_owner(gc);
+ libxl_viommu_info viommu = d_config->b_info.u.hvm.viommu;
+
+ if (viommu.type == VIOMMU_TYPE_INTEL_VTD) {
+ uint32_t id;
+ uint64_t cap;
+
+ rc = xc_viommu_query_cap(ctx->xch, domid, viommu.type, &cap);
+ if (rc || ((cap & viommu.cap) != cap))
+ return rc;
+
+ rc = xc_viommu_create(ctx->xch, domid, viommu.type,
+ viommu.base_addr, viommu.length, viommu.cap, &id);
+ }
+
+ return rc;
+}
+
/*
* Local variables:
* mode: C