kernel/include/kern/arch.h

   1 #ifndef _KERN_ARCH_H
   2 #define _KERN_ARCH_H
   3
   4 #include <kern/thread.h>
   5
   6 namespace Arch {
   7         void arch_init();
   8         void timer_init();
   9         extern ::Threads::Thread *init_thread;
  10         void switch_thread(Threads::Thread *dest, Threads::Thread *src);
  11 }
  12
  13 #endif