Constant KSEVENT_DEVICE_THERMAL_HIGH 

pub const KSEVENT_DEVICE_THERMAL_HIGH: KSEVENT_DEVICE;