| 1 | /*- |
| 2 | * Mach Operating System |
| 3 | * Copyright (c) 1991,1990 Carnegie Mellon University |
| 4 | * All Rights Reserved. |
| 5 | * |
| 6 | * Permission to use, copy, modify and distribute this software and its |
| 7 | * documentation is hereby granted, provided that both the copyright |
| 8 | * notice and this permission notice appear in all copies of the |
| 9 | * software, derivative works or modified versions, and any portions |
| 10 | * thereof, and that both notices appear in supporting documentation. |
| 11 | * |
| 12 | * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS "AS IS" |
| 13 | * CONDITION. CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR |
| 14 | * ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE. |
| 15 | * |
| 16 | * Carnegie Mellon requests users of this software to return to |
| 17 | * |
| 18 | * Software Distribution Coordinator or Software.Distribution@CS.CMU.EDU |
| 19 | * School of Computer Science |
| 20 | * Carnegie Mellon University |
| 21 | * Pittsburgh PA 15213-3890 |
| 22 | * |
| 23 | * any improvements or extensions that they make and grant Carnegie Mellon |
| 24 | * the rights to redistribute these changes. |
| 25 | * |
| 26 | *	from: FreeBSD: src/sys/i386/include/db_machdep.h,v 1.16 1999/10/04 |
| 27 | */ |
| 28 | |
| 29 | #ifndef	_MACHINE_DB_MACHDEP_H_ |
| 30 | #define	_MACHINE_DB_MACHDEP_H_ |
| 31 | |
| 32 | #include <machine/frame.h> |
| 33 | #include <machine/trap.h> |
| 34 | #include <machine/armreg.h> |
| 35 | |
| 36 | #define T_BREAKPOINT	(1) |
| 37 | #define T_WATCHPOINT	(2) |
| 38 | typedef vm_offset_t	db_addr_t; |
| 39 | typedef int		db_expr_t; |
| 40 | |
| 41 | #define	PC_REGS()	((db_addr_t)kdb_thrctx->pcb_regs.sf_pc) |
| 42 | |
| 43 | #define	BKPT_INST	(KERNEL_BREAKPOINT) |
| 44 | #define	BKPT_SIZE	(INSN_SIZE) |
| 45 | #define	BKPT_SET(inst)	(BKPT_INST) |
| 46 | |
| 47 | #define	BKPT_SKIP do {							\ |
| 48 | 	kdb_frame->tf_pc += BKPT_SIZE; \ |
| 49 | } while (0) |
| 50 | |
| 51 | #define	db_clear_single_step	kdb_cpu_clear_singlestep |
| 52 | #define	db_set_single_step	kdb_cpu_set_singlestep |
| 53 | #define	db_pc_is_singlestep	kdb_cpu_pc_is_singlestep |
| 54 | |
| 55 | #define	IS_BREAKPOINT_TRAP(type, code)	(type == T_BREAKPOINT) |
| 56 | #define	IS_WATCHPOINT_TRAP(type, code)	(type == T_WATCHPOINT) |
| 57 | |
| 58 | #define	inst_trap_return(ins)	(0) |
| 59 | /* ldmxx reg, {..., pc} |
| 60 | 					 01800000 stack mode |
| 61 | 					 000f0000 register |
| 62 | 					 0000ffff register list */ |
| 63 | /* mov pc, reg |
| 64 | 					 0000000f register */ |
| 65 | #define	inst_return(ins)	(((ins) & 0x0e108000) == 0x08108000 || \ |
| 66 | 				 ((ins) & 0x0ff0fff0) == 0x01a0f000 ||	\ |
| 67 | 				 ((ins) & 0x0ffffff0) == 0x012fff10) /* bx */ |
| 68 | /* bl ... |
| 69 | 					 00ffffff offset>>2 */ |
| 70 | #define	inst_call(ins)		(((ins) & 0x0f000000) == 0x0b000000) |
| 71 | /* b ... |
| 72 | 					 00ffffff offset>>2 */ |
| 73 | /* ldr pc, [pc, reg, lsl #2] |
| 74 | 					 0000000f register */ |
| 75 | |
| 76 | #define	inst_branch(ins)	(((ins) & 0x0f000000) == 0x0a000000 || \ |
| 77 | 				 ((ins) & 0x0fdffff0) == 0x079ff100 || \ |
| 78 | 				 ((ins) & 0x0cd0f000) == 0x0490f000 || \ |
| 79 | 				 ((ins) & 0x0ffffff0) == 0x012fff30 || /* blx */ \ |
| 80 | 				 ((ins) & 0x0de0f000) == 0x0080f000) |
| 81 | |
| 82 | #define	inst_load(ins)		(0) |
| 83 | #define	inst_store(ins)		(0) |
| 84 | |
| 85 | #define next_instr_address(pc, bd)	((bd) ? (pc) : ((pc) + INSN_SIZE)) |
| 86 | |
| 87 | #define	DB_ELFSIZE		32 |
| 88 | |
| 89 | int db_validate_address(vm_offset_t); |
| 90 | |
| 91 | u_int branch_taken (u_int insn, db_addr_t pc); |
| 92 | |
| 93 | #endif /* !_MACHINE_DB_MACHDEP_H_ */ |