Constant CPUID_DE 

pub const CPUID_DE: u32 = 4;