esp_idf_sys

Constant IRQ_S_EXT

Source 
pub const IRQ_S_EXT: u32 = 9;