From 1522a81acea5c6109f6f791d528fd8724117fb63 Mon Sep 17 00:00:00 2001 From: Jan Beulich Date: Wed, 30 May 2018 13:36:10 +0200 Subject: [PATCH] x86: don't enable XPTI on idle domain While the involved code (in pv_domain_initialise()) sits behind an !is_idle_domain() check already in 4.10, we need to add one here. Signed-off-by: Jan Beulich Reviewed-by: Andrew Cooper --- xen/arch/x86/domain.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/arch/x86/domain.c b/xen/arch/x86/domain.c index 5e594e27b2..ab10e878fc 100644 --- a/xen/arch/x86/domain.c +++ b/xen/arch/x86/domain.c @@ -758,7 +758,7 @@ int arch_domain_create(struct domain *d, unsigned int domcr_flags, if ( (rc = hvm_domain_initialise(d)) != 0 ) goto fail; } - else + else if ( !is_idle_domain(d) ) { /* 64-bit PV guest by default. */ d->arch.is_32bit_pv = d->arch.has_32bit_shinfo = 0; -- 2.39.5