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