summary refs log tree commit diff
path: root/drivers
diff options
context:
space:
mode:
authorJan Beulich <jbeulich@suse.com>2019-11-11 15:46:26 +0100
committerJuergen Gross <jgross@suse.com>2019-11-14 10:01:57 +0100
commit4e3f77d8419b6787f3eb4d4f5178f459d693f9bb (patch)
tree5d42c49425a3f3ab5e6e6627538a4855907eb854 /drivers
parentca8ffdaea560a3be3f0701ff4b019fa25a308f82 (diff)
downloadlinux-4e3f77d8419b6787f3eb4d4f5178f459d693f9bb.tar.gz
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>
Diffstat (limited to 'drivers')
-rw-r--r--drivers/xen/mcelog.c5
1 files changed, 5 insertions, 0 deletions
diff --git a/drivers/xen/mcelog.c b/drivers/xen/mcelog.c
index c870cdcc9bbf..e9ac3b8c4167 100644
--- a/drivers/xen/mcelog.c
+++ b/drivers/xen/mcelog.c
@@ -253,6 +253,11 @@ static int convert_log(struct mc_info *mi)
 		case MSR_IA32_MCG_CAP:
 			m.mcgcap = g_physinfo[i].mc_msrvalues[j].value;
 			break;
+
+		case MSR_PPIN:
+		case MSR_AMD_PPIN:
+			m.ppin = g_physinfo[i].mc_msrvalues[j].value;
+			break;
 		}
 
 	mic = NULL;