esp_idf_sys

Constant IRQ_H_TIMER

Source 
pub const IRQ_H_TIMER: u32 = 6;