Constant MSR_IA32_MISC_ENABLE_X87_COMPAT 

pub const MSR_IA32_MISC_ENABLE_X87_COMPAT: u32 = 0x4;