Constant CPUID_EXT2_MMX 

pub const CPUID_EXT2_MMX: u32 = 8388608;