Home | History | Annotate | Line # | Download | only in arm32
db_interface.c revision 1.31
      1  1.31  thorpej /*	$NetBSD: db_interface.c,v 1.31 2003/07/09 20:14:14 thorpej Exp $	*/
      2   1.1     matt 
      3   1.1     matt /*
      4   1.1     matt  * Copyright (c) 1996 Scott K. Stevens
      5   1.1     matt  *
      6   1.1     matt  * Mach Operating System
      7   1.1     matt  * Copyright (c) 1991,1990 Carnegie Mellon University
      8   1.1     matt  * All Rights Reserved.
      9   1.1     matt  *
     10   1.1     matt  * Permission to use, copy, modify and distribute this software and its
     11   1.1     matt  * documentation is hereby granted, provided that both the copyright
     12   1.1     matt  * notice and this permission notice appear in all copies of the
     13   1.1     matt  * software, derivative works or modified versions, and any portions
     14   1.1     matt  * thereof, and that both notices appear in supporting documentation.
     15   1.1     matt  *
     16   1.1     matt  * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS "AS IS"
     17   1.1     matt  * CONDITION.  CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR
     18   1.1     matt  * ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
     19   1.1     matt  *
     20   1.1     matt  * Carnegie Mellon requests users of this software to return to
     21   1.1     matt  *
     22   1.1     matt  *  Software Distribution Coordinator  or  Software.Distribution (at) CS.CMU.EDU
     23   1.1     matt  *  School of Computer Science
     24   1.1     matt  *  Carnegie Mellon University
     25   1.1     matt  *  Pittsburgh PA 15213-3890
     26   1.1     matt  *
     27   1.1     matt  * any improvements or extensions that they make and grant Carnegie the
     28   1.1     matt  * rights to redistribute these changes.
     29   1.1     matt  *
     30   1.1     matt  *	From: db_interface.c,v 2.4 1991/02/05 17:11:13 mrt (CMU)
     31   1.1     matt  */
     32   1.1     matt 
     33   1.1     matt /*
     34   1.1     matt  * Interface to new debugger.
     35   1.1     matt  */
     36   1.1     matt #include "opt_ddb.h"
     37  1.24   briggs #include "opt_kgdb.h"
     38   1.1     matt 
     39   1.1     matt #include <sys/param.h>
     40   1.1     matt #include <sys/proc.h>
     41   1.1     matt #include <sys/reboot.h>
     42   1.1     matt #include <sys/systm.h>	/* just for boothowto */
     43   1.1     matt #include <sys/exec.h>
     44   1.1     matt 
     45   1.1     matt #include <uvm/uvm_extern.h>
     46   1.1     matt 
     47  1.13    chris #include <arm/arm32/db_machdep.h>
     48   1.9  thorpej #include <arm/arm32/katelib.h>
     49  1.11  thorpej #include <arm/undefined.h>
     50  1.13    chris #include <ddb/db_access.h>
     51   1.1     matt #include <ddb/db_command.h>
     52   1.1     matt #include <ddb/db_output.h>
     53   1.1     matt #include <ddb/db_variables.h>
     54   1.1     matt #include <ddb/db_sym.h>
     55   1.1     matt #include <ddb/db_extern.h>
     56   1.1     matt #include <ddb/db_interface.h>
     57   1.1     matt #include <dev/cons.h>
     58   1.1     matt 
     59  1.24   briggs #if defined(KGDB) || !defined(DDB)
     60  1.24   briggs #define db_printf	printf
     61  1.24   briggs #endif
     62  1.24   briggs 
     63   1.1     matt static int nil;
     64   1.1     matt 
     65   1.1     matt int db_access_und_sp __P((const struct db_variable *, db_expr_t *, int));
     66   1.1     matt int db_access_abt_sp __P((const struct db_variable *, db_expr_t *, int));
     67   1.1     matt int db_access_irq_sp __P((const struct db_variable *, db_expr_t *, int));
     68   1.1     matt u_int db_fetch_reg __P((int, db_regs_t *));
     69   1.1     matt 
     70  1.15  thorpej int db_trapper __P((u_int, u_int, trapframe_t *, int));
     71  1.13    chris 
     72   1.1     matt const struct db_variable db_regs[] = {
     73   1.1     matt 	{ "spsr", (long *)&DDB_REGS->tf_spsr, FCN_NULL, },
     74   1.1     matt 	{ "r0", (long *)&DDB_REGS->tf_r0, FCN_NULL, },
     75   1.1     matt 	{ "r1", (long *)&DDB_REGS->tf_r1, FCN_NULL, },
     76   1.1     matt 	{ "r2", (long *)&DDB_REGS->tf_r2, FCN_NULL, },
     77   1.1     matt 	{ "r3", (long *)&DDB_REGS->tf_r3, FCN_NULL, },
     78   1.1     matt 	{ "r4", (long *)&DDB_REGS->tf_r4, FCN_NULL, },
     79   1.1     matt 	{ "r5", (long *)&DDB_REGS->tf_r5, FCN_NULL, },
     80   1.1     matt 	{ "r6", (long *)&DDB_REGS->tf_r6, FCN_NULL, },
     81   1.1     matt 	{ "r7", (long *)&DDB_REGS->tf_r7, FCN_NULL, },
     82   1.1     matt 	{ "r8", (long *)&DDB_REGS->tf_r8, FCN_NULL, },
     83   1.1     matt 	{ "r9", (long *)&DDB_REGS->tf_r9, FCN_NULL, },
     84   1.1     matt 	{ "r10", (long *)&DDB_REGS->tf_r10, FCN_NULL, },
     85   1.1     matt 	{ "r11", (long *)&DDB_REGS->tf_r11, FCN_NULL, },
     86   1.1     matt 	{ "r12", (long *)&DDB_REGS->tf_r12, FCN_NULL, },
     87   1.1     matt 	{ "usr_sp", (long *)&DDB_REGS->tf_usr_sp, FCN_NULL, },
     88   1.1     matt 	{ "usr_lr", (long *)&DDB_REGS->tf_usr_lr, FCN_NULL, },
     89   1.1     matt 	{ "svc_sp", (long *)&DDB_REGS->tf_svc_sp, FCN_NULL, },
     90   1.1     matt 	{ "svc_lr", (long *)&DDB_REGS->tf_svc_lr, FCN_NULL, },
     91   1.1     matt 	{ "pc", (long *)&DDB_REGS->tf_pc, FCN_NULL, },
     92   1.1     matt 	{ "und_sp", (long *)&nil, db_access_und_sp, },
     93   1.1     matt 	{ "abt_sp", (long *)&nil, db_access_abt_sp, },
     94   1.1     matt 	{ "irq_sp", (long *)&nil, db_access_irq_sp, },
     95   1.1     matt };
     96   1.1     matt 
     97   1.1     matt const struct db_variable * const db_eregs = db_regs + sizeof(db_regs)/sizeof(db_regs[0]);
     98   1.1     matt 
     99   1.1     matt int	db_active = 0;
    100   1.1     matt 
    101  1.15  thorpej int
    102  1.15  thorpej db_access_und_sp(const struct db_variable *vp, db_expr_t *valp, int rw)
    103   1.1     matt {
    104  1.15  thorpej 
    105   1.1     matt 	if (rw == DB_VAR_GET)
    106   1.1     matt 		*valp = get_stackptr(PSR_UND32_MODE);
    107   1.1     matt 	return(0);
    108   1.1     matt }
    109   1.1     matt 
    110  1.15  thorpej int
    111  1.15  thorpej db_access_abt_sp(const struct db_variable *vp, db_expr_t *valp, int rw)
    112   1.1     matt {
    113  1.15  thorpej 
    114   1.1     matt 	if (rw == DB_VAR_GET)
    115   1.1     matt 		*valp = get_stackptr(PSR_ABT32_MODE);
    116   1.1     matt 	return(0);
    117   1.1     matt }
    118   1.1     matt 
    119  1.15  thorpej int
    120  1.15  thorpej db_access_irq_sp(const struct db_variable *vp, db_expr_t *valp, int rw)
    121   1.1     matt {
    122  1.15  thorpej 
    123   1.1     matt 	if (rw == DB_VAR_GET)
    124   1.1     matt 		*valp = get_stackptr(PSR_IRQ32_MODE);
    125   1.1     matt 	return(0);
    126   1.1     matt }
    127   1.1     matt 
    128  1.24   briggs #ifdef DDB
    129   1.1     matt /*
    130   1.1     matt  *  kdb_trap - field a TRACE or BPT trap
    131   1.1     matt  */
    132   1.1     matt int
    133  1.15  thorpej kdb_trap(int type, db_regs_t *regs)
    134   1.1     matt {
    135   1.1     matt 	int s;
    136   1.1     matt 
    137   1.1     matt 	switch (type) {
    138   1.1     matt 	case T_BREAKPOINT:	/* breakpoint */
    139   1.1     matt 	case -1:		/* keyboard interrupt */
    140   1.1     matt 		break;
    141   1.1     matt 	default:
    142   1.1     matt 		if (db_recover != 0) {
    143  1.31  thorpej 			/* This will longjmp back into db_command_loop() */
    144   1.1     matt 			db_error("Faulted in DDB; continuing...\n");
    145   1.1     matt 			/*NOTREACHED*/
    146   1.1     matt 		}
    147   1.1     matt 	}
    148   1.1     matt 
    149   1.1     matt 	/* Should switch to kdb`s own stack here. */
    150   1.1     matt 
    151   1.1     matt 	ddb_regs = *regs;
    152   1.1     matt 
    153   1.1     matt 	s = splhigh();
    154   1.1     matt 	db_active++;
    155   1.1     matt 	cnpollc(TRUE);
    156   1.1     matt 	db_trap(type, 0/*code*/);
    157   1.1     matt 	cnpollc(FALSE);
    158   1.1     matt 	db_active--;
    159   1.1     matt 	splx(s);
    160   1.1     matt 
    161   1.1     matt 	*regs = ddb_regs;
    162   1.1     matt 
    163   1.1     matt 	return (1);
    164   1.1     matt }
    165  1.24   briggs #endif
    166   1.1     matt 
    167  1.24   briggs int
    168  1.15  thorpej db_validate_address(vaddr_t addr)
    169   1.1     matt {
    170   1.1     matt 	struct proc *p = curproc;
    171  1.14  thorpej 	struct pmap *pmap;
    172   1.1     matt 
    173  1.23      scw 	if (!p || !p->p_vmspace || !p->p_vmspace->vm_map.pmap ||
    174  1.23      scw #ifndef ARM32_NEW_VM_LAYOUT
    175  1.29  thorpej 	    addr >= VM_MAXUSER_ADDRESS
    176  1.23      scw #else
    177  1.29  thorpej 	    addr >= VM_MIN_KERNEL_ADDRESS
    178  1.23      scw #endif
    179  1.29  thorpej 	   )
    180  1.14  thorpej 		pmap = pmap_kernel();
    181   1.1     matt 	else
    182  1.14  thorpej 		pmap = p->p_vmspace->vm_map.pmap;
    183   1.1     matt 
    184  1.14  thorpej 	return (pmap_extract(pmap, addr, NULL) == FALSE);
    185   1.1     matt }
    186   1.1     matt 
    187   1.1     matt /*
    188   1.1     matt  * Read bytes from kernel address space for debugger.
    189   1.1     matt  */
    190   1.1     matt void
    191   1.1     matt db_read_bytes(addr, size, data)
    192  1.20  thorpej 	vaddr_t	addr;
    193  1.13    chris 	size_t	size;
    194   1.1     matt 	char	*data;
    195   1.1     matt {
    196  1.30      scw 	char	*src = (char *)addr;
    197   1.1     matt 
    198  1.30      scw 	if (db_validate_address((u_int)src)) {
    199  1.30      scw 		db_printf("address %p is invalid\n", src);
    200  1.30      scw 		return;
    201  1.30      scw 	}
    202  1.30      scw 
    203  1.30      scw 	if (size == 4 && (addr & 3) == 0 && ((uintptr_t)data & 3) == 0) {
    204  1.30      scw 		*((int*)data) = *((int*)src);
    205  1.30      scw 		return;
    206  1.30      scw 	}
    207  1.30      scw 
    208  1.30      scw 	if (size == 2 && (addr & 1) == 0 && ((uintptr_t)data & 1) == 0) {
    209  1.30      scw 		*((short*)data) = *((short*)src);
    210  1.30      scw 		return;
    211  1.30      scw 	}
    212  1.14  thorpej 
    213  1.14  thorpej 	while (size-- > 0) {
    214   1.1     matt 		if (db_validate_address((u_int)src)) {
    215   1.1     matt 			db_printf("address %p is invalid\n", src);
    216   1.1     matt 			return;
    217   1.1     matt 		}
    218   1.1     matt 		*data++ = *src++;
    219   1.1     matt 	}
    220   1.1     matt }
    221   1.1     matt 
    222   1.1     matt static void
    223  1.15  thorpej db_write_text(vaddr_t addr, size_t size, char *data)
    224   1.1     matt {
    225  1.15  thorpej 	struct pmap *pmap = pmap_kernel();
    226  1.15  thorpej 	pd_entry_t *pde, oldpde, tmppde;
    227  1.15  thorpej 	pt_entry_t *pte, oldpte, tmppte;
    228  1.15  thorpej 	vaddr_t pgva;
    229  1.15  thorpej 	size_t limit, savesize;
    230  1.15  thorpej 	char *dst;
    231   1.1     matt 
    232  1.15  thorpej 	if ((savesize = size) == 0)
    233  1.15  thorpej 		return;
    234  1.15  thorpej 
    235  1.15  thorpej 	dst = (char *) addr;
    236   1.1     matt 
    237  1.15  thorpej 	do {
    238  1.15  thorpej 		/* Get the PDE of the current VA. */
    239  1.23      scw 		if (pmap_get_pde_pte(pmap, (vaddr_t) dst, &pde, &pte) == FALSE)
    240  1.23      scw 			goto no_mapping;
    241  1.18  thorpej 		switch ((oldpde = *pde) & L1_TYPE_MASK) {
    242  1.18  thorpej 		case L1_TYPE_S:
    243  1.18  thorpej 			pgva = (vaddr_t)dst & L1_S_FRAME;
    244  1.18  thorpej 			limit = L1_S_SIZE - ((vaddr_t)dst & L1_S_OFFSET);
    245  1.15  thorpej 
    246  1.19  thorpej 			tmppde = oldpde | L1_S_PROT_W;
    247  1.15  thorpej 			*pde = tmppde;
    248  1.22  thorpej 			PTE_SYNC(pde);
    249  1.15  thorpej 			break;
    250  1.15  thorpej 
    251  1.18  thorpej 		case L1_TYPE_C:
    252  1.18  thorpej 			pgva = (vaddr_t)dst & L2_S_FRAME;
    253  1.18  thorpej 			limit = L2_S_SIZE - ((vaddr_t)dst & L2_S_OFFSET);
    254  1.15  thorpej 
    255  1.23      scw 			if (pte == NULL)
    256  1.23      scw 				goto no_mapping;
    257  1.15  thorpej 			oldpte = *pte;
    258  1.19  thorpej 			tmppte = oldpte | L2_S_PROT_W;
    259  1.15  thorpej 			*pte = tmppte;
    260  1.22  thorpej 			PTE_SYNC(pte);
    261  1.15  thorpej 			break;
    262  1.15  thorpej 
    263  1.15  thorpej 		default:
    264  1.23      scw 		no_mapping:
    265  1.15  thorpej 			printf(" address 0x%08lx not a valid page\n",
    266  1.15  thorpej 			    (vaddr_t) dst);
    267  1.15  thorpej 			return;
    268  1.15  thorpej 		}
    269  1.15  thorpej 		cpu_tlb_flushD_SE(pgva);
    270  1.16  thorpej 		cpu_cpwait();
    271   1.1     matt 
    272  1.15  thorpej 		if (limit > size)
    273  1.15  thorpej 			limit = size;
    274  1.15  thorpej 		size -= limit;
    275   1.1     matt 
    276  1.15  thorpej 		/*
    277  1.15  thorpej 		 * Page is now writable.  Do as much access as we
    278  1.15  thorpej 		 * can in this page.
    279  1.15  thorpej 		 */
    280  1.15  thorpej 		for (; limit > 0; limit--)
    281  1.15  thorpej 			*dst++ = *data++;
    282   1.1     matt 
    283  1.15  thorpej 		/*
    284  1.15  thorpej 		 * Restore old mapping permissions.
    285  1.15  thorpej 		 */
    286  1.18  thorpej 		switch (oldpde & L1_TYPE_MASK) {
    287  1.18  thorpej 		case L1_TYPE_S:
    288  1.15  thorpej 			*pde = oldpde;
    289  1.22  thorpej 			PTE_SYNC(pde);
    290  1.15  thorpej 			break;
    291  1.15  thorpej 
    292  1.18  thorpej 		case L1_TYPE_C:
    293  1.15  thorpej 			*pte = oldpte;
    294  1.22  thorpej 			PTE_SYNC(pte);
    295  1.15  thorpej 			break;
    296  1.15  thorpej 		}
    297  1.15  thorpej 		cpu_tlb_flushD_SE(pgva);
    298  1.16  thorpej 		cpu_cpwait();
    299  1.15  thorpej 	} while (size != 0);
    300   1.1     matt 
    301  1.15  thorpej 	/* Sync the I-cache. */
    302  1.17  thorpej 	cpu_icache_sync_range(addr, savesize);
    303   1.1     matt }
    304   1.1     matt 
    305   1.1     matt /*
    306   1.1     matt  * Write bytes to kernel address space for debugger.
    307   1.1     matt  */
    308   1.1     matt void
    309  1.15  thorpej db_write_bytes(vaddr_t addr, size_t size, char *data)
    310   1.1     matt {
    311  1.27  thorpej 	extern char kernel_text[];
    312  1.15  thorpej 	extern char etext[];
    313  1.15  thorpej 	char *dst;
    314  1.15  thorpej 	size_t loop;
    315  1.15  thorpej 
    316  1.15  thorpej 	/* If any part is in kernel text, use db_write_text() */
    317  1.27  thorpej 	if (addr >= (vaddr_t) kernel_text && addr < (vaddr_t) etext) {
    318  1.15  thorpej 		db_write_text(addr, size, data);
    319  1.15  thorpej 		return;
    320  1.15  thorpej 	}
    321   1.1     matt 
    322   1.1     matt 	dst = (char *)addr;
    323  1.30      scw 	if (db_validate_address((u_int)dst)) {
    324  1.30      scw 		db_printf("address %p is invalid\n", dst);
    325  1.30      scw 		return;
    326  1.30      scw 	}
    327  1.30      scw 
    328  1.30      scw 	if (size == 4 && (addr & 3) == 0 && ((uintptr_t)data & 3) == 0)
    329  1.30      scw 		*((int*)dst) = *((int*)data);
    330  1.30      scw 	else
    331  1.30      scw 	if (size == 2 && (addr & 1) == 0 && ((uintptr_t)data & 1) == 0)
    332  1.30      scw 		*((short*)dst) = *((short*)data);
    333  1.30      scw 	else {
    334  1.30      scw 		loop = size;
    335  1.30      scw 		while (loop-- > 0) {
    336  1.30      scw 			if (db_validate_address((u_int)dst)) {
    337  1.30      scw 				db_printf("address %p is invalid\n", dst);
    338  1.30      scw 				return;
    339  1.30      scw 			}
    340  1.30      scw 			*dst++ = *data++;
    341   1.1     matt 		}
    342   1.1     matt 	}
    343  1.30      scw 
    344   1.1     matt 	/* make sure the caches and memory are in sync */
    345  1.17  thorpej 	cpu_icache_sync_range(addr, size);
    346   1.1     matt 
    347   1.1     matt 	/* In case the current page tables have been modified ... */
    348   1.1     matt 	cpu_tlb_flushID();
    349  1.16  thorpej 	cpu_cpwait();
    350   1.1     matt }
    351   1.1     matt 
    352  1.28      bsh #ifdef DDB
    353   1.1     matt void
    354  1.15  thorpej cpu_Debugger(void)
    355   1.1     matt {
    356   1.1     matt 	asm(".word	0xe7ffffff");
    357   1.1     matt }
    358   1.1     matt 
    359   1.1     matt const struct db_command db_machine_command_table[] = {
    360   1.1     matt 	{ "frame",	db_show_frame_cmd,	0, NULL },
    361   1.1     matt 	{ "panic",	db_show_panic_cmd,	0, NULL },
    362   1.2     matt #ifdef ARM32_DB_COMMANDS
    363   1.2     matt 	ARM32_DB_COMMANDS,
    364   1.2     matt #endif
    365   1.1     matt 	{ NULL, 	NULL, 			0, NULL }
    366   1.1     matt };
    367   1.1     matt 
    368   1.1     matt int
    369  1.15  thorpej db_trapper(u_int addr, u_int inst, trapframe_t *frame, int fault_code)
    370   1.1     matt {
    371  1.15  thorpej 
    372   1.1     matt 	if (fault_code == 0) {
    373   1.1     matt 		if ((inst & ~INSN_COND_MASK) == (BKPT_INST & ~INSN_COND_MASK))
    374   1.1     matt 			kdb_trap(T_BREAKPOINT, frame);
    375   1.1     matt 		else
    376   1.1     matt 			kdb_trap(-1, frame);
    377   1.1     matt 	} else
    378   1.1     matt 		return (1);
    379   1.1     matt 	return (0);
    380   1.1     matt }
    381   1.1     matt 
    382   1.1     matt extern u_int esym;
    383   1.1     matt extern u_int end;
    384   1.1     matt 
    385   1.3    bjh21 static struct undefined_handler db_uh;
    386   1.3    bjh21 
    387   1.1     matt void
    388  1.15  thorpej db_machine_init(void)
    389   1.1     matt {
    390   1.1     matt 
    391   1.3    bjh21 	/*
    392   1.3    bjh21 	 * We get called before malloc() is available, so supply a static
    393   1.3    bjh21 	 * struct undefined_handler.
    394   1.3    bjh21 	 */
    395   1.3    bjh21 	db_uh.uh_handler = db_trapper;
    396   1.3    bjh21 	install_coproc_handler_static(0, &db_uh);
    397   1.1     matt }
    398  1.24   briggs #endif
    399   1.1     matt 
    400   1.1     matt u_int
    401  1.15  thorpej db_fetch_reg(int reg, db_regs_t *db_regs)
    402   1.1     matt {
    403   1.1     matt 
    404   1.1     matt 	switch (reg) {
    405   1.1     matt 	case 0:
    406   1.1     matt 		return (db_regs->tf_r0);
    407   1.1     matt 	case 1:
    408   1.1     matt 		return (db_regs->tf_r1);
    409   1.1     matt 	case 2:
    410   1.1     matt 		return (db_regs->tf_r2);
    411   1.1     matt 	case 3:
    412   1.1     matt 		return (db_regs->tf_r3);
    413   1.1     matt 	case 4:
    414   1.1     matt 		return (db_regs->tf_r4);
    415   1.1     matt 	case 5:
    416   1.1     matt 		return (db_regs->tf_r5);
    417   1.1     matt 	case 6:
    418   1.1     matt 		return (db_regs->tf_r6);
    419   1.1     matt 	case 7:
    420   1.1     matt 		return (db_regs->tf_r7);
    421   1.1     matt 	case 8:
    422   1.1     matt 		return (db_regs->tf_r8);
    423   1.1     matt 	case 9:
    424   1.1     matt 		return (db_regs->tf_r9);
    425   1.1     matt 	case 10:
    426   1.1     matt 		return (db_regs->tf_r10);
    427   1.1     matt 	case 11:
    428   1.1     matt 		return (db_regs->tf_r11);
    429   1.1     matt 	case 12:
    430   1.1     matt 		return (db_regs->tf_r12);
    431   1.1     matt 	case 13:
    432   1.1     matt 		return (db_regs->tf_svc_sp);
    433   1.1     matt 	case 14:
    434   1.1     matt 		return (db_regs->tf_svc_lr);
    435   1.1     matt 	case 15:
    436   1.1     matt 		return (db_regs->tf_pc);
    437   1.1     matt 	default:
    438   1.1     matt 		panic("db_fetch_reg: botch");
    439   1.1     matt 	}
    440   1.1     matt }
    441   1.1     matt 
    442   1.1     matt u_int
    443  1.15  thorpej branch_taken(u_int insn, u_int pc, db_regs_t *db_regs)
    444   1.1     matt {
    445   1.1     matt 	u_int addr, nregs;
    446   1.1     matt 
    447   1.1     matt 	switch ((insn >> 24) & 0xf) {
    448   1.1     matt 	case 0xa:	/* b ... */
    449   1.1     matt 	case 0xb:	/* bl ... */
    450   1.1     matt 		addr = ((insn << 2) & 0x03ffffff);
    451   1.1     matt 		if (addr & 0x02000000)
    452   1.1     matt 			addr |= 0xfc000000;
    453   1.1     matt 		return (pc + 8 + addr);
    454   1.1     matt 	case 0x7:	/* ldr pc, [pc, reg, lsl #2] */
    455   1.1     matt 		addr = db_fetch_reg(insn & 0xf, db_regs);
    456   1.1     matt 		addr = pc + 8 + (addr << 2);
    457   1.1     matt 		db_read_bytes(addr, 4, (char *)&addr);
    458   1.1     matt 		return (addr);
    459   1.1     matt 	case 0x1:	/* mov pc, reg */
    460   1.1     matt 		addr = db_fetch_reg(insn & 0xf, db_regs);
    461   1.1     matt 		return (addr);
    462   1.1     matt 	case 0x8:	/* ldmxx reg, {..., pc} */
    463   1.1     matt 	case 0x9:
    464   1.1     matt 		addr = db_fetch_reg((insn >> 16) & 0xf, db_regs);
    465   1.1     matt 		nregs = (insn  & 0x5555) + ((insn  >> 1) & 0x5555);
    466   1.1     matt 		nregs = (nregs & 0x3333) + ((nregs >> 2) & 0x3333);
    467   1.1     matt 		nregs = (nregs + (nregs >> 4)) & 0x0f0f;
    468   1.1     matt 		nregs = (nregs + (nregs >> 8)) & 0x001f;
    469   1.1     matt 		switch ((insn >> 23) & 0x3) {
    470   1.1     matt 		case 0x0:	/* ldmda */
    471   1.1     matt 			addr = addr - 0;
    472   1.1     matt 			break;
    473   1.1     matt 		case 0x1:	/* ldmia */
    474   1.1     matt 			addr = addr + 0 + ((nregs - 1) << 2);
    475   1.1     matt 			break;
    476   1.1     matt 		case 0x2:	/* ldmdb */
    477   1.1     matt 			addr = addr - 4;
    478   1.1     matt 			break;
    479   1.1     matt 		case 0x3:	/* ldmib */
    480   1.1     matt 			addr = addr + 4 + ((nregs - 1) << 2);
    481   1.1     matt 			break;
    482   1.1     matt 		}
    483   1.1     matt 		db_read_bytes(addr, 4, (char *)&addr);
    484   1.1     matt 		return (addr);
    485   1.1     matt 	default:
    486   1.1     matt 		panic("branch_taken: botch");
    487   1.1     matt 	}
    488   1.1     matt }
    489