esp_idf_hal::sys

Constant IRQ_HOST

Source 
pub const IRQ_HOST: u32 = 13; // 13u32