xen: mask _PAGE_PCD from ptes
[linux-2.6] / include / asm-v850 / hardirq.h
1 #ifndef __V850_HARDIRQ_H__
2 #define __V850_HARDIRQ_H__
3
4 #include <linux/threads.h>
5 #include <linux/cache.h>
6
7 #include <asm/irq.h>
8
9 typedef struct {
10         unsigned int __softirq_pending;
11 } ____cacheline_aligned irq_cpustat_t;
12
13 #include <linux/irq_cpustat.h>  /* Standard mappings for irq_cpustat_t above */
14
15 #define HARDIRQ_BITS    8
16
17 /*
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:
21  */
22 #if (1 << HARDIRQ_BITS) < NR_IRQS
23 # error HARDIRQ_BITS is too low!
24 #endif
25
26 void ack_bad_irq(unsigned int irq);
27
28 #endif /* __V850_HARDIRQ_H__ */