1 #include <asm/thread_info.h>
2 #include <asm/memory.h>
3 #include <asm/mach/time.h>
7 #define CONFIG_NKERNEL_NO_SHARED_IRQ // use local (native) mask/unmask
8 #undef CONFIG_NKERNEL_DEBUG_IRQ
11 static inline void nop(void) { int i; }
16 for (irq = 0; irq < IRQS; irq++) {