/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 |
} |
} |