Constant esp_idf_sys::IRQ_S_EXT

pub const IRQ_S_EXT: u32 = 9;