db_machdep.h revision 1.4 1 1.4 ryo /* $NetBSD: db_machdep.h,v 1.4 2018/04/27 09:05:26 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.1 matt
72 1.1 matt typedef long long int db_expr_t;
73 1.3 ryo #define DDB_EXPR_FMT "ll"
74 1.1 matt typedef uintptr_t db_addr_t;
75 1.1 matt
76 1.1 matt #define BKPT_ADDR(addr) (addr)
77 1.1 matt #define BKPT_SIZE 4
78 1.3 ryo #define BKPT_INSN 0xd4200000 /* brk #0 */
79 1.3 ryo #define BKPT_SET(insn, addr) (BKPT_INSN)
80 1.1 matt
81 1.1 matt typedef struct trapframe db_regs_t;
82 1.1 matt extern db_regs_t ddb_regs;
83 1.1 matt #define DDB_REGS (&ddb_regs)
84 1.1 matt #define PC_REGS(tf) ((tf)->tf_pc)
85 1.1 matt
86 1.3 ryo int kdb_trap(int, struct trapframe *);
87 1.3 ryo #define DB_TRAP_UNKNOWN 0
88 1.3 ryo #define DB_TRAP_BREAKPOINT 1
89 1.3 ryo #define DB_TRAP_BKPT_INSN 2
90 1.3 ryo #define DB_TRAP_WATCHPOINT 3
91 1.3 ryo #define DB_TRAP_SW_STEP 4
92 1.1 matt
93 1.1 matt #define IS_BREAKPOINT_TRAP(type, code) \
94 1.1 matt ((type) == DB_TRAP_BREAKPOINT || (type) == DB_TRAP_BKPT_INSN)
95 1.1 matt #define IS_WATCHPOINT_TRAP(type, code) \
96 1.1 matt ((type) == DB_TRAP_WATCHPOINT)
97 1.1 matt
98 1.3 ryo static inline bool
99 1.3 ryo inst_return(db_expr_t insn)
100 1.3 ryo {
101 1.3 ryo return ((insn & 0xfffffc1f) == 0xd65f0000); /* ret xN */
102 1.3 ryo }
103 1.3 ryo
104 1.3 ryo static inline bool
105 1.3 ryo inst_trap_return(db_expr_t insn)
106 1.1 matt {
107 1.3 ryo return insn == 0xd69f03e0; /* eret */
108 1.1 matt }
109 1.1 matt
110 1.1 matt static inline bool
111 1.3 ryo inst_call(db_expr_t insn)
112 1.1 matt {
113 1.3 ryo return ((insn & 0xfc000000) == 0x94000000) /* bl */
114 1.3 ryo || ((insn & 0xfffffc1f) == 0xd63f0000); /* blr */
115 1.1 matt }
116 1.1 matt
117 1.1 matt static inline bool
118 1.3 ryo inst_load(db_expr_t insn)
119 1.1 matt {
120 1.3 ryo return
121 1.4 ryo ((insn & 0xffe00c00) == 0xb8800000) || /* ldursw */
122 1.4 ryo /* ldrsw imm{preidx,postidx} */
123 1.4 ryo ((insn & 0xffe00400) == 0xb8800c00) ||
124 1.4 ryo ((insn & 0xffc00c00) == 0xb8a00800) || /* ldrsw reg,ldtrsw */
125 1.4 ryo ((insn & 0xffc00000) == 0xb9800000) || /* ldrsw immunsign */
126 1.4 ryo ((insn & 0xffc00000) == 0x39400000) || /* ldrb immunsign */
127 1.4 ryo ((insn & 0xff000000) == 0x98000000) || /* ldrsw literal */
128 1.4 ryo /* ldpsw {preidx,postidx} */
129 1.4 ryo ((insn & 0xfec00000) == 0x69c00000) ||
130 1.4 ryo /* ldrh immunsign,ldpsw signed */
131 1.4 ryo ((insn & 0xefc00000) == 0x79400000) ||
132 1.4 ryo ((insn & 0xbffffc00) == 0x885f7c00) || /* ldxr */
133 1.4 ryo ((insn & 0xbffffc00) == 0x485f7c00) || /* ldxr[bh] */
134 1.4 ryo ((insn & 0xbfff0000) == 0x887f8000) || /* ldaxp,ldxp */
135 1.4 ryo ((insn & 0xbfe00c00) == 0xb8400000) || /* ldur */
136 1.4 ryo ((insn & 0xbfe00c00) == 0x78400000) || /* ldur[bh] */
137 1.4 ryo /* ldr imm{preidx,postidx} */
138 1.4 ryo ((insn & 0xbfe00400) == 0xb8400c00) ||
139 1.4 ryo /* ldr[bh] imm{preidx,postidx} */
140 1.4 ryo ((insn & 0xbfe00400) == 0x78400c00) ||
141 1.4 ryo ((insn & 0xbfc00c00) == 0xb8600800) || /* ldr reg,ldtr */
142 1.4 ryo /* ldr[bh] reg,ldtr[bh] */
143 1.4 ryo ((insn & 0xbfc00c00) == 0x78600800) ||
144 1.4 ryo ((insn & 0xbfc00000) == 0xb9400000) || /* ldr immunsign */
145 1.4 ryo ((insn & 0xbfa00c00) == 0x78800000) || /* ldursh,ldursb */
146 1.4 ryo /* ldrs[bh] imm{preidx,postidx} */
147 1.4 ryo ((insn & 0xbfa00400) == 0x78800c00) ||
148 1.4 ryo /* ldrs[bh] reg,ldtrs[bh] */
149 1.4 ryo ((insn & 0xbf800c00) == 0x78a00800) ||
150 1.4 ryo ((insn & 0xbf800000) == 0x79800000) || /* ldrs[bh] immunsign */
151 1.4 ryo ((insn & 0xbf7ffc00) == 0x88dffc00) || /* ldar,ldaxr */
152 1.4 ryo ((insn & 0xbf7ffc00) == 0x48dffc00) || /* ldar[bh],ldaxr[bh] */
153 1.4 ryo ((insn & 0xbf000000) == 0x18000000) || /* ldr literal */
154 1.4 ryo /* ldp {preidx,postidx,signed},ldnp */
155 1.4 ryo ((insn & 0x7e400000) == 0x29c00000);
156 1.1 matt }
157 1.1 matt
158 1.1 matt static inline bool
159 1.1 matt inst_store(db_expr_t insn)
160 1.1 matt {
161 1.3 ryo return
162 1.4 ryo ((insn & 0xbffffc00) == 0x889ffc00) || /* stlr */
163 1.4 ryo ((insn & 0xbffffc00) == 0x489ffc00) || /* stlr[bh] */
164 1.4 ryo ((insn & 0xbfe07c00) == 0x8800fc00) || /* stlxr,stxr */
165 1.4 ryo ((insn & 0xbfe07c00) == 0x4800fc00) || /* stlxr[bh],stxr[bh] */
166 1.4 ryo ((insn & 0xbfe00c00) == 0xb8000000) || /* stur */
167 1.4 ryo ((insn & 0xbfe00c00) == 0x78000000) || /* stur[bh] */
168 1.4 ryo /* str imm{preidx,postidx} */
169 1.4 ryo ((insn & 0xbfe00400) == 0xb8000c00) ||
170 1.4 ryo /* str[bh] imm{preidx,postidx} */
171 1.4 ryo ((insn & 0xbfe00400) == 0x78000c00) ||
172 1.4 ryo ((insn & 0xbfe00000) == 0x88208000) || /* stlxp,stxp */
173 1.4 ryo ((insn & 0xbfc00c00) == 0xb8200800) || /* str reg,sttr */
174 1.4 ryo /* str[bh] reg,sttr[bh] */
175 1.4 ryo ((insn & 0xbfc00c00) == 0x78200800) ||
176 1.4 ryo ((insn & 0xbfc00000) == 0xb9000000) || /* str immunsign */
177 1.4 ryo ((insn & 0xbfc00000) == 0x79000000) || /* str[bh] immunsign */
178 1.4 ryo /* stp {preidx,postidx,signed},stnp */
179 1.4 ryo ((insn & 0x7e400000) == 0x29800000);
180 1.1 matt }
181 1.1 matt
182 1.3 ryo #define SOFTWARE_SSTEP
183 1.3 ryo
184 1.3 ryo #ifdef SOFTWARE_SSTEP
185 1.3 ryo
186 1.1 matt static inline bool
187 1.3 ryo inst_branch(db_expr_t insn)
188 1.1 matt {
189 1.3 ryo return
190 1.3 ryo ((insn & 0xff000010) == 0x54000000) || /* b.cond */
191 1.3 ryo ((insn & 0xfc000000) == 0x14000000) || /* b imm */
192 1.3 ryo ((insn & 0xfffffc1f) == 0xd61f0000) || /* br */
193 1.3 ryo ((insn & 0x7f000000) == 0x35000000) || /* cbnz */
194 1.3 ryo ((insn & 0x7f000000) == 0x34000000) || /* cbz */
195 1.3 ryo ((insn & 0x7f000000) == 0x37000000) || /* tbnz */
196 1.3 ryo ((insn & 0x7f000000) == 0x36000000); /* tbz */
197 1.1 matt }
198 1.1 matt
199 1.3 ryo bool db_inst_unconditional_flow_transfer(db_expr_t);
200 1.3 ryo db_addr_t db_branch_taken(db_expr_t, db_addr_t, db_regs_t *);
201 1.3 ryo
202 1.3 ryo #define next_instr_address(pc, bd) \
203 1.3 ryo ((bd) ? (pc) : ((pc) + 4))
204 1.3 ryo #define branch_taken(ins, pc, regs) \
205 1.3 ryo db_branch_taken((ins), (pc), (regs))
206 1.3 ryo #define inst_unconditional_flow_transfer(ins) \
207 1.3 ryo db_inst_unconditional_flow_transfer(ins)
208 1.3 ryo
209 1.3 ryo #endif /* SOFTWARE_SSTEP */
210 1.3 ryo
211 1.3 ryo #define DB_MACHINE_COMMANDS
212 1.3 ryo void dump_trapframe(struct trapframe *, void (*)(const char *, ...));
213 1.3 ryo
214 1.3 ryo
215 1.3 ryo
216 1.3 ryo void db_machdep_init(void);
217 1.3 ryo
218 1.3 ryo /* hardware breakpoint/watchpoint functions */
219 1.3 ryo void aarch64_breakpoint_clear(int);
220 1.3 ryo void aarch64_breakpoint_set(int, vaddr_t);
221 1.3 ryo void aarch64_watchpoint_clear(int);
222 1.3 ryo void aarch64_watchpoint_set(int, vaddr_t, int, int);
223 1.3 ryo #define WATCHPOINT_ACCESS_LOAD 0x01
224 1.3 ryo #define WATCHPOINT_ACCESS_STORE 0x02
225 1.3 ryo #define WATCHPOINT_ACCESS_LOADSTORE 0x03
226 1.3 ryo #define WATCHPOINT_ACCESS_MASK 0x03
227 1.3 ryo
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