x86defs

Constant X86X_MSR_PL3_SSP

Source 
pub const X86X_MSR_PL3_SSP: u32 = 0x6a7;