branch_taken
u_int branch_taken(u_int insn, u_int pc, db_regs_t *db_regs);
db_addr_t branch_taken(int inst, db_addr_t pc, db_regs_t *regs);
extern db_addr_t branch_taken(int, db_addr_t, db_regs_t *);
db_addr_t branch_taken(uint32_t inst, db_addr_t pc, db_regs_t *regs);
brpc = branch_taken(inst, pc, regs);