Constant MSR_K7_HWCR_SMMLOCK_BIT 

pub const MSR_K7_HWCR_SMMLOCK_BIT: u32 = 0x0;