diff --git a/kernel/process.c b/kernel/process.c
index cdd4ab35..197c3979 100644
--- a/kernel/process.c
+++ b/kernel/process.c
@@ -3118,6 +3118,9 @@ void schedule(void)
 	}
 
 redo:
+	/* Reset for redo */
+	switch_ctx = 0;
+
 	cpu_local_var(runq_irqstate) = 
 		ihk_mc_spinlock_lock(&(get_this_cpu_local_var()->runq_lock));
 	v = get_this_cpu_local_var();