Home | History | Annotate | Line # | Download | only in include
db_machdep.h revision 1.7
      1  1.7  jakllsch /* $NetBSD: db_machdep.h,v 1.7 2018/09/15 19:47:48 jakllsch 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.3       ryo #define BKPT_INSN		0xd4200000	/* brk #0 */
     80  1.3       ryo #define BKPT_SET(insn, addr)	(BKPT_INSN)
     81  1.1      matt 
     82  1.1      matt typedef struct trapframe db_regs_t;
     83  1.1      matt extern db_regs_t ddb_regs;
     84  1.1      matt #define DDB_REGS		(&ddb_regs)
     85  1.1      matt #define PC_REGS(tf)		((tf)->tf_pc)
     86  1.1      matt 
     87  1.3       ryo int kdb_trap(int, struct trapframe *);
     88  1.3       ryo #define DB_TRAP_UNKNOWN		0
     89  1.3       ryo #define DB_TRAP_BREAKPOINT	1
     90  1.3       ryo #define DB_TRAP_BKPT_INSN	2
     91  1.3       ryo #define DB_TRAP_WATCHPOINT	3
     92  1.3       ryo #define DB_TRAP_SW_STEP		4
     93  1.1      matt 
     94  1.1      matt #define IS_BREAKPOINT_TRAP(type, code) \
     95  1.1      matt 	((type) == DB_TRAP_BREAKPOINT || (type) == DB_TRAP_BKPT_INSN)
     96  1.1      matt #define IS_WATCHPOINT_TRAP(type, code) \
     97  1.1      matt 	((type) == DB_TRAP_WATCHPOINT)
     98  1.1      matt 
     99  1.3       ryo static inline bool
    100  1.3       ryo inst_return(db_expr_t insn)
    101  1.3       ryo {
    102  1.3       ryo 	return ((insn & 0xfffffc1f) == 0xd65f0000);	/* ret xN */
    103  1.3       ryo }
    104  1.3       ryo 
    105  1.3       ryo static inline bool
    106  1.3       ryo inst_trap_return(db_expr_t insn)
    107  1.1      matt {
    108  1.3       ryo 	return insn == 0xd69f03e0;			/* eret */
    109  1.1      matt }
    110  1.1      matt 
    111  1.1      matt static inline bool
    112  1.3       ryo inst_call(db_expr_t insn)
    113  1.1      matt {
    114  1.3       ryo 	return ((insn & 0xfc000000) == 0x94000000)	/* bl */
    115  1.3       ryo 	    || ((insn & 0xfffffc1f) == 0xd63f0000);	/* blr */
    116  1.1      matt }
    117  1.1      matt 
    118  1.1      matt static inline bool
    119  1.3       ryo inst_load(db_expr_t insn)
    120  1.1      matt {
    121  1.3       ryo 	return
    122  1.4       ryo 	    ((insn & 0xffe00c00) == 0xb8800000) ||	/* ldursw */
    123  1.5       ryo 	    /* ldrsw imm{pre,post}idx */
    124  1.5       ryo 	    ((insn & 0xffe00400) == 0xb8800400) ||
    125  1.5       ryo 	    ((insn & 0xffc00c00) == 0xb8800800) ||	/* ldrsw reg,ldtrsw */
    126  1.4       ryo 	    ((insn & 0xffc00000) == 0xb9800000) ||	/* ldrsw immunsign */
    127  1.4       ryo 	    ((insn & 0xffc00000) == 0x39400000) ||	/* ldrb immunsign */
    128  1.4       ryo 	    ((insn & 0xff000000) == 0x98000000) ||	/* ldrsw literal */
    129  1.5       ryo 	    /* ldpsw {pre,post}idx */
    130  1.5       ryo 	    ((insn & 0xfec00000) == 0x68c00000) ||
    131  1.4       ryo 	    /* ldrh immunsign,ldpsw signed */
    132  1.5       ryo 	    ((insn & 0xefc00000) == 0x69400000) ||
    133  1.5       ryo 	    ((insn & 0xbfff0000) == 0x887f0000) ||	/* ldaxp,ldxp */
    134  1.4       ryo 	    ((insn & 0xbfc00000) == 0xb9400000) ||	/* ldr immunsign */
    135  1.5       ryo 	    ((insn & 0xbfa00c00) == 0x38800000) ||	/* ldursh,ldursb */
    136  1.5       ryo 	    /* ldrsh imm{pre,post}idx,ldrsb imm{pre,post}idx */
    137  1.5       ryo 	    ((insn & 0xbfa00400) == 0x38800400) ||
    138  1.4       ryo 	    /* ldrs[bh] reg,ldtrs[bh] */
    139  1.5       ryo 	    ((insn & 0xbf800c00) == 0x38800800) ||
    140  1.5       ryo 	    /* ldrsh immunsign,ldrsb immunsign */
    141  1.5       ryo 	    ((insn & 0xbf800000) == 0x39800000) ||
    142  1.4       ryo 	    ((insn & 0xbf000000) == 0x18000000) ||	/* ldr literal */
    143  1.5       ryo 	    /* ldp {pre,post}idx,ldp signed,ldnp */
    144  1.5       ryo 	    ((insn & 0x7e400000) == 0x28400000) ||
    145  1.5       ryo 	    ((insn & 0x3ffffc00) == 0x085f7c00) ||	/* ldxr,ldxr[bh] */
    146  1.5       ryo 	    ((insn & 0x3fe00c00) == 0x38400000) ||	/* ldur,ldur[bh] */
    147  1.5       ryo 	    /* ldr imm{pre,post}idx,ldr[bh]_imm{pre,post}idx */
    148  1.5       ryo 	    ((insn & 0x3fe00400) == 0x38400400) ||
    149  1.5       ryo 	    /* ldtr,ldtr[bh],ldr_reg,ldr[bh]_reg */
    150  1.5       ryo 	    ((insn & 0x3fc00c00) == 0x38400800) ||
    151  1.5       ryo 	    /* ldaxr,ldaxr[bh],ldar,ldar[bh] */
    152  1.5       ryo 	    ((insn & 0x3f7ffc00) == 0x085ffc00);
    153  1.1      matt }
    154  1.1      matt 
    155  1.1      matt static inline bool
    156  1.1      matt inst_store(db_expr_t insn)
    157  1.1      matt {
    158  1.3       ryo 	return
    159  1.5       ryo 	    ((insn & 0xbfe00000) == 0x88200000) ||	/* stlxp,stxp */
    160  1.5       ryo 	    /* stp {pre,post}idx,stp signed,stnp */
    161  1.5       ryo 	    ((insn & 0x7e400000) == 0x28000000) ||
    162  1.5       ryo 	    ((insn & 0x3ffffc00) == 0x089ffc00) ||	/* stlr,stlr[bh] */
    163  1.5       ryo 	    /* stlxr,stlxr[bh],stxr,stxr[bh] */
    164  1.5       ryo 	    ((insn & 0x3fe07c00) == 0x08007c00) ||
    165  1.5       ryo 	    ((insn & 0x3fe00c00) == 0x38000000) ||	/* stur,stur[bh] */
    166  1.5       ryo 	    /* str imm{pre,post}idx,str[bh] imm{pre,post}idx */
    167  1.5       ryo 	    ((insn & 0x3fe00400) == 0x38000400) ||
    168  1.5       ryo 	    /* str reg,str[bh] reg,sttr,sttr[bh] */
    169  1.5       ryo 	    ((insn & 0x3fc00c00) == 0x38000800) ||
    170  1.5       ryo 	    /* str immunsign,str[bh] immunsign */
    171  1.5       ryo 	    ((insn & 0x3fc00000) == 0x39000000);
    172  1.1      matt }
    173  1.1      matt 
    174  1.3       ryo #define SOFTWARE_SSTEP
    175  1.3       ryo 
    176  1.3       ryo #ifdef SOFTWARE_SSTEP
    177  1.3       ryo 
    178  1.1      matt static inline bool
    179  1.3       ryo inst_branch(db_expr_t insn)
    180  1.1      matt {
    181  1.3       ryo 	return
    182  1.3       ryo 	    ((insn & 0xff000010) == 0x54000000) ||	/* b.cond */
    183  1.3       ryo 	    ((insn & 0xfc000000) == 0x14000000) ||	/* b imm */
    184  1.3       ryo 	    ((insn & 0xfffffc1f) == 0xd61f0000) ||	/* br */
    185  1.3       ryo 	    ((insn & 0x7f000000) == 0x35000000) ||	/* cbnz */
    186  1.3       ryo 	    ((insn & 0x7f000000) == 0x34000000) ||	/* cbz */
    187  1.3       ryo 	    ((insn & 0x7f000000) == 0x37000000) ||	/* tbnz */
    188  1.3       ryo 	    ((insn & 0x7f000000) == 0x36000000);	/* tbz */
    189  1.1      matt }
    190  1.1      matt 
    191  1.3       ryo bool db_inst_unconditional_flow_transfer(db_expr_t);
    192  1.3       ryo db_addr_t db_branch_taken(db_expr_t, db_addr_t, db_regs_t *);
    193  1.3       ryo 
    194  1.3       ryo #define next_instr_address(pc, bd)		\
    195  1.3       ryo 	    ((bd) ? (pc) : ((pc) + 4))
    196  1.3       ryo #define branch_taken(ins, pc, regs)		\
    197  1.3       ryo 	    db_branch_taken((ins), (pc), (regs))
    198  1.3       ryo #define inst_unconditional_flow_transfer(ins)	\
    199  1.3       ryo 	    db_inst_unconditional_flow_transfer(ins)
    200  1.3       ryo 
    201  1.3       ryo #endif /* SOFTWARE_SSTEP */
    202  1.3       ryo 
    203  1.3       ryo #define DB_MACHINE_COMMANDS
    204  1.3       ryo void dump_trapframe(struct trapframe *, void (*)(const char *, ...));
    205  1.6       ryo const char *strdisasm(vaddr_t);
    206  1.3       ryo void db_machdep_init(void);
    207  1.3       ryo 
    208  1.3       ryo /* hardware breakpoint/watchpoint functions */
    209  1.3       ryo void aarch64_breakpoint_clear(int);
    210  1.3       ryo void aarch64_breakpoint_set(int, vaddr_t);
    211  1.3       ryo void aarch64_watchpoint_clear(int);
    212  1.3       ryo void aarch64_watchpoint_set(int, vaddr_t, int, int);
    213  1.3       ryo #define WATCHPOINT_ACCESS_LOAD		0x01
    214  1.3       ryo #define WATCHPOINT_ACCESS_STORE		0x02
    215  1.3       ryo #define WATCHPOINT_ACCESS_LOADSTORE	0x03
    216  1.3       ryo #define WATCHPOINT_ACCESS_MASK		0x03
    217  1.3       ryo 
    218  1.7  jakllsch #define DB_ELF_SYMBOLS
    219  1.3       ryo 
    220  1.1      matt #elif defined(__arm__)
    221  1.1      matt 
    222  1.1      matt #include <arm/db_machdep.h>
    223  1.1      matt 
    224  1.1      matt #endif
    225  1.1      matt 
    226  1.1      matt #endif /* _AARCH64_DB_MACHDEP_H_ */
    227