Constant X64_CR4_FXSR 

pub const X64_CR4_FXSR: u64 = 0x0000000000000200;