Print this page


@@ -451,12 +451,10 @@
     YIELD_UNKNOWN = -1          // Unknown: platform doesn't support _SWITCHED or _NONEREADY
     // YIELD_SWITCHED and YIELD_NONREADY imply the platform supports a "strong"
     // yield that can be used in lieu of blocking.
   } ;
   static YieldResult NakedYield () ;
-  static void yield_all(); // Yields to all other threads including lower priority
-                           // (for the default scheduling policy)
   static OSReturn set_priority(Thread* thread, ThreadPriority priority);
   static OSReturn get_priority(const Thread* const thread, ThreadPriority& priority);
   static void interrupt(Thread* thread);
   static bool is_interrupted(Thread* thread, bool clear_interrupted);