Subversion Repositories HelenOS

Rev

Rev 3343 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 3343 Rev 3742
Line 52... Line 52...
52
} bpinfo_t;
52
} bpinfo_t;
53
 
53
 
54
static bpinfo_t breakpoints[BKPOINTS_MAX];
54
static bpinfo_t breakpoints[BKPOINTS_MAX];
55
SPINLOCK_INITIALIZE(bkpoint_lock);
55
SPINLOCK_INITIALIZE(bkpoint_lock);
56
 
56
 
-
 
57
#ifdef CONFIG_KCONSOLE
-
 
58
 
57
static int cmd_print_breakpoints(cmd_arg_t *argv);
59
static int cmd_print_breakpoints(cmd_arg_t *argv);
58
static cmd_info_t bkpts_info = {
60
static cmd_info_t bkpts_info = {
59
    .name = "bkpts",
61
    .name = "bkpts",
60
    .description = "Print breakpoint table.",
62
    .description = "Print breakpoint table.",
61
    .func = cmd_print_breakpoints,
63
    .func = cmd_print_breakpoints,
Line 97... Line 99...
97
    .func = cmd_add_breakpoint,
99
    .func = cmd_add_breakpoint,
98
    .argc = 1,
100
    .argc = 1,
99
    .argv = &addw_argv
101
    .argv = &addw_argv
100
};
102
};
101
 
103
 
102
#endif
-
 
103
 
-
 
104
/** Print table of active breakpoints */
104
#endif /* CONFIG_DEBUG_AS_WATCHPOINT */
105
int cmd_print_breakpoints(cmd_arg_t *argv __attribute__((unused)))
-
 
106
{
-
 
107
    unsigned int i;
-
 
108
    char *symbol;
-
 
109
 
-
 
110
#ifdef __32_BITS__  
105
#endif /* CONFIG_KCONSOLE */
111
    printf("#  Count Address    In symbol\n");
-
 
112
    printf("-- ----- ---------- ---------\n");
-
 
113
#endif
-
 
114
 
-
 
115
#ifdef __64_BITS__
-
 
116
    printf("#  Count Address            In symbol\n");
-
 
117
    printf("-- ----- ------------------ ---------\n");
-
 
118
#endif
-
 
119
   
-
 
120
    for (i = 0; i < BKPOINTS_MAX; i++)
-
 
121
        if (breakpoints[i].address) {
-
 
122
            symbol = get_symtab_entry(breakpoints[i].address);
-
 
123
 
-
 
124
#ifdef __32_BITS__
-
 
125
            printf("%-2u %-5d %#10zx %s\n", i,
-
 
126
                breakpoints[i].counter, breakpoints[i].address,
-
 
127
                symbol);
-
 
128
#endif
-
 
129
 
-
 
130
#ifdef __64_BITS__
-
 
131
            printf("%-2u %-5d %#18zx %s\n", i,
-
 
132
                breakpoints[i].counter, breakpoints[i].address,
-
 
133
                symbol);
-
 
134
#endif
-
 
135
 
-
 
136
        }
-
 
137
    return 1;
-
 
138
}
-
 
139
 
106
 
140
/* Setup DR register according to table */
107
/* Setup DR register according to table */
141
static void setup_dr(int curidx)
108
static void setup_dr(int curidx)
142
{
109
{
143
    unative_t dr7;
110
    unative_t dr7;
Line 265... Line 232...
265
                *((unative_t *) breakpoints[slot].address));
232
                *((unative_t *) breakpoints[slot].address));
266
        }
233
        }
267
    }
234
    }
268
    printf("Reached breakpoint %d:%lx(%s)\n", slot, getip(istate),
235
    printf("Reached breakpoint %d:%lx(%s)\n", slot, getip(istate),
269
        get_symtab_entry(getip(istate)));
236
        get_symtab_entry(getip(istate)));
-
 
237
 
270
    printf("***Type 'exit' to exit kconsole.\n");
238
#ifdef CONFIG_KCONSOLE
271
    atomic_set(&haltstate,1);
239
    atomic_set(&haltstate, 1);
272
    kconsole((void *) "debug");
240
    kconsole("debug", "Debug console ready (type 'exit' to continue)\n", false);
273
    atomic_set(&haltstate,0);
241
    atomic_set(&haltstate, 0);
-
 
242
#endif
274
}
243
}
275
 
244
 
276
void breakpoint_del(int slot)
245
void breakpoint_del(int slot)
277
{
246
{
278
    bpinfo_t *cur;
247
    bpinfo_t *cur;
Line 297... Line 266...
297
#ifdef CONFIG_SMP
266
#ifdef CONFIG_SMP
298
//  ipi_broadcast(VECTOR_DEBUG_IPI);    
267
//  ipi_broadcast(VECTOR_DEBUG_IPI);    
299
#endif
268
#endif
300
}
269
}
301
 
270
 
302
#ifndef CONFIG_DEBUG_AS_WATCHPOINT
-
 
303
 
271
 
304
/** Remove breakpoint from table */
-
 
305
int cmd_del_breakpoint(cmd_arg_t *argv)
-
 
306
{
-
 
307
    unative_t bpno = argv->intval;
-
 
308
    if (bpno > BKPOINTS_MAX) {
-
 
309
        printf("Invalid breakpoint number.\n");
-
 
310
        return 0;
-
 
311
    }
-
 
312
    breakpoint_del(argv->intval);
-
 
313
    return 1;
-
 
314
}
-
 
315
 
-
 
316
/** Add new breakpoint to table */
-
 
317
static int cmd_add_breakpoint(cmd_arg_t *argv)
-
 
318
{
-
 
319
    int flags;
-
 
320
    int id;
-
 
321
 
-
 
322
    if (argv == &add_argv) {
-
 
323
        flags = BKPOINT_INSTR;
-
 
324
    } else { /* addwatchp */
-
 
325
        flags = BKPOINT_WRITE;
-
 
326
    }
-
 
327
    printf("Adding breakpoint on address: %p\n", argv->intval);
-
 
328
    id = breakpoint_add((void *)argv->intval, flags, -1);
-
 
329
    if (id < 0)
-
 
330
        printf("Add breakpoint failed.\n");
-
 
331
    else
-
 
332
        printf("Added breakpoint %d.\n", id);
-
 
333
   
-
 
334
    return 1;
-
 
335
}
-
 
336
#endif
-
 
337
 
272
 
338
static void debug_exception(int n __attribute__((unused)), istate_t *istate)
273
static void debug_exception(int n __attribute__((unused)), istate_t *istate)
339
{
274
{
340
    unative_t dr6;
275
    unative_t dr6;
341
    int i;
276
    int i;
Line 377... Line 312...
377
{
312
{
378
    int i;
313
    int i;
379
 
314
 
380
    for (i = 0; i < BKPOINTS_MAX; i++)
315
    for (i = 0; i < BKPOINTS_MAX; i++)
381
        breakpoints[i].address = NULL;
316
        breakpoints[i].address = NULL;
382
   
317
 
-
 
318
#ifdef CONFIG_KCONSOLE
383
    cmd_initialize(&bkpts_info);
319
    cmd_initialize(&bkpts_info);
384
    if (!cmd_register(&bkpts_info))
320
    if (!cmd_register(&bkpts_info))
385
        panic("could not register command %s\n", bkpts_info.name);
321
        printf("Cannot register command %s\n", bkpts_info.name);
386
 
322
 
387
#ifndef CONFIG_DEBUG_AS_WATCHPOINT
323
#ifndef CONFIG_DEBUG_AS_WATCHPOINT
388
    cmd_initialize(&delbkpt_info);
324
    cmd_initialize(&delbkpt_info);
389
    if (!cmd_register(&delbkpt_info))
325
    if (!cmd_register(&delbkpt_info))
390
        panic("could not register command %s\n", delbkpt_info.name);
326
        printf("Cannot register command %s\n", delbkpt_info.name);
391
 
327
 
392
    cmd_initialize(&addbkpt_info);
328
    cmd_initialize(&addbkpt_info);
393
    if (!cmd_register(&addbkpt_info))
329
    if (!cmd_register(&addbkpt_info))
394
        panic("could not register command %s\n", addbkpt_info.name);
330
        printf("Cannot register command %s\n", addbkpt_info.name);
395
 
331
 
396
    cmd_initialize(&addwatchp_info);
332
    cmd_initialize(&addwatchp_info);
397
    if (!cmd_register(&addwatchp_info))
333
    if (!cmd_register(&addwatchp_info))
398
        panic("could not register command %s\n", addwatchp_info.name);
334
        printf("Cannot register command %s\n", addwatchp_info.name);
-
 
335
#endif /* CONFIG_DEBUG_AS_WATCHPOINT */
399
#endif
336
#endif /* CONFIG_KCONSOLE */
400
   
337
   
401
    exc_register(VECTOR_DEBUG, "debugger", debug_exception);
338
    exc_register(VECTOR_DEBUG, "debugger", debug_exception);
402
#ifdef CONFIG_SMP
339
#ifdef CONFIG_SMP
403
    exc_register(VECTOR_DEBUG_IPI, "debugger_smp", debug_ipi);
340
    exc_register(VECTOR_DEBUG_IPI, "debugger_smp", debug_ipi);
404
#endif
341
#endif
405
}
342
}
406
 
343
 
-
 
344
#ifdef CONFIG_KCONSOLE
-
 
345
/** Print table of active breakpoints */
-
 
346
int cmd_print_breakpoints(cmd_arg_t *argv __attribute__((unused)))
-
 
347
{
-
 
348
    unsigned int i;
-
 
349
    char *symbol;
-
 
350
 
-
 
351
#ifdef __32_BITS__  
-
 
352
    printf("#  Count Address    In symbol\n");
-
 
353
    printf("-- ----- ---------- ---------\n");
-
 
354
#endif
-
 
355
 
-
 
356
#ifdef __64_BITS__
-
 
357
    printf("#  Count Address            In symbol\n");
-
 
358
    printf("-- ----- ------------------ ---------\n");
-
 
359
#endif
-
 
360
   
-
 
361
    for (i = 0; i < BKPOINTS_MAX; i++)
-
 
362
        if (breakpoints[i].address) {
-
 
363
            symbol = get_symtab_entry(breakpoints[i].address);
-
 
364
 
-
 
365
#ifdef __32_BITS__
-
 
366
            printf("%-2u %-5d %#10zx %s\n", i,
-
 
367
                breakpoints[i].counter, breakpoints[i].address,
-
 
368
                symbol);
-
 
369
#endif
-
 
370
 
-
 
371
#ifdef __64_BITS__
-
 
372
            printf("%-2u %-5d %#18zx %s\n", i,
-
 
373
                breakpoints[i].counter, breakpoints[i].address,
-
 
374
                symbol);
-
 
375
#endif
-
 
376
 
-
 
377
        }
-
 
378
    return 1;
-
 
379
}
-
 
380
 
-
 
381
#ifndef CONFIG_DEBUG_AS_WATCHPOINT
-
 
382
 
-
 
383
/** Remove breakpoint from table */
-
 
384
int cmd_del_breakpoint(cmd_arg_t *argv)
-
 
385
{
-
 
386
    unative_t bpno = argv->intval;
-
 
387
    if (bpno > BKPOINTS_MAX) {
-
 
388
        printf("Invalid breakpoint number.\n");
-
 
389
        return 0;
-
 
390
    }
-
 
391
    breakpoint_del(argv->intval);
-
 
392
    return 1;
-
 
393
}
-
 
394
 
-
 
395
/** Add new breakpoint to table */
-
 
396
static int cmd_add_breakpoint(cmd_arg_t *argv)
-
 
397
{
-
 
398
    int flags;
-
 
399
    int id;
-
 
400
 
-
 
401
    if (argv == &add_argv) {
-
 
402
        flags = BKPOINT_INSTR;
-
 
403
    } else { /* addwatchp */
-
 
404
        flags = BKPOINT_WRITE;
-
 
405
    }
-
 
406
    printf("Adding breakpoint on address: %p\n", argv->intval);
-
 
407
    id = breakpoint_add((void *)argv->intval, flags, -1);
-
 
408
    if (id < 0)
-
 
409
        printf("Add breakpoint failed.\n");
-
 
410
    else
-
 
411
        printf("Added breakpoint %d.\n", id);
-
 
412
   
-
 
413
    return 1;
-
 
414
}
-
 
415
#endif /* CONFIG_DEBUG_AS_WATCHPOINT */
-
 
416
#endif /* CONFIG_KCONSOLE */
-
 
417
 
407
/** @}
418
/** @}
408
 */
419
 */