esp_idf_hal::sys

Constant IRQ_H_TIMER

Source 
pub const IRQ_H_TIMER: u32 = 6; // 6u32