| /branches/tracing/kernel/generic/src/time/clock.c |
|---|
| 55,6 → 55,7 |
| #include <arch/barrier.h> |
| #include <mm/frame.h> |
| #include <ddi/ddi.h> |
| #include <udebug/udebug.h> |
| /* Pointer to variable with uptime */ |
| uptime_t *uptime; |
| 189,7 → 190,16 |
| 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(); |
| } |
| } |