On 08/11/2019 15:22, Jan Beulich wrote: > 1: include the PPIN in MCE records when available > 2: explicitly disallow guest access to PPIN > 3: provide Dom0 access to PPIN via XENPF_resource_op > > I have yet to get around to post the Linux side consumer > patch of the interface addition in patch 1.
What about printing the PPIN information when Xen writes MCE details to the console? ~Andrew _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel