xen/mcelog: add PPIN to record when available
authorJan Beulich <jbeulich@suse.com>
Mon, 11 Nov 2019 14:46:26 +0000 (15:46 +0100)
committerJuergen Gross <jgross@suse.com>
Thu, 14 Nov 2019 09:01:57 +0000 (10:01 +0100)
commit4e3f77d8419b6787f3eb4d4f5178f459d693f9bb
tree5d42c49425a3f3ab5e6e6627538a4855907eb854
parentca8ffdaea560a3be3f0701ff4b019fa25a308f82
xen/mcelog: add PPIN to record when available

This is to augment commit 3f5a7896a5 ("x86/mce: Include the PPIN in MCE
records when available").

I'm also adding "synd" and "ipid" fields to struct xen_mce, in an
attempt to keep field offsets in sync with struct mce. These two fields
won't get populated for now, though.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Boris Ostrovsky <boris.ostrovsky@oracle.com>
Signed-off-by: Juergen Gross <jgross@suse.com>
arch/x86/include/asm/msr-index.h
drivers/xen/mcelog.c
include/xen/interface/xen-mca.h