esp_idf_sys

Constant IRQ_HOST

Source 
pub const IRQ_HOST: u32 = 13;