db_num_to_str
db_num_to_str(db_ppc4xx_mfdcr(addr)));
db_printf("%s\n", db_num_to_str(db_ppc4xx_mfdcr(addr)));
db_num_to_str(db_ppc4xx_mfdcr(addr)));
db_printf("%s\n", db_num_to_str(retval));
char *db_num_to_str(db_expr_t);
db_printf("%-12s%s", vs.name, db_num_to_str(value));
strlcpy(buf, db_num_to_str(off), buflen);
(*pr)("%s", db_num_to_str(off));
(*pr)("%s", db_num_to_str(off));
db_printf("$%s\t\t%s = ", vp->name, db_num_to_str(old_value));
db_printf("%s\n", db_num_to_str(value));
db_printf("\t\t%s = ", db_num_to_str(old_value));
db_printf("%s\n", db_num_to_str(new_value));
db_printf("\t\t= %s\n", db_num_to_str(new_value));