Constant MSR_AMD64_SEV_ENABLED_BIT 

pub const MSR_AMD64_SEV_ENABLED_BIT: u32 = 0x0;