arch/arm-native/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 #include "kernel_cpu.h"
  10
  11 /* Number of IRQs used in the machine. Needed by kernel_base.h */
  12 #define IRQ_COUNT 72
  13
  14 /*
  15  * Interrupt controller functions.
  16  */
  17
  18 extern void ictl_enable_irq(uint8_t irq, struct KernelBase *KernelBase);
  19 extern void ictl_disable_irq(uint8_t irq, struct KernelBase *KernelBase);