Go to the documentation of this file.
15 #include <platform/hardware.h>
16 #include <variant/core.h>
18 #ifdef CONFIG_VARIANT_IRQ_SWITCH
21 static inline void variant_irq_enable(
unsigned int irq) { }
25 #ifndef VARIANT_NR_IRQS
26 # define VARIANT_NR_IRQS 0
28 #ifndef PLATFORM_NR_IRQS
29 # define PLATFORM_NR_IRQS 0
31 #define XTENSA_NR_IRQS XCHAL_NUM_INTERRUPTS
32 #define NR_IRQS (XTENSA_NR_IRQS + VARIANT_NR_IRQS + PLATFORM_NR_IRQS)
34 #if VARIANT_NR_IRQS == 0