| /branches/tracing/kernel/generic/src/time/clock.c |
|---|
| 53,6 → 53,7 |
| #include <proc/thread.h> |
| #include <sysinfo/sysinfo.h> |
| #include <arch/barrier.h> |
| #include <arch/interrupt.h> |
| #include <mm/frame.h> |
| #include <ddi/ddi.h> |
| #include <udebug/udebug.h> |
| 198,7 → 199,8 |
| * Give udebug chance to stop the thread |
| * before it begins executing. |
| */ |
| udebug_before_thread_runs(); |
| if (istate_from_uspace(THREAD->udebug.uspace_state)) |
| udebug_before_thread_runs(); |
| #endif |
| } |
| } |