pub const MSR_IA32_MISC_ENABLE_SPLIT_LOCK_DISABLE: c_uint = 0x00000010;