esp_idf_sys

Constant IRQ_M_EXT

Source 
pub const IRQ_M_EXT: u32 = 11;