This client driver allows you to use a GPIO pin as a source for PPS
[linux-2.6/next.git] / arch / alpha / include / asm / hw_irq.h
blob5050ac81cd90281effea54f2e9c0e2c9f2da5198
1 #ifndef _ALPHA_HW_IRQ_H
2 #define _ALPHA_HW_IRQ_H
5 extern volatile unsigned long irq_err_count;
6 DECLARE_PER_CPU(unsigned long, irq_pmi_count);
8 #ifdef CONFIG_ALPHA_GENERIC
9 #define ACTUAL_NR_IRQS alpha_mv.nr_irqs
10 #else
11 #define ACTUAL_NR_IRQS NR_IRQS
12 #endif
14 #endif