[0/2] x86: Protected Processor Inventory Number (PPIN) support

Message

Jan Beulich Oct. 30, 2019, 10:36 a.m. UTC

1: include the PPIN in MCE records when available
2: explicitly disallow guest access to PPIN

I will also see to get around to post the Linux side consumer
patch of the interface addition in patch 1.

Jan