esp_idf_hal::sys

Constant IRQ_S_TIMER

Source 
pub const IRQ_S_TIMER: u32 = 5; // 5u32