pub const MSR_IA32_MISC_ENABLE_L3CACHE_DISABLE: c_uint = 0x00000040;