db_trace.c revision 1.44 1 1.44 mrg /* $NetBSD: db_trace.c,v 1.44 2020/08/15 07:42:07 mrg Exp $ */
2 1.2 perry
3 1.8 simonb /*
4 1.1 jonathan * Mach Operating System
5 1.1 jonathan * Copyright (c) 1993-1987 Carnegie Mellon University
6 1.1 jonathan * All Rights Reserved.
7 1.8 simonb *
8 1.1 jonathan * Permission to use, copy, modify and distribute this software and its
9 1.1 jonathan * documentation is hereby granted, provided that both the copyright
10 1.1 jonathan * notice and this permission notice appear in all copies of the
11 1.1 jonathan * software, derivative works or modified versions, and any portions
12 1.1 jonathan * thereof, and that both notices appear in supporting documentation.
13 1.8 simonb *
14 1.1 jonathan * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS "AS IS"
15 1.1 jonathan * CONDITION. CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR
16 1.1 jonathan * ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
17 1.8 simonb *
18 1.1 jonathan * Carnegie Mellon requests users of this software to return to
19 1.8 simonb *
20 1.1 jonathan * Software Distribution Coordinator or Software.Distribution (at) CS.CMU.EDU
21 1.1 jonathan * School of Computer Science
22 1.1 jonathan * Carnegie Mellon University
23 1.1 jonathan * Pittsburgh PA 15213-3890
24 1.8 simonb *
25 1.1 jonathan * any improvements or extensions that they make and grant Carnegie Mellon
26 1.1 jonathan * the rights to redistribute these changes.
27 1.1 jonathan */
28 1.24 lukem
29 1.24 lukem #include <sys/cdefs.h>
30 1.44 mrg __KERNEL_RCSID(0, "$NetBSD: db_trace.c,v 1.44 2020/08/15 07:42:07 mrg Exp $");
31 1.38 matt
32 1.38 matt #include "opt_ddb.h"
33 1.1 jonathan
34 1.16 jeffs #include <sys/types.h>
35 1.13 soren #include <sys/param.h>
36 1.16 jeffs #include <sys/systm.h>
37 1.16 jeffs #include <sys/proc.h>
38 1.34 yamt #include <sys/cpu.h>
39 1.1 jonathan
40 1.5 castor #include <mips/mips_opcode.h>
41 1.44 mrg #include <mips/stacktrace.h>
42 1.5 castor
43 1.7 simonb #include <machine/db_machdep.h>
44 1.44 mrg #include <machine/locore.h>
45 1.34 yamt
46 1.1 jonathan #include <ddb/db_interface.h>
47 1.1 jonathan #include <ddb/db_output.h>
48 1.1 jonathan #include <ddb/db_variables.h>
49 1.1 jonathan #include <ddb/db_sym.h>
50 1.1 jonathan
51 1.21 simonb int __start(void); /* lowest kernel code address */
52 1.21 simonb vaddr_t getreg_val(db_expr_t regno);
53 1.1 jonathan
54 1.1 jonathan #define REG_ARG(i) (4+i)
55 1.1 jonathan #define SAVES_RA(x) isa_spill((x),31)
56 1.1 jonathan
57 1.1 jonathan #define KERN_SAVE_REG_IDX(vp) ( \
58 1.1 jonathan ((vp)->valuep >= (int *)(&((struct mips_saved_state *)0)->s0) && \
59 1.1 jonathan (vp)->valuep <= (int *)(&((struct mips_saved_state *)0)->s7))? \
60 1.1 jonathan vp->valuep - (int *)(&((struct mips_saved_state *)0)->s0): \
61 1.1 jonathan ((vp)->valuep >= (int *)(&((struct mips_saved_state *)0)->sp) && \
62 1.1 jonathan (vp)->valuep <= (int *)(&((struct mips_saved_state *)0)->ra))? \
63 1.1 jonathan ((vp)->valuep-(int *)(&((struct mips_saved_state *)0)->sp)) + \
64 1.1 jonathan ((int *)(&((struct mips_kernel_state *)0)->sp) - (int *)0): \
65 1.1 jonathan -1)
66 1.1 jonathan
67 1.32 thorpej db_sym_t localsym(db_sym_t sym, bool isreg, int *lex_level);
68 1.1 jonathan
69 1.1 jonathan /*
70 1.1 jonathan * Machine register set.
71 1.1 jonathan */
72 1.1 jonathan struct mips_saved_state *db_cur_exc_frame = 0;
73 1.1 jonathan
74 1.1 jonathan /*
75 1.1 jonathan * Stack trace helper.
76 1.1 jonathan */
77 1.21 simonb void db_mips_stack_trace(int, vaddr_t, vaddr_t, vaddr_t, int, vaddr_t);
78 1.21 simonb int db_mips_variable_func(const struct db_variable *, db_expr_t *, int);
79 1.1 jonathan
80 1.5 castor #define DB_SETF_REGS db_mips_variable_func
81 1.1 jonathan #define DBREGS_REG()
82 1.1 jonathan
83 1.17 jdolecek const struct db_variable db_regs[] = {
84 1.41 matt { "at", (long *)&ddb_regs.r_regs[_R_AST], DB_SETF_REGS },
85 1.41 matt { "v0", (long *)&ddb_regs.r_regs[_R_V0], DB_SETF_REGS },
86 1.41 matt { "v1", (long *)&ddb_regs.r_regs[_R_V1], DB_SETF_REGS },
87 1.41 matt { "a0", (long *)&ddb_regs.r_regs[_R_A0], DB_SETF_REGS },
88 1.41 matt { "a1", (long *)&ddb_regs.r_regs[_R_A1], DB_SETF_REGS },
89 1.41 matt { "a2", (long *)&ddb_regs.r_regs[_R_A2], DB_SETF_REGS },
90 1.41 matt { "a3", (long *)&ddb_regs.r_regs[_R_A3], DB_SETF_REGS },
91 1.22 thorpej #if defined(__mips_n32) || defined(__mips_n64)
92 1.41 matt { "a4", (long *)&ddb_regs.r_regs[_R_A4], DB_SETF_REGS },
93 1.41 matt { "a5", (long *)&ddb_regs.r_regs[_R_A5], DB_SETF_REGS },
94 1.41 matt { "a6", (long *)&ddb_regs.r_regs[_R_A6], DB_SETF_REGS },
95 1.41 matt { "a7", (long *)&ddb_regs.r_regs[_R_A7], DB_SETF_REGS },
96 1.41 matt { "t0", (long *)&ddb_regs.r_regs[_R_T0], DB_SETF_REGS },
97 1.41 matt { "t1", (long *)&ddb_regs.r_regs[_R_T1], DB_SETF_REGS },
98 1.41 matt { "t2", (long *)&ddb_regs.r_regs[_R_T2], DB_SETF_REGS },
99 1.41 matt { "t3", (long *)&ddb_regs.r_regs[_R_T3], DB_SETF_REGS },
100 1.22 thorpej #else
101 1.41 matt { "t0", (long *)&ddb_regs.r_regs[_R_T0], DB_SETF_REGS },
102 1.41 matt { "t1", (long *)&ddb_regs.r_regs[_R_T1], DB_SETF_REGS },
103 1.41 matt { "t2", (long *)&ddb_regs.r_regs[_R_T2], DB_SETF_REGS },
104 1.41 matt { "t3", (long *)&ddb_regs.r_regs[_R_T3], DB_SETF_REGS },
105 1.41 matt { "t4", (long *)&ddb_regs.r_regs[_R_T4], DB_SETF_REGS },
106 1.41 matt { "t5", (long *)&ddb_regs.r_regs[_R_T5], DB_SETF_REGS },
107 1.41 matt { "t6", (long *)&ddb_regs.r_regs[_R_T6], DB_SETF_REGS },
108 1.41 matt { "t7", (long *)&ddb_regs.r_regs[_R_T7], DB_SETF_REGS },
109 1.22 thorpej #endif /* __mips_n32 || __mips_n64 */
110 1.41 matt { "s0", (long *)&ddb_regs.r_regs[_R_S0], DB_SETF_REGS },
111 1.41 matt { "s1", (long *)&ddb_regs.r_regs[_R_S1], DB_SETF_REGS },
112 1.41 matt { "s2", (long *)&ddb_regs.r_regs[_R_S2], DB_SETF_REGS },
113 1.41 matt { "s3", (long *)&ddb_regs.r_regs[_R_S3], DB_SETF_REGS },
114 1.41 matt { "s4", (long *)&ddb_regs.r_regs[_R_S4], DB_SETF_REGS },
115 1.41 matt { "s5", (long *)&ddb_regs.r_regs[_R_S5], DB_SETF_REGS },
116 1.41 matt { "s6", (long *)&ddb_regs.r_regs[_R_S6], DB_SETF_REGS },
117 1.41 matt { "s7", (long *)&ddb_regs.r_regs[_R_S7], DB_SETF_REGS },
118 1.41 matt { "t8", (long *)&ddb_regs.r_regs[_R_T8], DB_SETF_REGS },
119 1.41 matt { "t9", (long *)&ddb_regs.r_regs[_R_T9], DB_SETF_REGS },
120 1.41 matt { "k0", (long *)&ddb_regs.r_regs[_R_K0], DB_SETF_REGS },
121 1.41 matt { "k1", (long *)&ddb_regs.r_regs[_R_K1], DB_SETF_REGS },
122 1.41 matt { "gp", (long *)&ddb_regs.r_regs[_R_GP], DB_SETF_REGS },
123 1.41 matt { "sp", (long *)&ddb_regs.r_regs[_R_SP], DB_SETF_REGS },
124 1.41 matt { "fp", (long *)&ddb_regs.r_regs[_R_S8], DB_SETF_REGS },/* frame ptr */
125 1.41 matt { "ra", (long *)&ddb_regs.r_regs[_R_RA], DB_SETF_REGS },
126 1.41 matt { "sr", (long *)&ddb_regs.r_regs[_R_SR], DB_SETF_REGS },
127 1.41 matt { "mdlo",(long *)&ddb_regs.r_regs[_R_MULLO], DB_SETF_REGS },
128 1.41 matt { "mdhi",(long *)&ddb_regs.r_regs[_R_MULHI], DB_SETF_REGS },
129 1.41 matt { "bad", (long *)&ddb_regs.r_regs[_R_BADVADDR], DB_SETF_REGS },
130 1.41 matt { "cs", (long *)&ddb_regs.r_regs[_R_CAUSE], DB_SETF_REGS },
131 1.41 matt { "pc", (long *)&ddb_regs.r_regs[_R_PC], DB_SETF_REGS },
132 1.1 jonathan };
133 1.41 matt const struct db_variable * const db_eregs = db_regs + __arraycount(db_regs);
134 1.1 jonathan
135 1.1 jonathan void
136 1.33 matt db_stack_trace_print(db_expr_t addr, bool have_addr, db_expr_t count,
137 1.26 simonb const char *modif, void (*pr)(const char *, ...))
138 1.1 jonathan {
139 1.5 castor #ifndef DDB_TRACE
140 1.16 jeffs struct pcb *pcb;
141 1.16 jeffs struct proc *p;
142 1.23 thorpej struct lwp *l;
143 1.40 chs const char *cp = modif;
144 1.40 chs char c;
145 1.40 chs bool lwpaddr = false;
146 1.16 jeffs
147 1.16 jeffs if (!have_addr) {
148 1.41 matt struct reg * regs = &ddb_regs;
149 1.41 matt stacktrace_subr(regs->r_regs[_R_A0],
150 1.41 matt regs->r_regs[_R_A1],
151 1.41 matt regs->r_regs[_R_A2],
152 1.41 matt regs->r_regs[_R_A3],
153 1.41 matt regs->r_regs[_R_PC],
154 1.41 matt regs->r_regs[_R_SP],
155 1.16 jeffs /* non-virtual frame pointer */
156 1.41 matt regs->r_regs[_R_S8],
157 1.41 matt regs->r_regs[_R_RA],
158 1.16 jeffs pr);
159 1.16 jeffs return;
160 1.16 jeffs }
161 1.16 jeffs
162 1.40 chs while ((c = *cp++) != 0) {
163 1.40 chs if (c == 'a') {
164 1.40 chs lwpaddr = true;
165 1.40 chs }
166 1.40 chs }
167 1.40 chs
168 1.40 chs if (lwpaddr) {
169 1.43 matt l = (struct lwp *)(intptr_t)addr;
170 1.40 chs (*pr)("pid %d.%d ", l->l_proc->p_pid, l->l_lid);
171 1.40 chs } else {
172 1.40 chs /* "trace/t" */
173 1.40 chs
174 1.40 chs (*pr)("pid %d ", (int)addr);
175 1.40 chs p = proc_find_raw(addr);
176 1.40 chs if (p == NULL) {
177 1.40 chs (*pr)("not found\n");
178 1.40 chs return;
179 1.40 chs }
180 1.40 chs l = LIST_FIRST(&p->p_lwps); /* XXX NJWLWP */
181 1.40 chs }
182 1.42 matt
183 1.37 rmind pcb = lwp_getpcb(l);
184 1.16 jeffs (*pr)("at %p\n", pcb);
185 1.16 jeffs
186 1.16 jeffs stacktrace_subr(0,0,0,0, /* no args known */
187 1.38 matt (vaddr_t)cpu_switchto,
188 1.38 matt pcb->pcb_context.val[_L_SP],
189 1.38 matt pcb->pcb_context.val[_L_S8],
190 1.38 matt pcb->pcb_context.val[_L_RA],
191 1.11 jhawk pr);
192 1.5 castor #else
193 1.5 castor /*
194 1.13 soren * Incomplete but practically useful stack backtrace.
195 1.5 castor */
196 1.5 castor #define MIPS_JR_RA 0x03e00008 /* instruction code for jr ra */
197 1.5 castor #define MIPS_JR_K0 0x03400008 /* instruction code for jr k0 */
198 1.6 nisimura #define MIPS_ERET 0x42000018 /* instruction code for eret */
199 1.38 matt register_t va, pc, ra, sp, func;
200 1.5 castor int insn;
201 1.5 castor InstFmt i;
202 1.5 castor int stacksize;
203 1.5 castor db_addr_t offset;
204 1.30 martin const char *name;
205 1.5 castor extern char verylocore[];
206 1.5 castor
207 1.41 matt pc = ddb_regs.r_regs[_R_PC];
208 1.41 matt sp = ddb_regs.r_regs[_R_SP];
209 1.41 matt ra = ddb_regs.r_regs[_R_RA];
210 1.5 castor do {
211 1.5 castor va = pc;
212 1.5 castor do {
213 1.5 castor va -= sizeof(int);
214 1.38 matt insn = *(int *)(intptr_t)va;
215 1.5 castor if (insn == MIPS_ERET)
216 1.5 castor goto mips3_eret;
217 1.5 castor } while (insn != MIPS_JR_RA && insn != MIPS_JR_K0);
218 1.5 castor va += sizeof(int);
219 1.5 castor mips3_eret:
220 1.5 castor va += sizeof(int);
221 1.38 matt while (*(int *)(intptr_t)va == 0x00000000)
222 1.5 castor va += sizeof(int);
223 1.5 castor func = va;
224 1.5 castor stacksize = 0;
225 1.5 castor do {
226 1.38 matt i.word = *(int *)(intptr_t)va;
227 1.38 matt if (((i.IType.op == OP_SW) || (i.IType.op == OP_SD))
228 1.25 he && i.IType.rs == _R_SP
229 1.25 he && i.IType.rt == _R_RA)
230 1.38 matt ra = *(int *)(intptr_t)(sp + (short)i.IType.imm);
231 1.38 matt if (((i.IType.op == OP_ADDIU) || (i.IType.op == OP_DADDIU))
232 1.25 he && i.IType.rs == _R_SP
233 1.25 he && i.IType.rt == _R_SP)
234 1.5 castor stacksize = -(short)i.IType.imm;
235 1.5 castor va += sizeof(int);
236 1.5 castor } while (va < pc);
237 1.5 castor
238 1.5 castor db_find_sym_and_offset(func, &name, &offset);
239 1.5 castor if (name == 0)
240 1.5 castor name = "?";
241 1.11 jhawk (*pr)("%s()+0x%x, called by %p, stack size %d\n",
242 1.38 matt name, pc - func, (void *)(intptr_t)ra, stacksize);
243 1.5 castor
244 1.5 castor if (ra == pc) {
245 1.12 mhitch (*pr)("-- loop? --\n");
246 1.5 castor return;
247 1.5 castor }
248 1.5 castor sp += stacksize;
249 1.5 castor pc = ra;
250 1.38 matt } while (pc > (intptr_t)verylocore);
251 1.5 castor if (pc < 0x80000000)
252 1.11 jhawk (*pr)("-- user process --\n");
253 1.5 castor else
254 1.11 jhawk (*pr)("-- kernel entry --\n");
255 1.5 castor #endif
256 1.1 jonathan }
257 1.1 jonathan
258 1.1 jonathan void
259 1.20 simonb db_mips_stack_trace(int count, vaddr_t stackp, vaddr_t the_pc, vaddr_t the_ra,
260 1.20 simonb int flags, vaddr_t kstackp)
261 1.1 jonathan {
262 1.20 simonb
263 1.20 simonb /* nothing... */
264 1.1 jonathan }
265 1.1 jonathan
266 1.5 castor
267 1.8 simonb int
268 1.20 simonb db_mips_variable_func (const struct db_variable *vp, db_expr_t *valuep,
269 1.20 simonb int db_var_fcn)
270 1.5 castor {
271 1.20 simonb
272 1.5 castor switch (db_var_fcn) {
273 1.5 castor case DB_VAR_GET:
274 1.5 castor *valuep = *(mips_reg_t *) vp->valuep;
275 1.5 castor break;
276 1.5 castor case DB_VAR_SET:
277 1.5 castor *(mips_reg_t *) vp->valuep = *valuep;
278 1.5 castor break;
279 1.5 castor }
280 1.5 castor return 0;
281 1.5 castor }
282