arch/all-unix/kernel/kernel_arch.h

   1 /* Our IRQs are UNIX signals */
   2 #define IRQ_COUNT 32
   3
   4 /* Disable old kernel software timer. Obsolete and will be removed. */
   5 #define NO_VBLANK_EMU
   6
   7 /* We have no interrupt controller */
   8 #define ictl_enable_irq(irq, base)
   9 #define ictl_disable_irq(irq, base)
  10
  11 /* Service functions needed by us */
  12 int krnTimerIRQ(void);