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

Reply via email to