Constant x86defs::X86X_AMD_MSR_SEV

pub const X86X_AMD_MSR_SEV: u32 = 0xC0010131;