98,13 → 98,17 |
|
void arch_breakpoint_list(void) |
{ |
int i; |
int i, cnt; |
|
cnt = 0; |
for (i = 0; i < MAX_BRKPTS; ++i) { |
if (brk_list[i].set != 0) { |
printf("Breakpoint %d at 0x%lx\n", i, brk_list[i].addr); |
cons_printf("Breakpoint %d at 0x%lx\n", i, |
brk_list[i].addr); |
++cnt; |
} |
} |
if (cnt == 0) cons_printf("No breakpoints set\n"); |
} |
|
void arch_event_breakpoint(thash_t thread_hash) |
173,8 → 177,6 |
static istate_t istate; |
int rc; |
|
printf("arch_dump_regs...\n"); |
|
rc = udebug_regs_read(app_phone, thash, &istate); |
if (rc < 0) { cons_printf("Error reading regs\n"); return; } |
|