Constant X86X_MSR_SFMASK 

pub const X86X_MSR_SFMASK: u32 = 0xC0000084;