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