Fix timeout.

2017-11-10 15:45:45 +09:00
parent 55b011a721
commit b572e3f8e0
2 changed files with 5 additions and 0 deletions
--- a/chopstx.c
+++ b/chopstx.c
@@ -382,6 +382,7 @@ chx_timer_expired (void)
    {
      uint32_t next_tick = tp->v;

+      tp->v = (uintptr_t)0;
      chx_ready_enqueue (tp);
      if (tp == running)	/* tp->flag_sched_rr == 1 */
 	prio = MAX_PRIO;