esp_idf_hal::sys

Constant IRQ_U_TIMER

Source 
pub const IRQ_U_TIMER: u32 = 4; // 4u32