Constant MSR_AMD64_SNP_PREVENT_HOST_IBS_BIT 

pub const MSR_AMD64_SNP_PREVENT_HOST_IBS_BIT: u32 = 0x8;