MSR_MC_STATUS_OVER
status & MSR_MC_STATUS_OVER) {
(((s1) & ~MSR_MC_STATUS_OVER) == ((s2) & ~MSR_MC_STATUS_OVER))