rom/kernel/kernel_arch.h

   1 /*
   2  * Machine-specific definitions.
   3  *
   4  * This file needs to be replaced for every machine. Hosted ports
   5  * may share the same file in arch/all-$(ARCH)/kernel/kernel_arch.h
   6  *
   7  * This file is just a sample providing necessary minimum.
   8  */
   9
  10 /* Number of IRQs used in the machine. Needed by kernel_base.h */
  11 #define IRQ_COUNT 1
  12
  13 /*
  14  * Interrupt controller functions. Actually have the following prototypes:
  15  *
  16  * void ictl_enable_irq(uint8_t num);
  17  * void ictl_disable_irq(uint8_t num);
  18  */
  19
  20 #define ictl_enable_irq(irq, base)
  21 #define ictl_disable_irq(irq, base)