+#ifdef RTS_SUPPORTS_THREADS
+ // Small optimisation: we don't want the waiting thread to wake
+ // up straight away just because a previous returning worker has
+ // called abandonRequestWait(). If the event is no longer needed,
+ // reset it. We must do this inside the sched_mutex.
+ if (!needToYieldToReturningWorker()) {
+ resetAbandonRequestWait();
+ }
+#endif
+