esp_idf_svc::sys

Constant IRQ_M_TIMER

Source 
pub const IRQ_M_TIMER: u32 = 7; // 7u32