Constant X86X_MSR_STAR 

pub const X86X_MSR_STAR: u32 = 0xC0000081;