Constant MSR_IA32_MISC_ENABLE_SPLIT_LOCK_DISABLE 

pub const MSR_IA32_MISC_ENABLE_SPLIT_LOCK_DISABLE: u32 = 0x10;