Constant SOC_CPU_HAS_FLEXIBLE_INTC 

pub const SOC_CPU_HAS_FLEXIBLE_INTC: u32 = 1;