arch/x86_64-pc/kernel/kernel.conf

   1 ##begin config
   2 version 1.0
   3 residentpri 127
   4 libbase KernelBase
   5 libbasetype struct KernelBase
   6 ##end config
   7 ##begin cdef
   8 #include <inttypes.h>
   9 #include <aros/kernel.h>
  10 #include <utility/tagitem.h>
  11 ##end cdef
  12 ##begin cdefprivate
  13 #include "kernel_intern.h"
  14 ##end cdefprivate
  15 ##begin functionlist
  16 KRN_SchedType KrnGetScheduler() ()
  17 void KrnSetScheduler(KRN_SchedType sched) (D0)
  18 void KrnCause() ()
  19 void KrnDispatch() ()
  20 void KrnSwitch() ()
  21 void KrnSchedule() ()
  22 void * KrnAddIRQHandler(uint8_t irq, void *handler, void *handlerData, void *handlerData2) (D0, A0, A1, A2)
  23 void KrnRemIRQHandler(void * handle) (A0)
  24 void KrnCli() ()
  25 void KrnSti() ()
  26 struct TagItem *KrnGetBootInfo() ()
  27 ##end functionlist