esp_idf_sys

Constant IRQ_H_EXT

Source 
pub const IRQ_H_EXT: u32 = 10;