db_branch_taken
vaddr_t db_branch_taken(int, vaddr_t, db_regs_t *);
#define branch_taken(ins, pc, fun, regs) db_branch_taken((ins), (pc), (regs))
db_branch_taken((ins), (pc), (regs))
vaddr_t db_branch_taken(u_int inst, vaddr_t pc, db_regs_t *regs);
vaddr_t db_branch_taken(u_int inst, vaddr_t pc, db_regs_t *regs);
db_branch_taken((ins), (pc), (regs))
vaddr_t db_branch_taken(int inst, vaddr_t pc, db_regs_t *regs);
db_branch_taken((ins), (pc), (regs))