x86/Intel: use CPUID bit to determine PPIN availability
authorJan Beulich <jbeulich@suse.com>
Thu, 27 Jan 2022 12:54:42 +0000 (13:54 +0100)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Thu, 27 Jan 2022 17:38:15 +0000 (17:38 +0000)
commitd940ce8e2a85100223fb8b3ab96407fdcec7f02c
tree2033072c15aa90ea5c9dae2165df1a67619769fa
parente1828e3032ebfe036023cd733adfd2d4ec856688
x86/Intel: use CPUID bit to determine PPIN availability

As of SDM revision 076 there is a CPUID bit for this functionality. Use
it to amend the existing model-based logic.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Andrew Cooper <andrew.cooper3@citrix.com>
tools/misc/xen-cpuid.c
xen/arch/x86/cpu/mcheck/mce_intel.c
xen/include/public/arch-x86/cpufeatureset.h