db_interface.c revision 1.16 1 1.16 thorpej /* $NetBSD: db_interface.c,v 1.16 2002/01/17 23:56:01 thorpej Exp $ */
2 1.1 matt
3 1.1 matt /*
4 1.1 matt * Copyright (c) 1996 Scott K. Stevens
5 1.1 matt *
6 1.1 matt * Mach Operating System
7 1.1 matt * Copyright (c) 1991,1990 Carnegie Mellon University
8 1.1 matt * All Rights Reserved.
9 1.1 matt *
10 1.1 matt * Permission to use, copy, modify and distribute this software and its
11 1.1 matt * documentation is hereby granted, provided that both the copyright
12 1.1 matt * notice and this permission notice appear in all copies of the
13 1.1 matt * software, derivative works or modified versions, and any portions
14 1.1 matt * thereof, and that both notices appear in supporting documentation.
15 1.1 matt *
16 1.1 matt * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS "AS IS"
17 1.1 matt * CONDITION. CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR
18 1.1 matt * ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
19 1.1 matt *
20 1.1 matt * Carnegie Mellon requests users of this software to return to
21 1.1 matt *
22 1.1 matt * Software Distribution Coordinator or Software.Distribution (at) CS.CMU.EDU
23 1.1 matt * School of Computer Science
24 1.1 matt * Carnegie Mellon University
25 1.1 matt * Pittsburgh PA 15213-3890
26 1.1 matt *
27 1.1 matt * any improvements or extensions that they make and grant Carnegie the
28 1.1 matt * rights to redistribute these changes.
29 1.1 matt *
30 1.1 matt * From: db_interface.c,v 2.4 1991/02/05 17:11:13 mrt (CMU)
31 1.1 matt */
32 1.1 matt
33 1.1 matt /*
34 1.1 matt * Interface to new debugger.
35 1.1 matt */
36 1.1 matt #include "opt_ddb.h"
37 1.1 matt
38 1.1 matt #include <sys/param.h>
39 1.1 matt #include <sys/proc.h>
40 1.1 matt #include <sys/reboot.h>
41 1.1 matt #include <sys/systm.h> /* just for boothowto */
42 1.1 matt #include <sys/exec.h>
43 1.1 matt
44 1.1 matt #include <uvm/uvm_extern.h>
45 1.1 matt
46 1.13 chris #include <arm/arm32/db_machdep.h>
47 1.9 thorpej #include <arm/arm32/katelib.h>
48 1.11 thorpej #include <arm/undefined.h>
49 1.13 chris #include <ddb/db_access.h>
50 1.1 matt #include <ddb/db_command.h>
51 1.1 matt #include <ddb/db_output.h>
52 1.1 matt #include <ddb/db_variables.h>
53 1.1 matt #include <ddb/db_sym.h>
54 1.1 matt #include <ddb/db_extern.h>
55 1.1 matt #include <ddb/db_interface.h>
56 1.1 matt #include <dev/cons.h>
57 1.1 matt
58 1.1 matt static int nil;
59 1.1 matt
60 1.1 matt int db_access_und_sp __P((const struct db_variable *, db_expr_t *, int));
61 1.1 matt int db_access_abt_sp __P((const struct db_variable *, db_expr_t *, int));
62 1.1 matt int db_access_irq_sp __P((const struct db_variable *, db_expr_t *, int));
63 1.1 matt u_int db_fetch_reg __P((int, db_regs_t *));
64 1.1 matt
65 1.15 thorpej int db_trapper __P((u_int, u_int, trapframe_t *, int));
66 1.13 chris
67 1.1 matt const struct db_variable db_regs[] = {
68 1.1 matt { "spsr", (long *)&DDB_REGS->tf_spsr, FCN_NULL, },
69 1.1 matt { "r0", (long *)&DDB_REGS->tf_r0, FCN_NULL, },
70 1.1 matt { "r1", (long *)&DDB_REGS->tf_r1, FCN_NULL, },
71 1.1 matt { "r2", (long *)&DDB_REGS->tf_r2, FCN_NULL, },
72 1.1 matt { "r3", (long *)&DDB_REGS->tf_r3, FCN_NULL, },
73 1.1 matt { "r4", (long *)&DDB_REGS->tf_r4, FCN_NULL, },
74 1.1 matt { "r5", (long *)&DDB_REGS->tf_r5, FCN_NULL, },
75 1.1 matt { "r6", (long *)&DDB_REGS->tf_r6, FCN_NULL, },
76 1.1 matt { "r7", (long *)&DDB_REGS->tf_r7, FCN_NULL, },
77 1.1 matt { "r8", (long *)&DDB_REGS->tf_r8, FCN_NULL, },
78 1.1 matt { "r9", (long *)&DDB_REGS->tf_r9, FCN_NULL, },
79 1.1 matt { "r10", (long *)&DDB_REGS->tf_r10, FCN_NULL, },
80 1.1 matt { "r11", (long *)&DDB_REGS->tf_r11, FCN_NULL, },
81 1.1 matt { "r12", (long *)&DDB_REGS->tf_r12, FCN_NULL, },
82 1.1 matt { "usr_sp", (long *)&DDB_REGS->tf_usr_sp, FCN_NULL, },
83 1.1 matt { "usr_lr", (long *)&DDB_REGS->tf_usr_lr, FCN_NULL, },
84 1.1 matt { "svc_sp", (long *)&DDB_REGS->tf_svc_sp, FCN_NULL, },
85 1.1 matt { "svc_lr", (long *)&DDB_REGS->tf_svc_lr, FCN_NULL, },
86 1.1 matt { "pc", (long *)&DDB_REGS->tf_pc, FCN_NULL, },
87 1.1 matt { "und_sp", (long *)&nil, db_access_und_sp, },
88 1.1 matt { "abt_sp", (long *)&nil, db_access_abt_sp, },
89 1.1 matt { "irq_sp", (long *)&nil, db_access_irq_sp, },
90 1.1 matt };
91 1.1 matt
92 1.1 matt const struct db_variable * const db_eregs = db_regs + sizeof(db_regs)/sizeof(db_regs[0]);
93 1.1 matt
94 1.1 matt extern label_t *db_recover;
95 1.1 matt
96 1.1 matt int db_active = 0;
97 1.1 matt
98 1.15 thorpej int
99 1.15 thorpej db_access_und_sp(const struct db_variable *vp, db_expr_t *valp, int rw)
100 1.1 matt {
101 1.15 thorpej
102 1.1 matt if (rw == DB_VAR_GET)
103 1.1 matt *valp = get_stackptr(PSR_UND32_MODE);
104 1.1 matt return(0);
105 1.1 matt }
106 1.1 matt
107 1.15 thorpej int
108 1.15 thorpej db_access_abt_sp(const struct db_variable *vp, db_expr_t *valp, int rw)
109 1.1 matt {
110 1.15 thorpej
111 1.1 matt if (rw == DB_VAR_GET)
112 1.1 matt *valp = get_stackptr(PSR_ABT32_MODE);
113 1.1 matt return(0);
114 1.1 matt }
115 1.1 matt
116 1.15 thorpej int
117 1.15 thorpej db_access_irq_sp(const struct db_variable *vp, db_expr_t *valp, int rw)
118 1.1 matt {
119 1.15 thorpej
120 1.1 matt if (rw == DB_VAR_GET)
121 1.1 matt *valp = get_stackptr(PSR_IRQ32_MODE);
122 1.1 matt return(0);
123 1.1 matt }
124 1.1 matt
125 1.1 matt /*
126 1.1 matt * kdb_trap - field a TRACE or BPT trap
127 1.1 matt */
128 1.1 matt int
129 1.15 thorpej kdb_trap(int type, db_regs_t *regs)
130 1.1 matt {
131 1.1 matt int s;
132 1.1 matt
133 1.1 matt switch (type) {
134 1.1 matt case T_BREAKPOINT: /* breakpoint */
135 1.1 matt case -1: /* keyboard interrupt */
136 1.1 matt break;
137 1.1 matt default:
138 1.1 matt db_printf("kernel: trap");
139 1.1 matt if (db_recover != 0) {
140 1.1 matt db_error("Faulted in DDB; continuing...\n");
141 1.1 matt /*NOTREACHED*/
142 1.1 matt }
143 1.1 matt }
144 1.1 matt
145 1.1 matt /* Should switch to kdb`s own stack here. */
146 1.1 matt
147 1.1 matt ddb_regs = *regs;
148 1.1 matt
149 1.1 matt s = splhigh();
150 1.1 matt db_active++;
151 1.1 matt cnpollc(TRUE);
152 1.1 matt db_trap(type, 0/*code*/);
153 1.1 matt cnpollc(FALSE);
154 1.1 matt db_active--;
155 1.1 matt splx(s);
156 1.1 matt
157 1.1 matt *regs = ddb_regs;
158 1.1 matt
159 1.1 matt return (1);
160 1.1 matt }
161 1.1 matt
162 1.1 matt
163 1.1 matt static int
164 1.15 thorpej db_validate_address(vaddr_t addr)
165 1.1 matt {
166 1.1 matt struct proc *p = curproc;
167 1.14 thorpej struct pmap *pmap;
168 1.1 matt
169 1.1 matt if (!p || !p->p_vmspace || !p->p_vmspace->vm_map.pmap)
170 1.14 thorpej pmap = pmap_kernel();
171 1.1 matt else
172 1.14 thorpej pmap = p->p_vmspace->vm_map.pmap;
173 1.1 matt
174 1.14 thorpej return (pmap_extract(pmap, addr, NULL) == FALSE);
175 1.1 matt }
176 1.1 matt
177 1.1 matt /*
178 1.1 matt * Read bytes from kernel address space for debugger.
179 1.1 matt */
180 1.1 matt void
181 1.1 matt db_read_bytes(addr, size, data)
182 1.1 matt vm_offset_t addr;
183 1.13 chris size_t size;
184 1.1 matt char *data;
185 1.1 matt {
186 1.1 matt char *src;
187 1.1 matt
188 1.1 matt src = (char *)addr;
189 1.14 thorpej
190 1.14 thorpej while (size-- > 0) {
191 1.1 matt if (db_validate_address((u_int)src)) {
192 1.1 matt db_printf("address %p is invalid\n", src);
193 1.1 matt return;
194 1.1 matt }
195 1.1 matt *data++ = *src++;
196 1.1 matt }
197 1.1 matt }
198 1.1 matt
199 1.1 matt static void
200 1.15 thorpej db_write_text(vaddr_t addr, size_t size, char *data)
201 1.1 matt {
202 1.15 thorpej struct pmap *pmap = pmap_kernel();
203 1.15 thorpej pd_entry_t *pde, oldpde, tmppde;
204 1.15 thorpej pt_entry_t *pte, oldpte, tmppte;
205 1.15 thorpej vaddr_t pgva;
206 1.15 thorpej size_t limit, savesize;
207 1.15 thorpej char *dst;
208 1.1 matt
209 1.15 thorpej if ((savesize = size) == 0)
210 1.15 thorpej return;
211 1.15 thorpej
212 1.15 thorpej dst = (char *) addr;
213 1.1 matt
214 1.15 thorpej do {
215 1.15 thorpej /* Get the PDE of the current VA. */
216 1.15 thorpej pde = pmap_pde(pmap, (vaddr_t) dst);
217 1.15 thorpej switch ((oldpde = *pde) & L1_MASK) {
218 1.15 thorpej case L1_SECTION:
219 1.15 thorpej pgva = (vaddr_t)dst & ~(L1_SEC_SIZE - 1);
220 1.15 thorpej limit = L1_SEC_SIZE -
221 1.15 thorpej ((vaddr_t)dst & (L1_SEC_SIZE - 1));
222 1.15 thorpej
223 1.15 thorpej tmppde = oldpde | (AP_KRW << AP_SECTION_SHIFT);
224 1.15 thorpej *pde = tmppde;
225 1.15 thorpej break;
226 1.15 thorpej
227 1.15 thorpej case L1_PAGE:
228 1.15 thorpej pgva = (vaddr_t)dst & ~PGOFSET;
229 1.15 thorpej limit = NBPG - ((vaddr_t)dst & PGOFSET);
230 1.15 thorpej
231 1.15 thorpej pte = vtopte(pgva);
232 1.15 thorpej oldpte = *pte;
233 1.15 thorpej tmppte = oldpte | PT_AP(AP_KRW);
234 1.15 thorpej *pte = tmppte;
235 1.15 thorpej break;
236 1.15 thorpej
237 1.15 thorpej default:
238 1.15 thorpej printf(" address 0x%08lx not a valid page\n",
239 1.15 thorpej (vaddr_t) dst);
240 1.15 thorpej return;
241 1.15 thorpej }
242 1.15 thorpej cpu_tlb_flushD_SE(pgva);
243 1.16 thorpej cpu_cpwait();
244 1.1 matt
245 1.15 thorpej if (limit > size)
246 1.15 thorpej limit = size;
247 1.15 thorpej size -= limit;
248 1.1 matt
249 1.15 thorpej /*
250 1.15 thorpej * Page is now writable. Do as much access as we
251 1.15 thorpej * can in this page.
252 1.15 thorpej */
253 1.15 thorpej for (; limit > 0; limit--)
254 1.15 thorpej *dst++ = *data++;
255 1.1 matt
256 1.15 thorpej /*
257 1.15 thorpej * Restore old mapping permissions.
258 1.15 thorpej */
259 1.15 thorpej switch (oldpde & L1_MASK) {
260 1.15 thorpej case L1_SECTION:
261 1.15 thorpej *pde = oldpde;
262 1.15 thorpej break;
263 1.15 thorpej
264 1.15 thorpej case L1_PAGE:
265 1.15 thorpej *pte = oldpte;
266 1.15 thorpej break;
267 1.15 thorpej }
268 1.15 thorpej cpu_tlb_flushD_SE(pgva);
269 1.16 thorpej cpu_cpwait();
270 1.15 thorpej } while (size != 0);
271 1.1 matt
272 1.15 thorpej /* Sync the I-cache. */
273 1.15 thorpej cpu_cache_syncI_rng(addr, savesize);
274 1.1 matt }
275 1.1 matt
276 1.1 matt /*
277 1.1 matt * Write bytes to kernel address space for debugger.
278 1.1 matt */
279 1.1 matt void
280 1.15 thorpej db_write_bytes(vaddr_t addr, size_t size, char *data)
281 1.1 matt {
282 1.15 thorpej extern char etext[];
283 1.15 thorpej char *dst;
284 1.15 thorpej size_t loop;
285 1.15 thorpej
286 1.15 thorpej /* If any part is in kernel text, use db_write_text() */
287 1.15 thorpej if (addr >= KERNEL_TEXT_BASE && addr < (vaddr_t) etext) {
288 1.15 thorpej db_write_text(addr, size, data);
289 1.15 thorpej return;
290 1.15 thorpej }
291 1.1 matt
292 1.1 matt dst = (char *)addr;
293 1.1 matt loop = size;
294 1.14 thorpej while (loop-- > 0) {
295 1.15 thorpej if (db_validate_address((u_int)dst)) {
296 1.15 thorpej db_printf("address %p is invalid\n", dst);
297 1.15 thorpej return;
298 1.1 matt }
299 1.15 thorpej *dst++ = *data++;
300 1.1 matt }
301 1.1 matt /* make sure the caches and memory are in sync */
302 1.1 matt cpu_cache_syncI_rng(addr, size);
303 1.1 matt
304 1.1 matt /* In case the current page tables have been modified ... */
305 1.1 matt cpu_tlb_flushID();
306 1.16 thorpej cpu_cpwait();
307 1.1 matt }
308 1.1 matt
309 1.1 matt void
310 1.15 thorpej cpu_Debugger(void)
311 1.1 matt {
312 1.1 matt asm(".word 0xe7ffffff");
313 1.1 matt }
314 1.1 matt
315 1.1 matt const struct db_command db_machine_command_table[] = {
316 1.1 matt { "frame", db_show_frame_cmd, 0, NULL },
317 1.1 matt { "panic", db_show_panic_cmd, 0, NULL },
318 1.2 matt #ifdef ARM32_DB_COMMANDS
319 1.2 matt ARM32_DB_COMMANDS,
320 1.2 matt #endif
321 1.1 matt { NULL, NULL, 0, NULL }
322 1.1 matt };
323 1.1 matt
324 1.1 matt int
325 1.15 thorpej db_trapper(u_int addr, u_int inst, trapframe_t *frame, int fault_code)
326 1.1 matt {
327 1.15 thorpej
328 1.1 matt if (fault_code == 0) {
329 1.1 matt if ((inst & ~INSN_COND_MASK) == (BKPT_INST & ~INSN_COND_MASK))
330 1.1 matt kdb_trap(T_BREAKPOINT, frame);
331 1.1 matt else
332 1.1 matt kdb_trap(-1, frame);
333 1.1 matt } else
334 1.1 matt return (1);
335 1.1 matt return (0);
336 1.1 matt }
337 1.1 matt
338 1.1 matt extern u_int esym;
339 1.1 matt extern u_int end;
340 1.1 matt
341 1.3 bjh21 static struct undefined_handler db_uh;
342 1.3 bjh21
343 1.1 matt void
344 1.15 thorpej db_machine_init(void)
345 1.1 matt {
346 1.5 bjh21 #ifndef __ELF__
347 1.1 matt struct exec *kernexec = (struct exec *)KERNEL_TEXT_BASE;
348 1.1 matt int len;
349 1.1 matt
350 1.1 matt /*
351 1.1 matt * The boot loader currently loads the kernel with the a.out
352 1.1 matt * header still attached.
353 1.1 matt */
354 1.1 matt
355 1.1 matt if (kernexec->a_syms == 0) {
356 1.8 thorpej printf("ddb: No symbol table\n");
357 1.1 matt } else {
358 1.2 matt /* cover the symbols themselves (what is the int for?? XXX) */
359 1.1 matt esym = (int)&end + kernexec->a_syms + sizeof(int);
360 1.2 matt
361 1.1 matt /*
362 1.1 matt * and the string table. (int containing size of string
363 1.1 matt * table is included in string table size).
364 1.1 matt */
365 1.1 matt len = *((u_int *)esym);
366 1.1 matt esym += (len + (sizeof(u_int) - 1)) & ~(sizeof(u_int) - 1);
367 1.1 matt }
368 1.5 bjh21 #endif
369 1.1 matt
370 1.3 bjh21 /*
371 1.3 bjh21 * We get called before malloc() is available, so supply a static
372 1.3 bjh21 * struct undefined_handler.
373 1.3 bjh21 */
374 1.3 bjh21 db_uh.uh_handler = db_trapper;
375 1.3 bjh21 install_coproc_handler_static(0, &db_uh);
376 1.1 matt }
377 1.1 matt
378 1.1 matt u_int
379 1.15 thorpej db_fetch_reg(int reg, db_regs_t *db_regs)
380 1.1 matt {
381 1.1 matt
382 1.1 matt switch (reg) {
383 1.1 matt case 0:
384 1.1 matt return (db_regs->tf_r0);
385 1.1 matt case 1:
386 1.1 matt return (db_regs->tf_r1);
387 1.1 matt case 2:
388 1.1 matt return (db_regs->tf_r2);
389 1.1 matt case 3:
390 1.1 matt return (db_regs->tf_r3);
391 1.1 matt case 4:
392 1.1 matt return (db_regs->tf_r4);
393 1.1 matt case 5:
394 1.1 matt return (db_regs->tf_r5);
395 1.1 matt case 6:
396 1.1 matt return (db_regs->tf_r6);
397 1.1 matt case 7:
398 1.1 matt return (db_regs->tf_r7);
399 1.1 matt case 8:
400 1.1 matt return (db_regs->tf_r8);
401 1.1 matt case 9:
402 1.1 matt return (db_regs->tf_r9);
403 1.1 matt case 10:
404 1.1 matt return (db_regs->tf_r10);
405 1.1 matt case 11:
406 1.1 matt return (db_regs->tf_r11);
407 1.1 matt case 12:
408 1.1 matt return (db_regs->tf_r12);
409 1.1 matt case 13:
410 1.1 matt return (db_regs->tf_svc_sp);
411 1.1 matt case 14:
412 1.1 matt return (db_regs->tf_svc_lr);
413 1.1 matt case 15:
414 1.1 matt return (db_regs->tf_pc);
415 1.1 matt default:
416 1.1 matt panic("db_fetch_reg: botch");
417 1.1 matt }
418 1.1 matt }
419 1.1 matt
420 1.1 matt u_int
421 1.15 thorpej branch_taken(u_int insn, u_int pc, db_regs_t *db_regs)
422 1.1 matt {
423 1.1 matt u_int addr, nregs;
424 1.1 matt
425 1.1 matt switch ((insn >> 24) & 0xf) {
426 1.1 matt case 0xa: /* b ... */
427 1.1 matt case 0xb: /* bl ... */
428 1.1 matt addr = ((insn << 2) & 0x03ffffff);
429 1.1 matt if (addr & 0x02000000)
430 1.1 matt addr |= 0xfc000000;
431 1.1 matt return (pc + 8 + addr);
432 1.1 matt case 0x7: /* ldr pc, [pc, reg, lsl #2] */
433 1.1 matt addr = db_fetch_reg(insn & 0xf, db_regs);
434 1.1 matt addr = pc + 8 + (addr << 2);
435 1.1 matt db_read_bytes(addr, 4, (char *)&addr);
436 1.1 matt return (addr);
437 1.1 matt case 0x1: /* mov pc, reg */
438 1.1 matt addr = db_fetch_reg(insn & 0xf, db_regs);
439 1.1 matt return (addr);
440 1.1 matt case 0x8: /* ldmxx reg, {..., pc} */
441 1.1 matt case 0x9:
442 1.1 matt addr = db_fetch_reg((insn >> 16) & 0xf, db_regs);
443 1.1 matt nregs = (insn & 0x5555) + ((insn >> 1) & 0x5555);
444 1.1 matt nregs = (nregs & 0x3333) + ((nregs >> 2) & 0x3333);
445 1.1 matt nregs = (nregs + (nregs >> 4)) & 0x0f0f;
446 1.1 matt nregs = (nregs + (nregs >> 8)) & 0x001f;
447 1.1 matt switch ((insn >> 23) & 0x3) {
448 1.1 matt case 0x0: /* ldmda */
449 1.1 matt addr = addr - 0;
450 1.1 matt break;
451 1.1 matt case 0x1: /* ldmia */
452 1.1 matt addr = addr + 0 + ((nregs - 1) << 2);
453 1.1 matt break;
454 1.1 matt case 0x2: /* ldmdb */
455 1.1 matt addr = addr - 4;
456 1.1 matt break;
457 1.1 matt case 0x3: /* ldmib */
458 1.1 matt addr = addr + 4 + ((nregs - 1) << 2);
459 1.1 matt break;
460 1.1 matt }
461 1.1 matt db_read_bytes(addr, 4, (char *)&addr);
462 1.1 matt return (addr);
463 1.1 matt default:
464 1.1 matt panic("branch_taken: botch");
465 1.1 matt }
466 1.1 matt }
467