2 files changed, 6 insertions, 3 deletions
diff --git a/src/include/delta.h b/src/include/delta.h
index 46fd3b883..1af774959 100644
--- a/src/include/delta.h
+++ b/src/include/delta.h
@@ -81,6 +81,9 @@ extern DeltaList dlist;
     }                                                                   \
   }
 
+/** Infinite time specification.*/
+#define TIME_INFINITE 0
+
 /*
  * Virtual Timers APIs.
  */
diff --git a/src/include/scheduler.h b/src/include/scheduler.h
index 884b3936c..fccbfb446 100644
--- a/src/include/scheduler.h
+++ b/src/include/scheduler.h
@@ -50,9 +50,9 @@ extern "C" {
 #endif
   void chSchInit(void);
   Thread *chSchReadyI(Thread *tp);
-  void chSchGoSleepI(t_tstate newstate);
-  void chSchWakeupI(Thread *tp, t_msg msg);
-  void chSchRescheduleI(void);
+  void chSchGoSleepS(t_tstate newstate);
+  void chSchWakeupS(Thread *tp, t_msg msg);
+  void chSchRescheduleS(void);
   void chSchDoRescheduleI(void);
   BOOL chSchRescRequiredI(void);
   void chSchTimerHandlerI(void);