[PATCH] rtl8187: Add device ID for HP wireless print kit usb dongle
[linux-2.6] / include / asm-avr32 / hardirq.h
1 #ifndef __ASM_AVR32_HARDIRQ_H
2 #define __ASM_AVR32_HARDIRQ_H
3
4 #include <linux/threads.h>
5 #include <asm/irq.h>
6
7 #ifndef __ASSEMBLY__
8
9 #include <linux/cache.h>
10
11 /* entry.S is sensitive to the offsets of these fields */
12 typedef struct {
13         unsigned int __softirq_pending;
14 } ____cacheline_aligned irq_cpustat_t;
15
16 void ack_bad_irq(unsigned int irq);
17
18 /* Standard mappings for irq_cpustat_t above */
19 #include <linux/irq_cpustat.h>
20
21 #endif /* __ASSEMBLY__ */
22
23 #define HARDIRQ_BITS    12
24
25 /*
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:
29  */
30 #if (1 << HARDIRQ_BITS) < NR_IRQS
31 # error HARDIRQ_BITS is too low!
32 #endif
33
34 #endif /* __ASM_AVR32_HARDIRQ_H */