esp_idf_sys

Constant IRQ_M_TIMER

Source 
pub const IRQ_M_TIMER: u32 = 7;