x86/cpuid: Advertise SSB_NO to guests by default
authorAndrew Cooper <andrew.cooper3@citrix.com>
Thu, 27 Jan 2022 21:28:48 +0000 (21:28 +0000)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Fri, 4 Feb 2022 15:45:25 +0000 (15:45 +0000)
commitdf2e2952b8c8087988f240a08a9417aa503cbd1c
treee2b8e898a1e9e92a80a43a1b385d51610c2e88dd
parent5f27e51cce99c422a7e506f9a0eeda195b767464
x86/cpuid: Advertise SSB_NO to guests by default

This is a statement of hardware behaviour, and not related to controls for the
guest kernel to use.  Pass it straight through from hardware.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
(cherry picked from commit 15b7611efd497c4b65f350483857082cb70fc348)
xen/include/public/arch-x86/cpufeatureset.h