Constant MSR_AMD64_SNP_VMGEXIT_PARAM_BIT 

pub const MSR_AMD64_SNP_VMGEXIT_PARAM_BIT: u32 = 0xc;