Constant CPUID_MCE 

pub const CPUID_MCE: u32 = 128;