/branches/tracing/kernel/generic/src/time/clock.c |
---|
55,7 → 55,6 |
#include <arch/barrier.h> |
#include <mm/frame.h> |
#include <ddi/ddi.h> |
#include <udebug/udebug.h> |
/* Pointer to variable with uptime */ |
uptime_t *uptime; |
190,16 → 189,7 |
spinlock_unlock(&THREAD->lock); |
if (!ticks && !PREEMPTION_DISABLED) { |
/* |
* Make thread stoppable when preempted. |
* Necessary to be able to stop CPU-bound threads |
* that don't do any syscalls. |
*/ |
udebug_stoppable_begin(); |
scheduler(); |
udebug_stoppable_end(); |
} |
} |