Constant X86X_MSR_SPEC_CTRL 

pub const X86X_MSR_SPEC_CTRL: u32 = 0x48;