kernel/fiasco/src/kern/arm/bsp/exynos/kernel_thread-arm-exynos.cpp

   1 //--------------------------------------------------------------------------
   2 IMPLEMENTATION [arm && tickless_idle && exynos]:
   3
   4 #include "cpu.h"
   5 #include "pic.h"
   6 #include "platform_control.h"
   7 #include "processor.h"
   8 #include "scheduler.h"
   9
  10 PROTECTED inline NEEDS["processor.h", "cpu.h", "platform_control.h", "scheduler.h"]
  11 void
  12 Kernel_thread::arch_tickless_idle(Cpu_number)
  13 {
  14   Proc::halt();
  15 }
  16
  17 PROTECTED inline NEEDS["processor.h"]
  18 void
  19 Kernel_thread::arch_idle(Cpu_number)
  20 {
  21   Proc::halt();
  22 }