Constant MSR_AMD64_DE_CFG_LFENCE_SERIALIZE_BIT 

pub const MSR_AMD64_DE_CFG_LFENCE_SERIALIZE_BIT: u32 = 0x1;