PCI: remove duplicate device id from ipr
[linux/fpc-iii.git] / include / asm-arm / hw_irq.h
blob98d594a973d6c821d5314afb6c13c08d22871fd1
1 /*
2 * Nothing to see here yet
3 */
4 #ifndef _ARCH_ARM_HW_IRQ_H
5 #define _ARCH_ARM_HW_IRQ_H
7 #include <asm/mach/irq.h>
9 #if defined(CONFIG_NO_IDLE_HZ)
10 # include <asm/dyntick.h>
11 # define handle_dynamic_tick(action) \
12 if (!(action->flags & IRQF_TIMER) && system_timer->dyn_tick) { \
13 write_seqlock(&xtime_lock); \
14 if (system_timer->dyn_tick->state & DYN_TICK_ENABLED) \
15 system_timer->dyn_tick->handler(irq, NULL); \
16 write_sequnlock(&xtime_lock); \
18 #endif
20 #endif