1 #ifndef __V850_HARDIRQ_H__
2 #define __V850_HARDIRQ_H__
4 #include <linux/config.h>
5 #include <linux/threads.h>
6 #include <linux/cache.h>
11 unsigned int __softirq_pending
;
12 } ____cacheline_aligned irq_cpustat_t
;
14 #include <linux/irq_cpustat.h> /* Standard mappings for irq_cpustat_t above */
16 #define HARDIRQ_BITS 8
19 * The hardirq mask has to be large enough to have
20 * space for potentially all IRQ sources in the system
21 * nesting on a single CPU:
23 #if (1 << HARDIRQ_BITS) < NR_IRQS
24 # error HARDIRQ_BITS is too low!
27 void ack_bad_irq(unsigned int irq
);
29 #endif /* __V850_HARDIRQ_H__ */