Constant x86defs::X86X_MSR_SYSENTER_EIP

pub const X86X_MSR_SYSENTER_EIP: u32 = 0x176;