kernel/fiasco/src/kern/platform_control.cpp

   1 INTERFACE:
   2
   3 #include "types.h"
   4
   5 class Platform_control
   6 {
   7 public:
   8   static void init(Cpu_number);
   9   static bool cpu_shutdown_available();
  10   static int cpu_allow_shutdown(Cpu_number cpu, bool allow);
  11   static int system_suspend(Mword extra);
  12 };
  13
  14 // ------------------------------------------------------------------------
  15 IMPLEMENTATION:
  16
  17 #include "l4_types.h"
  18
  19 IMPLEMENT_DEFAULT inline
  20 void
  21 Platform_control::init(Cpu_number)
  22 {}
  23
  24 IMPLEMENT_DEFAULT inline NEEDS["l4_types.h"]
  25 int
  26 Platform_control::system_suspend(Mword)
  27 { return -L4_err::EBusy; }
  28
  29 IMPLEMENT_DEFAULT inline
  30 bool
  31 Platform_control::cpu_shutdown_available()
  32 { return false; }
  33
  34 IMPLEMENT_DEFAULT inline NEEDS["l4_types.h"]
  35 int
  36 Platform_control::cpu_allow_shutdown(Cpu_number, bool)
  37 { return -L4_err::ENodev; }
  38