ARM guests are HVM and have hardware assisted paging. There are no PV guests or shadow paging, and all other creation flags are x86 specific.
Signed-off-by: Andrew Cooper <[email protected]> --- CC: Stefano Stabellini <[email protected]> CC: Julien Grall <[email protected]> CC: Ian Jackson <[email protected]> CC: Wei Liu <[email protected]> RFC. This is untested, but I noticed it when putting together the preceeding patch. There is a moderate chance that this will cause things to explode because of how libxl handles ARM guest construction, but something along these lines is the right thing to do. --- xen/arch/arm/domain.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/xen/arch/arm/domain.c b/xen/arch/arm/domain.c index 8de4c0a..291c282 100644 --- a/xen/arch/arm/domain.c +++ b/xen/arch/arm/domain.c @@ -585,6 +585,9 @@ int arch_domain_create(struct domain *d, unsigned int domcr_flags, if ( is_idle_domain(d) ) return 0; + if ( domcr_flags != (XEN_DOMCTL_CDF_hvm_guest | XEN_DOMCTL_CDF_hap) ) + return -EINVAL; + ASSERT(config != NULL); /* p2m_init relies on some value initialized by the IOMMU subsystem */ -- 2.1.4 _______________________________________________ Xen-devel mailing list [email protected] https://lists.xenproject.org/mailman/listinfo/xen-devel
