Rev 3424 | Rev 4377 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 1072 | palkovsky | 1 | /* |
| 2071 | jermar | 2 | * Copyright (c) 2006 Ondrej Palkovsky |
| 1072 | palkovsky | 3 | * All rights reserved. |
| 4 | * |
||
| 5 | * Redistribution and use in source and binary forms, with or without |
||
| 6 | * modification, are permitted provided that the following conditions |
||
| 7 | * are met: |
||
| 8 | * |
||
| 9 | * - Redistributions of source code must retain the above copyright |
||
| 10 | * notice, this list of conditions and the following disclaimer. |
||
| 11 | * - Redistributions in binary form must reproduce the above copyright |
||
| 12 | * notice, this list of conditions and the following disclaimer in the |
||
| 13 | * documentation and/or other materials provided with the distribution. |
||
| 14 | * - The name of the author may not be used to endorse or promote products |
||
| 15 | * derived from this software without specific prior written permission. |
||
| 16 | * |
||
| 17 | * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR |
||
| 18 | * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES |
||
| 19 | * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. |
||
| 20 | * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, |
||
| 21 | * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT |
||
| 22 | * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, |
||
| 23 | * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY |
||
| 24 | * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
||
| 25 | * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF |
||
| 26 | * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
||
| 27 | */ |
||
| 28 | |||
| 1888 | jermar | 29 | /** @addtogroup amd64debug |
| 1702 | cejka | 30 | * @{ |
| 31 | */ |
||
| 32 | /** @file |
||
| 33 | */ |
||
| 34 | |||
| 1072 | palkovsky | 35 | #include <arch/debugger.h> |
| 36 | #include <console/kconsole.h> |
||
| 37 | #include <console/cmd.h> |
||
| 38 | #include <symtab.h> |
||
| 39 | #include <print.h> |
||
| 40 | #include <panic.h> |
||
| 41 | #include <interrupt.h> |
||
| 42 | #include <arch/asm.h> |
||
| 43 | #include <arch/cpu.h> |
||
| 44 | #include <debug.h> |
||
| 45 | #include <func.h> |
||
| 1077 | palkovsky | 46 | #include <smp/ipi.h> |
| 1072 | palkovsky | 47 | |
| 48 | typedef struct { |
||
| 1780 | jermar | 49 | uintptr_t address; /**< Breakpoint address */ |
| 1072 | palkovsky | 50 | int flags; /**< Flags regarding breakpoint */ |
| 51 | int counter; /**< How many times the exception occured */ |
||
| 52 | } bpinfo_t; |
||
| 53 | |||
| 54 | static bpinfo_t breakpoints[BKPOINTS_MAX]; |
||
| 55 | SPINLOCK_INITIALIZE(bkpoint_lock); |
||
| 56 | |||
| 57 | static int cmd_print_breakpoints(cmd_arg_t *argv); |
||
| 58 | static cmd_info_t bkpts_info = { |
||
| 59 | .name = "bkpts", |
||
| 60 | .description = "Print breakpoint table.", |
||
| 61 | .func = cmd_print_breakpoints, |
||
| 62 | .argc = 0, |
||
| 63 | }; |
||
| 64 | |||
| 1077 | palkovsky | 65 | #ifndef CONFIG_DEBUG_AS_WATCHPOINT |
| 66 | |||
| 1072 | palkovsky | 67 | static int cmd_del_breakpoint(cmd_arg_t *argv); |
| 68 | static cmd_arg_t del_argv = { |
||
| 69 | .type = ARG_TYPE_INT |
||
| 70 | }; |
||
| 71 | static cmd_info_t delbkpt_info = { |
||
| 72 | .name = "delbkpt", |
||
| 73 | .description = "delbkpt <number> - Delete breakpoint.", |
||
| 74 | .func = cmd_del_breakpoint, |
||
| 75 | .argc = 1, |
||
| 76 | .argv = &del_argv |
||
| 77 | }; |
||
| 78 | |||
| 79 | static int cmd_add_breakpoint(cmd_arg_t *argv); |
||
| 80 | static cmd_arg_t add_argv = { |
||
| 81 | .type = ARG_TYPE_INT |
||
| 82 | }; |
||
| 83 | static cmd_info_t addbkpt_info = { |
||
| 84 | .name = "addbkpt", |
||
| 85 | .description = "addbkpt <&symbol> - new breakpoint.", |
||
| 86 | .func = cmd_add_breakpoint, |
||
| 87 | .argc = 1, |
||
| 88 | .argv = &add_argv |
||
| 89 | }; |
||
| 90 | |||
| 91 | static cmd_arg_t addw_argv = { |
||
| 92 | .type = ARG_TYPE_INT |
||
| 93 | }; |
||
| 94 | static cmd_info_t addwatchp_info = { |
||
| 95 | .name = "addwatchp", |
||
| 96 | .description = "addbwatchp <&symbol> - new write watchpoint.", |
||
| 97 | .func = cmd_add_breakpoint, |
||
| 98 | .argc = 1, |
||
| 99 | .argv = &addw_argv |
||
| 100 | }; |
||
| 101 | |||
| 1077 | palkovsky | 102 | #endif |
| 1072 | palkovsky | 103 | |
| 104 | /** Print table of active breakpoints */ |
||
| 2441 | decky | 105 | int cmd_print_breakpoints(cmd_arg_t *argv __attribute__((unused))) |
| 1072 | palkovsky | 106 | { |
| 2712 | decky | 107 | unsigned int i; |
| 1072 | palkovsky | 108 | char *symbol; |
| 3424 | svoboda | 109 | |
| 110 | #ifdef __32_BITS__ |
||
| 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 |
||
| 2712 | decky | 119 | |
| 120 | for (i = 0; i < BKPOINTS_MAX; i++) |
||
| 1072 | palkovsky | 121 | if (breakpoints[i].address) { |
| 122 | symbol = get_symtab_entry(breakpoints[i].address); |
||
| 3424 | svoboda | 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 | |||
| 1072 | palkovsky | 136 | } |
| 137 | return 1; |
||
| 138 | } |
||
| 139 | |||
| 1077 | palkovsky | 140 | /* Setup DR register according to table */ |
| 141 | static void setup_dr(int curidx) |
||
| 142 | { |
||
| 1780 | jermar | 143 | unative_t dr7; |
| 1077 | palkovsky | 144 | bpinfo_t *cur = &breakpoints[curidx]; |
| 145 | int flags = breakpoints[curidx].flags; |
||
| 146 | |||
| 147 | /* Disable breakpoint in DR7 */ |
||
| 148 | dr7 = read_dr7(); |
||
| 149 | dr7 &= ~(0x2 << (curidx*2)); |
||
| 150 | |||
| 151 | if (cur->address) { /* Setup DR register */ |
||
| 152 | /* Set breakpoint to debug registers */ |
||
| 153 | switch (curidx) { |
||
| 154 | case 0: |
||
| 155 | write_dr0(cur->address); |
||
| 156 | break; |
||
| 157 | case 1: |
||
| 158 | write_dr1(cur->address); |
||
| 159 | break; |
||
| 160 | case 2: |
||
| 161 | write_dr2(cur->address); |
||
| 162 | break; |
||
| 163 | case 3: |
||
| 164 | write_dr3(cur->address); |
||
| 165 | break; |
||
| 166 | } |
||
| 167 | /* Set type to requested breakpoint & length*/ |
||
| 168 | dr7 &= ~ (0x3 << (16 + 4*curidx)); |
||
| 169 | dr7 &= ~ (0x3 << (18 + 4*curidx)); |
||
| 170 | if ((flags & BKPOINT_INSTR)) { |
||
| 171 | ; |
||
| 172 | } else { |
||
| 3424 | svoboda | 173 | |
| 174 | #ifdef __32_BITS__ |
||
| 175 | dr7 |= ((unative_t) 0x3) << (18 + 4 * curidx); |
||
| 176 | #endif |
||
| 177 | |||
| 178 | #ifdef __64_BITS__ |
||
| 179 | dr7 |= ((unative_t) 0x2) << (18 + 4 * curidx); |
||
| 180 | #endif |
||
| 1077 | palkovsky | 181 | |
| 182 | if ((flags & BKPOINT_WRITE)) |
||
| 3424 | svoboda | 183 | dr7 |= ((unative_t) 0x1) << (16 + 4 * curidx); |
| 1077 | palkovsky | 184 | else if ((flags & BKPOINT_READ_WRITE)) |
| 3424 | svoboda | 185 | dr7 |= ((unative_t) 0x3) << (16 + 4 * curidx); |
| 1077 | palkovsky | 186 | } |
| 187 | |||
| 188 | /* Enable global breakpoint */ |
||
| 3424 | svoboda | 189 | dr7 |= 0x2 << (curidx * 2); |
| 1077 | palkovsky | 190 | |
| 191 | write_dr7(dr7); |
||
| 192 | |||
| 193 | } |
||
| 194 | } |
||
| 195 | |||
| 1072 | palkovsky | 196 | /** Enable hardware breakpoint |
| 197 | * |
||
| 198 | * @param where Address of HW breakpoint |
||
| 199 | * @param flags Type of breakpoint (EXECUTE, WRITE) |
||
| 200 | * @return Debug slot on success, -1 - no available HW breakpoint |
||
| 201 | */ |
||
| 2441 | decky | 202 | int breakpoint_add(const void *where, const int flags, int curidx) |
| 1072 | palkovsky | 203 | { |
| 204 | ipl_t ipl; |
||
| 205 | int i; |
||
| 1077 | palkovsky | 206 | bpinfo_t *cur; |
| 1072 | palkovsky | 207 | |
| 2441 | decky | 208 | ASSERT(flags & (BKPOINT_INSTR | BKPOINT_WRITE | BKPOINT_READ_WRITE)); |
| 1072 | palkovsky | 209 | |
| 210 | ipl = interrupts_disable(); |
||
| 211 | spinlock_lock(&bkpoint_lock); |
||
| 212 | |||
| 1077 | palkovsky | 213 | if (curidx == -1) { |
| 214 | /* Find free space in slots */ |
||
| 2441 | decky | 215 | for (i = 0; i < BKPOINTS_MAX; i++) |
| 1077 | palkovsky | 216 | if (!breakpoints[i].address) { |
| 217 | curidx = i; |
||
| 218 | break; |
||
| 219 | } |
||
| 220 | if (curidx == -1) { |
||
| 221 | /* Too many breakpoints */ |
||
| 222 | spinlock_unlock(&bkpoint_lock); |
||
| 223 | interrupts_restore(ipl); |
||
| 224 | return -1; |
||
| 1072 | palkovsky | 225 | } |
| 226 | } |
||
| 1077 | palkovsky | 227 | cur = &breakpoints[curidx]; |
| 228 | |||
| 1780 | jermar | 229 | cur->address = (uintptr_t) where; |
| 1072 | palkovsky | 230 | cur->flags = flags; |
| 231 | cur->counter = 0; |
||
| 232 | |||
| 1077 | palkovsky | 233 | setup_dr(curidx); |
| 1072 | palkovsky | 234 | |
| 235 | spinlock_unlock(&bkpoint_lock); |
||
| 236 | interrupts_restore(ipl); |
||
| 237 | |||
| 1077 | palkovsky | 238 | /* Send IPI */ |
| 239 | #ifdef CONFIG_SMP |
||
| 240 | // ipi_broadcast(VECTOR_DEBUG_IPI); |
||
| 241 | #endif |
||
| 242 | |||
| 1072 | palkovsky | 243 | return curidx; |
| 244 | } |
||
| 245 | |||
| 1074 | palkovsky | 246 | #ifdef amd64 |
| 2441 | decky | 247 | # define getip(x) ((x)->rip) |
| 1074 | palkovsky | 248 | #else |
| 2441 | decky | 249 | # define getip(x) ((x)->eip) |
| 1074 | palkovsky | 250 | #endif |
| 251 | |||
| 1072 | palkovsky | 252 | static void handle_exception(int slot, istate_t *istate) |
| 253 | { |
||
| 254 | ASSERT(breakpoints[slot].address); |
||
| 255 | |||
| 256 | /* Handle zero checker */ |
||
| 257 | if (! (breakpoints[slot].flags & BKPOINT_INSTR)) { |
||
| 258 | if ((breakpoints[slot].flags & BKPOINT_CHECK_ZERO)) { |
||
| 1780 | jermar | 259 | if (*((unative_t *) breakpoints[slot].address) != 0) |
| 1072 | palkovsky | 260 | return; |
| 3424 | svoboda | 261 | printf("*** Found ZERO on address %lx (slot %d) ***\n", |
| 262 | breakpoints[slot].address, slot); |
||
| 1072 | palkovsky | 263 | } else { |
| 2441 | decky | 264 | printf("Data watchpoint - new data: %lx\n", |
| 3424 | svoboda | 265 | *((unative_t *) breakpoints[slot].address)); |
| 1072 | palkovsky | 266 | } |
| 267 | } |
||
| 2441 | decky | 268 | printf("Reached breakpoint %d:%lx(%s)\n", slot, getip(istate), |
| 3424 | svoboda | 269 | get_symtab_entry(getip(istate))); |
| 1072 | palkovsky | 270 | printf("***Type 'exit' to exit kconsole.\n"); |
| 271 | atomic_set(&haltstate,1); |
||
| 2100 | decky | 272 | kconsole((void *) "debug"); |
| 1072 | palkovsky | 273 | atomic_set(&haltstate,0); |
| 274 | } |
||
| 275 | |||
| 276 | void breakpoint_del(int slot) |
||
| 277 | { |
||
| 278 | bpinfo_t *cur; |
||
| 279 | ipl_t ipl; |
||
| 280 | |||
| 281 | ipl = interrupts_disable(); |
||
| 282 | spinlock_lock(&bkpoint_lock); |
||
| 283 | |||
| 284 | cur = &breakpoints[slot]; |
||
| 285 | if (!cur->address) { |
||
| 286 | spinlock_unlock(&bkpoint_lock); |
||
| 287 | interrupts_restore(ipl); |
||
| 288 | return; |
||
| 289 | } |
||
| 290 | |||
| 291 | cur->address = NULL; |
||
| 292 | |||
| 1077 | palkovsky | 293 | setup_dr(slot); |
| 1072 | palkovsky | 294 | |
| 295 | spinlock_unlock(&bkpoint_lock); |
||
| 296 | interrupts_restore(ipl); |
||
| 1077 | palkovsky | 297 | #ifdef CONFIG_SMP |
| 298 | // ipi_broadcast(VECTOR_DEBUG_IPI); |
||
| 299 | #endif |
||
| 1072 | palkovsky | 300 | } |
| 301 | |||
| 1077 | palkovsky | 302 | #ifndef CONFIG_DEBUG_AS_WATCHPOINT |
| 303 | |||
| 1072 | palkovsky | 304 | /** Remove breakpoint from table */ |
| 305 | int cmd_del_breakpoint(cmd_arg_t *argv) |
||
| 306 | { |
||
| 2767 | jermar | 307 | unative_t bpno = argv->intval; |
| 308 | if (bpno > BKPOINTS_MAX) { |
||
| 1072 | palkovsky | 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; |
||
| 1077 | palkovsky | 320 | int id; |
| 1072 | palkovsky | 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); |
||
| 1077 | palkovsky | 328 | id = breakpoint_add((void *)argv->intval, flags, -1); |
| 329 | if (id < 0) |
||
| 1072 | palkovsky | 330 | printf("Add breakpoint failed.\n"); |
| 1077 | palkovsky | 331 | else |
| 332 | printf("Added breakpoint %d.\n", id); |
||
| 1072 | palkovsky | 333 | |
| 334 | return 1; |
||
| 335 | } |
||
| 1077 | palkovsky | 336 | #endif |
| 1072 | palkovsky | 337 | |
| 2441 | decky | 338 | static void debug_exception(int n __attribute__((unused)), istate_t *istate) |
| 1077 | palkovsky | 339 | { |
| 1780 | jermar | 340 | unative_t dr6; |
| 1077 | palkovsky | 341 | int i; |
| 342 | |||
| 2921 | svoboda | 343 | dr6 = read_dr6(); |
| 344 | |||
| 3431 | svoboda | 345 | #ifdef CONFIG_UDEBUG |
| 2921 | svoboda | 346 | if (dr6 & DR6_BS) { |
| 347 | if (THREAD && istate_from_uspace(istate)) { |
||
| 348 | /* |
||
| 349 | * The userspace thread has TF set and executed |
||
| 350 | * an instruction |
||
| 351 | */ |
||
| 352 | udebug_trap_event(istate->eip); |
||
| 353 | return; |
||
| 354 | } |
||
| 355 | } |
||
| 3431 | svoboda | 356 | #endif |
| 2921 | svoboda | 357 | |
| 1077 | palkovsky | 358 | /* Set RF to restart the instruction */ |
| 359 | #ifdef amd64 |
||
| 360 | istate->rflags |= RFLAGS_RF; |
||
| 361 | #else |
||
| 362 | istate->eflags |= EFLAGS_RF; |
||
| 363 | #endif |
||
| 364 | |||
| 365 | for (i=0; i < BKPOINTS_MAX; i++) { |
||
| 366 | if (dr6 & (1 << i)) { |
||
| 367 | dr6 &= ~ (1 << i); |
||
| 368 | write_dr6(dr6); |
||
| 369 | |||
| 370 | handle_exception(i, istate); |
||
| 371 | } |
||
| 372 | } |
||
| 373 | } |
||
| 374 | |||
| 375 | #ifdef CONFIG_SMP |
||
| 3424 | svoboda | 376 | static void |
| 377 | debug_ipi(int n __attribute__((unused)), |
||
| 378 | istate_t *istate __attribute__((unused))) |
||
| 1077 | palkovsky | 379 | { |
| 380 | int i; |
||
| 381 | |||
| 382 | spinlock_lock(&bkpoint_lock); |
||
| 2441 | decky | 383 | for (i = 0; i < BKPOINTS_MAX; i++) |
| 1077 | palkovsky | 384 | setup_dr(i); |
| 385 | spinlock_unlock(&bkpoint_lock); |
||
| 386 | } |
||
| 387 | #endif |
||
| 388 | |||
| 1072 | palkovsky | 389 | /** Initialize debugger */ |
| 390 | void debugger_init() |
||
| 391 | { |
||
| 392 | int i; |
||
| 393 | |||
| 3424 | svoboda | 394 | for (i = 0; i < BKPOINTS_MAX; i++) |
| 1072 | palkovsky | 395 | breakpoints[i].address = NULL; |
| 396 | |||
| 397 | cmd_initialize(&bkpts_info); |
||
| 398 | if (!cmd_register(&bkpts_info)) |
||
| 399 | panic("could not register command %s\n", bkpts_info.name); |
||
| 400 | |||
| 1077 | palkovsky | 401 | #ifndef CONFIG_DEBUG_AS_WATCHPOINT |
| 1072 | palkovsky | 402 | cmd_initialize(&delbkpt_info); |
| 403 | if (!cmd_register(&delbkpt_info)) |
||
| 404 | panic("could not register command %s\n", delbkpt_info.name); |
||
| 405 | |||
| 406 | cmd_initialize(&addbkpt_info); |
||
| 407 | if (!cmd_register(&addbkpt_info)) |
||
| 408 | panic("could not register command %s\n", addbkpt_info.name); |
||
| 409 | |||
| 410 | cmd_initialize(&addwatchp_info); |
||
| 411 | if (!cmd_register(&addwatchp_info)) |
||
| 412 | panic("could not register command %s\n", addwatchp_info.name); |
||
| 1077 | palkovsky | 413 | #endif |
| 1072 | palkovsky | 414 | |
| 3424 | svoboda | 415 | exc_register(VECTOR_DEBUG, "debugger", debug_exception); |
| 1077 | palkovsky | 416 | #ifdef CONFIG_SMP |
| 3424 | svoboda | 417 | exc_register(VECTOR_DEBUG_IPI, "debugger_smp", debug_ipi); |
| 1077 | palkovsky | 418 | #endif |
| 1072 | palkovsky | 419 | } |
| 1702 | cejka | 420 | |
| 1888 | jermar | 421 | /** @} |
| 1702 | cejka | 422 | */ |