esp_idf_sys

Constant SOC_CPU_HAS_FLEXIBLE_INTC

Source 
pub const SOC_CPU_HAS_FLEXIBLE_INTC: u32 = 1;