Rev 2100 | Rev 2767 | 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 | { |
107 | int i; |
||
108 | char *symbol; |
||
109 | |||
110 | printf("Breakpoint table.\n"); |
||
111 | for (i=0; i < BKPOINTS_MAX; i++) |
||
112 | if (breakpoints[i].address) { |
||
113 | symbol = get_symtab_entry(breakpoints[i].address); |
||
2441 | decky | 114 | printf("%d. %lx in %s\n", i, |
1072 | palkovsky | 115 | breakpoints[i].address, symbol); |
116 | printf(" Count(%d) ", breakpoints[i].counter); |
||
117 | printf("\n"); |
||
118 | } |
||
119 | return 1; |
||
120 | } |
||
121 | |||
1077 | palkovsky | 122 | /* Setup DR register according to table */ |
123 | static void setup_dr(int curidx) |
||
124 | { |
||
1780 | jermar | 125 | unative_t dr7; |
1077 | palkovsky | 126 | bpinfo_t *cur = &breakpoints[curidx]; |
127 | int flags = breakpoints[curidx].flags; |
||
128 | |||
129 | /* Disable breakpoint in DR7 */ |
||
130 | dr7 = read_dr7(); |
||
131 | dr7 &= ~(0x2 << (curidx*2)); |
||
132 | |||
133 | if (cur->address) { /* Setup DR register */ |
||
134 | /* Set breakpoint to debug registers */ |
||
135 | switch (curidx) { |
||
136 | case 0: |
||
137 | write_dr0(cur->address); |
||
138 | break; |
||
139 | case 1: |
||
140 | write_dr1(cur->address); |
||
141 | break; |
||
142 | case 2: |
||
143 | write_dr2(cur->address); |
||
144 | break; |
||
145 | case 3: |
||
146 | write_dr3(cur->address); |
||
147 | break; |
||
148 | } |
||
149 | /* Set type to requested breakpoint & length*/ |
||
150 | dr7 &= ~ (0x3 << (16 + 4*curidx)); |
||
151 | dr7 &= ~ (0x3 << (18 + 4*curidx)); |
||
152 | if ((flags & BKPOINT_INSTR)) { |
||
153 | ; |
||
154 | } else { |
||
155 | if (sizeof(int) == 4) |
||
1780 | jermar | 156 | dr7 |= ((unative_t) 0x3) << (18 + 4*curidx); |
1077 | palkovsky | 157 | else /* 8 */ |
1780 | jermar | 158 | dr7 |= ((unative_t) 0x2) << (18 + 4*curidx); |
1077 | palkovsky | 159 | |
160 | if ((flags & BKPOINT_WRITE)) |
||
1780 | jermar | 161 | dr7 |= ((unative_t) 0x1) << (16 + 4*curidx); |
1077 | palkovsky | 162 | else if ((flags & BKPOINT_READ_WRITE)) |
1780 | jermar | 163 | dr7 |= ((unative_t) 0x3) << (16 + 4*curidx); |
1077 | palkovsky | 164 | } |
165 | |||
166 | /* Enable global breakpoint */ |
||
167 | dr7 |= 0x2 << (curidx*2); |
||
168 | |||
169 | write_dr7(dr7); |
||
170 | |||
171 | } |
||
172 | } |
||
173 | |||
1072 | palkovsky | 174 | /** Enable hardware breakpoint |
175 | * |
||
176 | * @param where Address of HW breakpoint |
||
177 | * @param flags Type of breakpoint (EXECUTE, WRITE) |
||
178 | * @return Debug slot on success, -1 - no available HW breakpoint |
||
179 | */ |
||
2441 | decky | 180 | int breakpoint_add(const void *where, const int flags, int curidx) |
1072 | palkovsky | 181 | { |
182 | ipl_t ipl; |
||
183 | int i; |
||
1077 | palkovsky | 184 | bpinfo_t *cur; |
1072 | palkovsky | 185 | |
2441 | decky | 186 | ASSERT(flags & (BKPOINT_INSTR | BKPOINT_WRITE | BKPOINT_READ_WRITE)); |
1072 | palkovsky | 187 | |
188 | ipl = interrupts_disable(); |
||
189 | spinlock_lock(&bkpoint_lock); |
||
190 | |||
1077 | palkovsky | 191 | if (curidx == -1) { |
192 | /* Find free space in slots */ |
||
2441 | decky | 193 | for (i = 0; i < BKPOINTS_MAX; i++) |
1077 | palkovsky | 194 | if (!breakpoints[i].address) { |
195 | curidx = i; |
||
196 | break; |
||
197 | } |
||
198 | if (curidx == -1) { |
||
199 | /* Too many breakpoints */ |
||
200 | spinlock_unlock(&bkpoint_lock); |
||
201 | interrupts_restore(ipl); |
||
202 | return -1; |
||
1072 | palkovsky | 203 | } |
204 | } |
||
1077 | palkovsky | 205 | cur = &breakpoints[curidx]; |
206 | |||
1780 | jermar | 207 | cur->address = (uintptr_t) where; |
1072 | palkovsky | 208 | cur->flags = flags; |
209 | cur->counter = 0; |
||
210 | |||
1077 | palkovsky | 211 | setup_dr(curidx); |
1072 | palkovsky | 212 | |
213 | spinlock_unlock(&bkpoint_lock); |
||
214 | interrupts_restore(ipl); |
||
215 | |||
1077 | palkovsky | 216 | /* Send IPI */ |
217 | #ifdef CONFIG_SMP |
||
218 | // ipi_broadcast(VECTOR_DEBUG_IPI); |
||
219 | #endif |
||
220 | |||
1072 | palkovsky | 221 | return curidx; |
222 | } |
||
223 | |||
1074 | palkovsky | 224 | #ifdef amd64 |
2441 | decky | 225 | # define getip(x) ((x)->rip) |
1074 | palkovsky | 226 | #else |
2441 | decky | 227 | # define getip(x) ((x)->eip) |
1074 | palkovsky | 228 | #endif |
229 | |||
1072 | palkovsky | 230 | static void handle_exception(int slot, istate_t *istate) |
231 | { |
||
232 | ASSERT(breakpoints[slot].address); |
||
233 | |||
234 | /* Handle zero checker */ |
||
235 | if (! (breakpoints[slot].flags & BKPOINT_INSTR)) { |
||
236 | if ((breakpoints[slot].flags & BKPOINT_CHECK_ZERO)) { |
||
1780 | jermar | 237 | if (*((unative_t *) breakpoints[slot].address) != 0) |
1072 | palkovsky | 238 | return; |
2441 | decky | 239 | printf("**** Found ZERO on address %lx (slot %d) ****\n", |
240 | breakpoints[slot].address, slot); |
||
1072 | palkovsky | 241 | } else { |
2441 | decky | 242 | printf("Data watchpoint - new data: %lx\n", |
1780 | jermar | 243 | *((unative_t *) breakpoints[slot].address)); |
1072 | palkovsky | 244 | } |
245 | } |
||
2441 | decky | 246 | printf("Reached breakpoint %d:%lx(%s)\n", slot, getip(istate), |
1074 | palkovsky | 247 | get_symtab_entry(getip(istate))); |
1072 | palkovsky | 248 | printf("***Type 'exit' to exit kconsole.\n"); |
249 | atomic_set(&haltstate,1); |
||
2100 | decky | 250 | kconsole((void *) "debug"); |
1072 | palkovsky | 251 | atomic_set(&haltstate,0); |
252 | } |
||
253 | |||
254 | void breakpoint_del(int slot) |
||
255 | { |
||
256 | bpinfo_t *cur; |
||
257 | ipl_t ipl; |
||
258 | |||
259 | ipl = interrupts_disable(); |
||
260 | spinlock_lock(&bkpoint_lock); |
||
261 | |||
262 | cur = &breakpoints[slot]; |
||
263 | if (!cur->address) { |
||
264 | spinlock_unlock(&bkpoint_lock); |
||
265 | interrupts_restore(ipl); |
||
266 | return; |
||
267 | } |
||
268 | |||
269 | cur->address = NULL; |
||
270 | |||
1077 | palkovsky | 271 | setup_dr(slot); |
1072 | palkovsky | 272 | |
273 | spinlock_unlock(&bkpoint_lock); |
||
274 | interrupts_restore(ipl); |
||
1077 | palkovsky | 275 | #ifdef CONFIG_SMP |
276 | // ipi_broadcast(VECTOR_DEBUG_IPI); |
||
277 | #endif |
||
1072 | palkovsky | 278 | } |
279 | |||
1077 | palkovsky | 280 | #ifndef CONFIG_DEBUG_AS_WATCHPOINT |
281 | |||
1072 | palkovsky | 282 | /** Remove breakpoint from table */ |
283 | int cmd_del_breakpoint(cmd_arg_t *argv) |
||
284 | { |
||
285 | if (argv->intval < 0 || argv->intval > BKPOINTS_MAX) { |
||
286 | printf("Invalid breakpoint number.\n"); |
||
287 | return 0; |
||
288 | } |
||
289 | breakpoint_del(argv->intval); |
||
290 | return 1; |
||
291 | } |
||
292 | |||
293 | /** Add new breakpoint to table */ |
||
294 | static int cmd_add_breakpoint(cmd_arg_t *argv) |
||
295 | { |
||
296 | int flags; |
||
1077 | palkovsky | 297 | int id; |
1072 | palkovsky | 298 | |
299 | if (argv == &add_argv) { |
||
300 | flags = BKPOINT_INSTR; |
||
301 | } else { /* addwatchp */ |
||
302 | flags = BKPOINT_WRITE; |
||
303 | } |
||
304 | printf("Adding breakpoint on address: %p\n", argv->intval); |
||
1077 | palkovsky | 305 | id = breakpoint_add((void *)argv->intval, flags, -1); |
306 | if (id < 0) |
||
1072 | palkovsky | 307 | printf("Add breakpoint failed.\n"); |
1077 | palkovsky | 308 | else |
309 | printf("Added breakpoint %d.\n", id); |
||
1072 | palkovsky | 310 | |
311 | return 1; |
||
312 | } |
||
1077 | palkovsky | 313 | #endif |
1072 | palkovsky | 314 | |
2441 | decky | 315 | static void debug_exception(int n __attribute__((unused)), istate_t *istate) |
1077 | palkovsky | 316 | { |
1780 | jermar | 317 | unative_t dr6; |
1077 | palkovsky | 318 | int i; |
319 | |||
320 | /* Set RF to restart the instruction */ |
||
321 | #ifdef amd64 |
||
322 | istate->rflags |= RFLAGS_RF; |
||
323 | #else |
||
324 | istate->eflags |= EFLAGS_RF; |
||
325 | #endif |
||
326 | |||
327 | dr6 = read_dr6(); |
||
328 | for (i=0; i < BKPOINTS_MAX; i++) { |
||
329 | if (dr6 & (1 << i)) { |
||
330 | dr6 &= ~ (1 << i); |
||
331 | write_dr6(dr6); |
||
332 | |||
333 | handle_exception(i, istate); |
||
334 | } |
||
335 | } |
||
336 | } |
||
337 | |||
338 | #ifdef CONFIG_SMP |
||
2441 | decky | 339 | static void debug_ipi(int n __attribute__((unused)), istate_t *istate __attribute__((unused))) |
1077 | palkovsky | 340 | { |
341 | int i; |
||
342 | |||
343 | spinlock_lock(&bkpoint_lock); |
||
2441 | decky | 344 | for (i = 0; i < BKPOINTS_MAX; i++) |
1077 | palkovsky | 345 | setup_dr(i); |
346 | spinlock_unlock(&bkpoint_lock); |
||
347 | } |
||
348 | #endif |
||
349 | |||
1072 | palkovsky | 350 | /** Initialize debugger */ |
351 | void debugger_init() |
||
352 | { |
||
353 | int i; |
||
354 | |||
355 | for (i=0; i<BKPOINTS_MAX; i++) |
||
356 | breakpoints[i].address = NULL; |
||
357 | |||
358 | cmd_initialize(&bkpts_info); |
||
359 | if (!cmd_register(&bkpts_info)) |
||
360 | panic("could not register command %s\n", bkpts_info.name); |
||
361 | |||
1077 | palkovsky | 362 | #ifndef CONFIG_DEBUG_AS_WATCHPOINT |
1072 | palkovsky | 363 | cmd_initialize(&delbkpt_info); |
364 | if (!cmd_register(&delbkpt_info)) |
||
365 | panic("could not register command %s\n", delbkpt_info.name); |
||
366 | |||
367 | cmd_initialize(&addbkpt_info); |
||
368 | if (!cmd_register(&addbkpt_info)) |
||
369 | panic("could not register command %s\n", addbkpt_info.name); |
||
370 | |||
371 | cmd_initialize(&addwatchp_info); |
||
372 | if (!cmd_register(&addwatchp_info)) |
||
373 | panic("could not register command %s\n", addwatchp_info.name); |
||
1077 | palkovsky | 374 | #endif |
1072 | palkovsky | 375 | |
376 | exc_register(VECTOR_DEBUG, "debugger", |
||
377 | debug_exception); |
||
1077 | palkovsky | 378 | #ifdef CONFIG_SMP |
379 | exc_register(VECTOR_DEBUG_IPI, "debugger_smp", |
||
380 | debug_ipi); |
||
381 | #endif |
||
1072 | palkovsky | 382 | } |
1702 | cejka | 383 | |
1888 | jermar | 384 | /** @} |
1702 | cejka | 385 | */ |