diff --git a/kernel/syscall.c b/kernel/syscall.c
index e878fe13..0d2a2f8b 100644
--- a/kernel/syscall.c
+++ b/kernel/syscall.c
@@ -292,6 +292,7 @@ schedule:
 				cpu_restore_interrupt(flags);
 				schedule();
 				waitq_finish_wait(&thread->scd_wq, &scd_wq_entry);
+				continue;
 			}
 			else {
 				if (do_schedule) {