Constant MSR_IA32_SYSENTER_EIP 

pub const MSR_IA32_SYSENTER_EIP: u32 = 0x176;