Index: kern/kern_timeout.c
===================================================================
RCS file: /cvs/src/sys/kern/kern_timeout.c,v
retrieving revision 1.49
diff -u -p -r1.49 kern_timeout.c
--- kern/kern_timeout.c	22 Sep 2016 12:55:24 -0000	1.49
+++ kern/kern_timeout.c	24 Sep 2016 09:45:09 -0000
@@ -375,6 +375,7 @@ softclock(void *arg)
 	int delta;
 	struct circq *bucket;
 	struct timeout *to;
+	int needsproc = 0;
 
 	mtx_enter(&timeout_mutex);
 	while (!CIRCQ_EMPTY(&timeout_todo)) {
@@ -391,7 +392,7 @@ softclock(void *arg)
 			CIRCQ_INSERT(&to->to_list, bucket);
 		} else if (to->to_flags & TIMEOUT_NEEDPROCCTX) {
 			CIRCQ_INSERT(&to->to_list, &timeout_proc);
-			wakeup(&timeout_proc);
+			needsproc = 1;
 		} else {
 #ifdef DEBUG
 			if (delta < 0)
@@ -401,6 +402,9 @@ softclock(void *arg)
 		}
 	}
 	mtx_leave(&timeout_mutex);
+
+	if (needsproc)
+		wakeup(&timeout_proc);
 }
 
 void