db_branch_taken
db_addr_t db_branch_taken(db_expr_t, db_addr_t, db_regs_t *);
db_branch_taken((ins), (pc), (regs))
db_addr_t db_branch_taken(int inst, db_addr_t pc, db_regs_t *regs);
db_branch_taken((ins), (pc), (regs))
db_branch_taken((ins), (pc), (regs))
db_addr_t db_branch_taken(int inst, db_addr_t pc, db_regs_t *regs);
db_addr_t db_branch_taken(int inst, db_addr_t pc, db_regs_t *regs);
db_branch_taken((ins), (pc), (regs))