Index: src/synch/waitq.c
===================================================================
--- src/synch/waitq.c	(revision 43114c515872442297f5b1b8a327743ef24c825a)
+++ src/synch/waitq.c	(revision 85bfdcc853e0c782ab7cd7e3b16fc2885a1ac860)
@@ -167,4 +167,5 @@
 			 * Short emulation of scheduler() return code.
 			 */
+			before_thread_runs();
 			spinlock_unlock(&THREAD->lock);
 			cpu_priority_restore(pri);