From b09c08e48b77d6026f6be6ac7c5be3f771d661c3 Mon Sep 17 00:00:00 2001 From: Kevin Lange Date: Sat, 12 Apr 2014 18:14:07 -0700 Subject: [PATCH] Remove dead code --- kernel/sys/task.c | 7 ------- 1 file changed, 7 deletions(-) diff --git a/kernel/sys/task.c b/kernel/sys/task.c index c0061f2a..91b4ca15 100644 --- a/kernel/sys/task.c +++ b/kernel/sys/task.c @@ -407,7 +407,6 @@ uint32_t getpid(void) { * perform standard task switching. */ void switch_task(uint8_t reschedule) { - int pause_after = 0; if (!current_process) { /* Tasking is not yet installed. */ return; @@ -457,12 +456,6 @@ void switch_task(uint8_t reschedule) { if (reschedule && current_process != kernel_idle_task) { /* And reinsert it into the ready queue */ make_process_ready((process_t *)current_process); - } else if (pause_after) { - set_kernel_stack(frozen_stack); - while (1) { - IRQ_RES; - PAUSE; - } } /* Switch to the next task */