Constant x86_64::msr_index::THERM_INT_HIGH_ENABLE

pub const THERM_INT_HIGH_ENABLE: c_uint = 0x00000001;