Constant MSR_K7_HWCR_CPB_DIS_BIT 

pub const MSR_K7_HWCR_CPB_DIS_BIT: u32 = 0x19;