Constant MSR_IA32_THERM_INTERRUPT 

pub const MSR_IA32_THERM_INTERRUPT: u32 = 0x19b;