pub const MSR_IA32_MISC_ENABLE: u32 = 416;