Searched refs:maintenance_print_symbols (Results 1 – 3 of 3) sorted by relevance
1260 void maintenance_print_symbols (char *, int);
786 add_cmd ("symbols", class_maintenance, maintenance_print_symbols, in _initialize_maint_cmds()
535 maintenance_print_symbols (char *args, int from_tty) in maintenance_print_symbols() function