CPUID_INTC_EDX_MCE
mask_edx &= ~(CPUID_INTC_EDX_MCE | CPUID_INTC_EDX_MCA);
if ((cp->cp_edx & CPUID_INTC_EDX_MCE) != 0 &&