Constant x86_64::msr_index::THERM_INT_THRESHOLD1_ENABLE

pub const THERM_INT_THRESHOLD1_ENABLE: c_uint = 0x00800000;