Home | History | Annotate | Line # | Download | only in include
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