db_machdep.h revision 1.13 1 1.13 ryo /* $NetBSD: db_machdep.h,v 1.13 2021/03/11 09:48:40 ryo Exp $ */
2 1.1 matt
3 1.1 matt /*-
4 1.1 matt * Copyright (c) 2014 The NetBSD Foundation, Inc.
5 1.1 matt * All rights reserved.
6 1.1 matt *
7 1.1 matt * This code is derived from software contributed to The NetBSD Foundation
8 1.1 matt * by Matt Thomas of 3am Software Foundry.
9 1.1 matt *
10 1.1 matt * Redistribution and use in source and binary forms, with or without
11 1.1 matt * modification, are permitted provided that the following conditions
12 1.1 matt * are met:
13 1.1 matt * 1. Redistributions of source code must retain the above copyright
14 1.1 matt * notice, this list of conditions and the following disclaimer.
15 1.1 matt * 2. Redistributions in binary form must reproduce the above copyright
16 1.1 matt * notice, this list of conditions and the following disclaimer in the
17 1.1 matt * documentation and/or other materials provided with the distribution.
18 1.1 matt *
19 1.1 matt * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
20 1.1 matt * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
21 1.1 matt * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22 1.1 matt * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
23 1.1 matt * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
24 1.1 matt * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
25 1.1 matt * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
26 1.1 matt * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
27 1.1 matt * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
28 1.1 matt * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
29 1.1 matt * POSSIBILITY OF SUCH DAMAGE.
30 1.1 matt */
31 1.1 matt
32 1.3 ryo /*-
33 1.3 ryo * Copyright (c) 2014 Andrew Turner
34 1.3 ryo * Copyright (c) 2014-2015 The FreeBSD Foundation
35 1.3 ryo * All rights reserved.
36 1.3 ryo *
37 1.3 ryo * This software was developed by Semihalf under
38 1.3 ryo * sponsorship from the FreeBSD Foundation.
39 1.3 ryo *
40 1.3 ryo * Redistribution and use in source and binary forms, with or without
41 1.3 ryo * modification, are permitted provided that the following conditions
42 1.3 ryo * are met:
43 1.3 ryo * 1. Redistributions of source code must retain the above copyright
44 1.3 ryo * notice, this list of conditions and the following disclaimer.
45 1.3 ryo * 2. Redistributions in binary form must reproduce the above copyright
46 1.3 ryo * notice, this list of conditions and the following disclaimer in the
47 1.3 ryo * documentation and/or other materials provided with the distribution.
48 1.3 ryo *
49 1.3 ryo * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
50 1.3 ryo * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
51 1.3 ryo * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
52 1.3 ryo * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
53 1.3 ryo * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
54 1.3 ryo * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
55 1.3 ryo * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
56 1.3 ryo * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
57 1.3 ryo * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
58 1.3 ryo * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
59 1.3 ryo * SUCH DAMAGE.
60 1.3 ryo *
61 1.3 ryo * $FreeBSD: head/sys/arm64/include/db_machdep.h 316001 2017-03-26 18:46:35Z bde $
62 1.3 ryo */
63 1.3 ryo
64 1.1 matt #ifndef _AARCH64_DB_MACHDEP_H_
65 1.1 matt #define _AARCH64_DB_MACHDEP_H_
66 1.1 matt
67 1.1 matt #ifdef __aarch64__
68 1.1 matt
69 1.3 ryo #include <sys/types.h>
70 1.1 matt #include <aarch64/frame.h>
71 1.7 jakllsch #include <ddb/db_user.h>
72 1.1 matt
73 1.1 matt typedef long long int db_expr_t;
74 1.3 ryo #define DDB_EXPR_FMT "ll"
75 1.1 matt typedef uintptr_t db_addr_t;
76 1.1 matt
77 1.1 matt #define BKPT_ADDR(addr) (addr)
78 1.1 matt #define BKPT_SIZE 4
79 1.11 ryo #ifdef __AARCH64EB__
80 1.11 ryo #define BKPT_INSN 0x000020d4 /* brk #0 */
81 1.11 ryo #else
82 1.3 ryo #define BKPT_INSN 0xd4200000 /* brk #0 */
83 1.11 ryo #endif
84 1.3 ryo #define BKPT_SET(insn, addr) (BKPT_INSN)
85 1.1 matt
86 1.1 matt typedef struct trapframe db_regs_t;
87 1.1 matt extern db_regs_t ddb_regs;
88 1.1 matt #define DDB_REGS (&ddb_regs)
89 1.1 matt #define PC_REGS(tf) ((tf)->tf_pc)
90 1.1 matt
91 1.3 ryo int kdb_trap(int, struct trapframe *);
92 1.3 ryo #define DB_TRAP_UNKNOWN 0
93 1.3 ryo #define DB_TRAP_BREAKPOINT 1
94 1.3 ryo #define DB_TRAP_BKPT_INSN 2
95 1.3 ryo #define DB_TRAP_WATCHPOINT 3
96 1.3 ryo #define DB_TRAP_SW_STEP 4
97 1.1 matt
98 1.1 matt #define IS_BREAKPOINT_TRAP(type, code) \
99 1.12 ryo ((type) == DB_TRAP_BKPT_INSN)
100 1.1 matt #define IS_WATCHPOINT_TRAP(type, code) \
101 1.12 ryo ((type) == DB_TRAP_BREAKPOINT || (type) == DB_TRAP_WATCHPOINT)
102 1.1 matt
103 1.3 ryo static inline bool
104 1.3 ryo inst_return(db_expr_t insn)
105 1.3 ryo {
106 1.11 ryo LE32TOH(insn);
107 1.3 ryo return ((insn & 0xfffffc1f) == 0xd65f0000); /* ret xN */
108 1.3 ryo }
109 1.3 ryo
110 1.3 ryo static inline bool
111 1.3 ryo inst_trap_return(db_expr_t insn)
112 1.1 matt {
113 1.11 ryo LE32TOH(insn);
114 1.3 ryo return insn == 0xd69f03e0; /* eret */
115 1.1 matt }
116 1.1 matt
117 1.1 matt static inline bool
118 1.3 ryo inst_call(db_expr_t insn)
119 1.1 matt {
120 1.11 ryo LE32TOH(insn);
121 1.3 ryo return ((insn & 0xfc000000) == 0x94000000) /* bl */
122 1.3 ryo || ((insn & 0xfffffc1f) == 0xd63f0000); /* blr */
123 1.1 matt }
124 1.1 matt
125 1.1 matt static inline bool
126 1.3 ryo inst_load(db_expr_t insn)
127 1.1 matt {
128 1.11 ryo LE32TOH(insn);
129 1.3 ryo return
130 1.4 ryo ((insn & 0xffe00c00) == 0xb8800000) || /* ldursw */
131 1.5 ryo /* ldrsw imm{pre,post}idx */
132 1.5 ryo ((insn & 0xffe00400) == 0xb8800400) ||
133 1.5 ryo ((insn & 0xffc00c00) == 0xb8800800) || /* ldrsw reg,ldtrsw */
134 1.4 ryo ((insn & 0xffc00000) == 0xb9800000) || /* ldrsw immunsign */
135 1.4 ryo ((insn & 0xffc00000) == 0x39400000) || /* ldrb immunsign */
136 1.4 ryo ((insn & 0xff000000) == 0x98000000) || /* ldrsw literal */
137 1.5 ryo /* ldpsw {pre,post}idx */
138 1.5 ryo ((insn & 0xfec00000) == 0x68c00000) ||
139 1.4 ryo /* ldrh immunsign,ldpsw signed */
140 1.5 ryo ((insn & 0xefc00000) == 0x69400000) ||
141 1.5 ryo ((insn & 0xbfff0000) == 0x887f0000) || /* ldaxp,ldxp */
142 1.4 ryo ((insn & 0xbfc00000) == 0xb9400000) || /* ldr immunsign */
143 1.5 ryo ((insn & 0xbfa00c00) == 0x38800000) || /* ldursh,ldursb */
144 1.5 ryo /* ldrsh imm{pre,post}idx,ldrsb imm{pre,post}idx */
145 1.5 ryo ((insn & 0xbfa00400) == 0x38800400) ||
146 1.4 ryo /* ldrs[bh] reg,ldtrs[bh] */
147 1.5 ryo ((insn & 0xbf800c00) == 0x38800800) ||
148 1.5 ryo /* ldrsh immunsign,ldrsb immunsign */
149 1.5 ryo ((insn & 0xbf800000) == 0x39800000) ||
150 1.4 ryo ((insn & 0xbf000000) == 0x18000000) || /* ldr literal */
151 1.5 ryo /* ldp {pre,post}idx,ldp signed,ldnp */
152 1.5 ryo ((insn & 0x7e400000) == 0x28400000) ||
153 1.5 ryo ((insn & 0x3ffffc00) == 0x085f7c00) || /* ldxr,ldxr[bh] */
154 1.5 ryo ((insn & 0x3fe00c00) == 0x38400000) || /* ldur,ldur[bh] */
155 1.5 ryo /* ldr imm{pre,post}idx,ldr[bh]_imm{pre,post}idx */
156 1.5 ryo ((insn & 0x3fe00400) == 0x38400400) ||
157 1.5 ryo /* ldtr,ldtr[bh],ldr_reg,ldr[bh]_reg */
158 1.5 ryo ((insn & 0x3fc00c00) == 0x38400800) ||
159 1.5 ryo /* ldaxr,ldaxr[bh],ldar,ldar[bh] */
160 1.5 ryo ((insn & 0x3f7ffc00) == 0x085ffc00);
161 1.1 matt }
162 1.1 matt
163 1.1 matt static inline bool
164 1.1 matt inst_store(db_expr_t insn)
165 1.1 matt {
166 1.11 ryo LE32TOH(insn);
167 1.3 ryo return
168 1.5 ryo ((insn & 0xbfe00000) == 0x88200000) || /* stlxp,stxp */
169 1.5 ryo /* stp {pre,post}idx,stp signed,stnp */
170 1.5 ryo ((insn & 0x7e400000) == 0x28000000) ||
171 1.5 ryo ((insn & 0x3ffffc00) == 0x089ffc00) || /* stlr,stlr[bh] */
172 1.5 ryo /* stlxr,stlxr[bh],stxr,stxr[bh] */
173 1.5 ryo ((insn & 0x3fe07c00) == 0x08007c00) ||
174 1.5 ryo ((insn & 0x3fe00c00) == 0x38000000) || /* stur,stur[bh] */
175 1.5 ryo /* str imm{pre,post}idx,str[bh] imm{pre,post}idx */
176 1.5 ryo ((insn & 0x3fe00400) == 0x38000400) ||
177 1.5 ryo /* str reg,str[bh] reg,sttr,sttr[bh] */
178 1.5 ryo ((insn & 0x3fc00c00) == 0x38000800) ||
179 1.5 ryo /* str immunsign,str[bh] immunsign */
180 1.5 ryo ((insn & 0x3fc00000) == 0x39000000);
181 1.1 matt }
182 1.1 matt
183 1.3 ryo #define SOFTWARE_SSTEP
184 1.3 ryo
185 1.3 ryo #ifdef SOFTWARE_SSTEP
186 1.3 ryo
187 1.1 matt static inline bool
188 1.3 ryo inst_branch(db_expr_t insn)
189 1.1 matt {
190 1.11 ryo LE32TOH(insn);
191 1.3 ryo return
192 1.3 ryo ((insn & 0xff000010) == 0x54000000) || /* b.cond */
193 1.3 ryo ((insn & 0xfc000000) == 0x14000000) || /* b imm */
194 1.3 ryo ((insn & 0xfffffc1f) == 0xd61f0000) || /* br */
195 1.3 ryo ((insn & 0x7f000000) == 0x35000000) || /* cbnz */
196 1.3 ryo ((insn & 0x7f000000) == 0x34000000) || /* cbz */
197 1.3 ryo ((insn & 0x7f000000) == 0x37000000) || /* tbnz */
198 1.3 ryo ((insn & 0x7f000000) == 0x36000000); /* tbz */
199 1.1 matt }
200 1.1 matt
201 1.3 ryo bool db_inst_unconditional_flow_transfer(db_expr_t);
202 1.3 ryo db_addr_t db_branch_taken(db_expr_t, db_addr_t, db_regs_t *);
203 1.3 ryo
204 1.3 ryo #define next_instr_address(pc, bd) \
205 1.3 ryo ((bd) ? (pc) : ((pc) + 4))
206 1.3 ryo #define branch_taken(ins, pc, regs) \
207 1.3 ryo db_branch_taken((ins), (pc), (regs))
208 1.3 ryo #define inst_unconditional_flow_transfer(ins) \
209 1.3 ryo db_inst_unconditional_flow_transfer(ins)
210 1.3 ryo
211 1.3 ryo #endif /* SOFTWARE_SSTEP */
212 1.3 ryo
213 1.3 ryo #define DB_MACHINE_COMMANDS
214 1.3 ryo void dump_trapframe(struct trapframe *, void (*)(const char *, ...));
215 1.9 ryo void dump_switchframe(struct trapframe *, void (*)(const char *, ...));
216 1.10 ryo const char *strdisasm(vaddr_t, uint64_t);
217 1.3 ryo void db_machdep_init(void);
218 1.3 ryo
219 1.3 ryo /* hardware breakpoint/watchpoint functions */
220 1.3 ryo void aarch64_breakpoint_set(int, vaddr_t);
221 1.13 ryo void aarch64_watchpoint_set(int, vaddr_t, u_int, u_int);
222 1.3 ryo #define WATCHPOINT_ACCESS_LOAD 0x01
223 1.3 ryo #define WATCHPOINT_ACCESS_STORE 0x02
224 1.3 ryo #define WATCHPOINT_ACCESS_LOADSTORE 0x03
225 1.3 ryo #define WATCHPOINT_ACCESS_MASK 0x03
226 1.3 ryo
227 1.7 jakllsch #define DB_ELF_SYMBOLS
228 1.3 ryo
229 1.1 matt #elif defined(__arm__)
230 1.1 matt
231 1.1 matt #include <arm/db_machdep.h>
232 1.1 matt
233 1.1 matt #endif
234 1.1 matt
235 1.1 matt #endif /* _AARCH64_DB_MACHDEP_H_ */
236