Searched defs:used_ptr (Results 1 – 1 of 1) sorted by relevance
432 char *used_ptr = aux_used + (aux_ptr - aux_symbols); in type_to_string() local859 char *used_ptr = aux_used + (aux_base - aux_symbols); in print_symbol() local