call directly sched_yield to reduce overhead

RWTH-OS · May 4, 2016 · a7f6048 · a7f6048
1 parent 0a34874
commit a7f6048
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/sched_yield.c b/sched_yield.c
@@ -49,6 +49,10 @@
 #include "implement.h"
 #include "sched.h"
 
+#ifdef __hermit__
+void reschedule (void);
+#endif
+
 int
 sched_yield (void)
 /*
@@ -76,7 +80,11 @@ sched_yield (void)
  * ------------------------------------------------------
  */
 {
+#ifdef __hermit__
+  reschedule ();
+#else
   pte_osYield ();
+#endif
 
   return 0;
 }