Print this page
patch remove-dont-swap-flag

@@ -221,11 +221,10 @@
         label_t pcb = t->t_pcb;
 
         (void) setjmp(&t->t_pcb);
         t->t_flag |= T_PANIC;
 
-        t->t_schedflag |= TS_DONT_SWAP;
         t->t_bound_cpu = cp;
         t->t_preempt++;
 
         panic_enter_hw(s);