diff options
| author | Jan Beulich <jbeulich@suse.com> | 2019-11-11 15:46:26 +0100 |
|---|---|---|
| committer | Juergen Gross <jgross@suse.com> | 2019-11-14 10:01:57 +0100 |
| commit | 4e3f77d8419b6787f3eb4d4f5178f459d693f9bb (patch) | |
| tree | 5d42c49425a3f3ab5e6e6627538a4855907eb854 /drivers/xen | |
| parent | ca8ffdaea560a3be3f0701ff4b019fa25a308f82 (diff) | |
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/xen')
| -rw-r--r-- | drivers/xen/mcelog.c | 5 |
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; |