At x86_mcinfo_dump(), a little bug at printk information,
illusively= indicate an CMCI/POLLED error to a MCE error, this will
make debug confusing.
Signed-off-by: Liu, Jinsong <jinsong.liu@intel.com>
xen-unstable changeset: 23362:
c2a55fe9c006
xen-unstable date: Fri May 20 13:42:23 2011 +0100
printk(XENLOG_WARNING
"CPU%d: Machine Check Exception: %16"PRIx64"\n",
mc_global->mc_coreid, mc_global->mc_gstatus);
- } else {
- printk(XENLOG_WARNING "MCE: The hardware reports a non "
- "fatal, correctable incident occurred on "
- "CPU %d.\n",
+ } else if (mc_global->mc_flags & MC_FLAG_CMCI) {
+ printk(XENLOG_WARNING "CMCI occurred on CPU %d.\n",
+ mc_global->mc_coreid);
+ } else if (mc_global->mc_flags & MC_FLAG_POLLED) {
+ printk(XENLOG_WARNING "POLLED occurred on CPU %d.\n",
mc_global->mc_coreid);
}