Searched refs:set_mipsfpu_double_command (Results 1 – 1 of 1) sorted by relevance
4877 set_mipsfpu_double_command (char *args, int from_tty) in set_mipsfpu_double_command() function6144 add_cmd ("double", class_support, set_mipsfpu_double_command, in _initialize_mips_tdep()