x86: suppress sync when XPTI is disabled for a domain
authorJan Beulich <jbeulich@suse.com>
Tue, 29 May 2018 10:38:09 +0000 (12:38 +0200)
committerJan Beulich <jbeulich@suse.com>
Tue, 29 May 2018 10:38:09 +0000 (12:38 +0200)
commitb7eb9d8bd61ecdc399e8fc41ea4bbff35cbe0755
treea42512449107731cdec47b2d05fd37dfa73b651a
parent849cc9ac56eff8a8d575ed9f484aad72f383862c
x86: suppress sync when XPTI is disabled for a domain

Now that we have a per-domain flag we can and should control sync-ing in
a more fine grained manner: Only domains having XPTI enabled need the
sync to occur.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
Release-acked-by: Juergen Gross <jgross@suse.com>
xen/arch/x86/mm.c