Constant MSR_AMD64_SYSCFG_MEM_ENCRYPT_BIT 

pub const MSR_AMD64_SYSCFG_MEM_ENCRYPT_BIT: u32 = 0x17;