1 #ifndef __ASM_AVR32_HARDIRQ_H
2 #define __ASM_AVR32_HARDIRQ_H
4 #include <linux/threads.h>
9 #include <linux/cache.h>
11 /* entry.S is sensitive to the offsets of these fields */
13 unsigned int __softirq_pending
;
14 } ____cacheline_aligned irq_cpustat_t
;
16 void ack_bad_irq(unsigned int irq
);
18 /* Standard mappings for irq_cpustat_t above */
19 #include <linux/irq_cpustat.h>
21 #endif /* __ASSEMBLY__ */
23 #define HARDIRQ_BITS 12
26 * The hardirq mask has to be large enough to have
27 * space for potentially all IRQ sources in the system
28 * nesting on a single CPU:
30 #if (1 << HARDIRQ_BITS) < NR_IRQS
31 # error HARDIRQ_BITS is too low!
34 #endif /* __ASM_AVR32_HARDIRQ_H */