Constant X86X_AMD_MSR_DE_CFG 

pub const X86X_AMD_MSR_DE_CFG: u32 = 0xc0011029;