Constant MSR_AMD64_SNP_SMT_PROT_BIT 

pub const MSR_AMD64_SNP_SMT_PROT_BIT: u32 = 0x11;