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