46,6 → 46,7 |
#include "cmd.h" |
#include "cons.h" |
#include "dthread.h" |
#include "breakpoint.h" |
#include "include/arch.h" |
#include "fib_synch.h" |
#include "main.h" |
67,9 → 68,6 |
|
volatile int paused; |
|
breakpoint_t brk_list[MAX_BRKPTS]; |
int lifted_brkpt; |
|
fcv_t go_cv; |
|
static void command_split(char *cmd_str) |
156,9 → 154,13 |
/* |
* Called by a fibril (from arch code) when a breakpoint is hit. |
*/ |
void breakpoint_hit(void) |
void breakpoint_hit(breakpoint_t *b) |
{ |
cons_printf("breakpoint hit\n"); |
dthread_t *dt; |
|
dt = dthread_get(); |
cons_printf("Thread %d hit breakpoint %d at 0x%lx\n", |
dt->id, b->id, b->addr); |
thread_stop(); |
} |
|
387,6 → 389,7 |
paused = 0; |
|
list_initialize(&dthreads); |
breakpoint_init(); |
cwt = NULL; |
|
fcv_init(&go_cv); |