0,0 → 1,39 |
/** @addtogroup generic |
* @{ |
*/ |
|
/** |
* @file |
* @brief Tdebug. |
*/ |
|
#include <synch/waitq.h> |
#include <console/klog.h> |
#include <udebug.h> |
#include <arch.h> |
|
void udebug_stopping_point(void) |
{ |
if (TASK->stop_request) { /* locking! */ |
klog_printf("udebug_stopping_point"); |
IPC_SET_RETVAL(TASK->debug_begin_call->data, 0); |
ipc_answer(&TASK->answerbox, TASK->debug_begin_call); |
TASK->stop_request = false; |
TASK->debug_begin_call = NULL; |
waitq_sleep(&THREAD->go_wq); |
} |
} |
|
void udebug_syscall_event(void) |
{ |
/* being debugged + have go */ |
if (TASK->being_debugged && !TASK->stop_request) { /* locking! */ |
klog_printf("udebug_syscall_event"); |
IPC_SET_RETVAL(TASK->debug_go_call->data, 0); |
ipc_answer(&TASK->answerbox, TASK->debug_go_call); |
waitq_sleep(&THREAD->go_wq); |
} |
} |
|
/** @} |
*/ |