Constant MSR_AMD64_SNP_REFLECT_VC_BIT 

pub const MSR_AMD64_SNP_REFLECT_VC_BIT: u32 = 0x4;