Print this page
patch remove-dont-swap-flag

*** 221,231 **** 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); --- 221,230 ----