/branches/tracing/kernel/generic/src/time/clock.c |
---|
53,7 → 53,6 |
#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> |
199,8 → 198,7 |
* Give udebug chance to stop the thread |
* before it begins executing. |
*/ |
if (istate_from_uspace(THREAD->udebug.uspace_state)) |
udebug_before_thread_runs(); |
udebug_before_thread_runs(); |
#endif |
} |
} |