diff options
| author | Keir Fraser <keir.fraser@citrix.com> | 2008-07-04 16:27:44 +0100 |
|---|---|---|
| committer | Keir Fraser <keir.fraser@citrix.com> | 2008-07-04 16:27:44 +0100 |
| commit | 355b0469a8d017b80d9ce1078c90fe628c8b3bbe (patch) | |
| tree | 9a24bfe6fe9a73ea9635cd06ed0880f63a56720a /xen/arch/x86/nmi.c | |
| parent | b12217e1416a2f4ebabfa78b5d0a578d0d879d04 (diff) | |
| download | xen-355b0469a8d017b80d9ce1078c90fe628c8b3bbe.tar.gz xen-355b0469a8d017b80d9ce1078c90fe628c8b3bbe.tar.bz2 xen-355b0469a8d017b80d9ce1078c90fe628c8b3bbe.zip | |
x86: MCA support.
Signed-off-by: Christoph Egger <Christoph.Egger@amd.com>
Diffstat (limited to 'xen/arch/x86/nmi.c')
| -rw-r--r-- | xen/arch/x86/nmi.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/xen/arch/x86/nmi.c b/xen/arch/x86/nmi.c index 7b69e71264..580707e947 100644 --- a/xen/arch/x86/nmi.c +++ b/xen/arch/x86/nmi.c @@ -457,10 +457,10 @@ static void do_nmi_stats(unsigned char key) if ( ((d = dom0) == NULL) || ((v = d->vcpu[0]) == NULL) ) return; - if ( v->nmi_pending || v->nmi_masked ) + if ( v->nmi_pending || (v->trap_priority >= VCPU_TRAP_NMI) ) printk("dom0 vpu0: NMI %s%s\n", v->nmi_pending ? "pending " : "", - v->nmi_masked ? "masked " : ""); + (v->trap_priority >= VCPU_TRAP_NMI) ? "masked " : ""); else printk("dom0 vcpu0: NMI neither pending nor masked\n"); } |