esp_idf_sys

Constant IRQ_U_TIMER

Source 
pub const IRQ_U_TIMER: u32 = 4;