esp_idf_sys

Constant IRQ_S_TIMER

Source 
pub const IRQ_S_TIMER: u32 = 5;