Constant X86X_MSR_SYSENTER_ESP 

pub const X86X_MSR_SYSENTER_ESP: u32 = 0x175;