#define NR_IRQS (24+SYS_IRQS)
#endif
+/*
+ * The hardirq mask has to be large enough to have
+ * space for potentially all IRQ sources in the system
+ * nesting on a single CPU:
+ */
+#if (1 << HARDIRQ_BITS) < NR_IRQS
+# error HARDIRQ_BITS is too low!
+#endif
+
/*
* Interrupt source definitions
* General interrupt sources are the level 1-7.