Searched refs:set_mipsfpu_double_command (Results 1 – 5 of 5) sorted by relevance
6981 set_mipsfpu_double_command (const char *args, int from_tty) in set_mipsfpu_double_command() function9052 = add_cmd ("double", class_support, set_mipsfpu_double_command, in _initialize_mips_tdep()
3352 set_mipsfpu_single_command, set_mipsfpu_double_command,
8294 (set_mipsfpu_single_command, set_mipsfpu_double_command)
14743 (set_mipsfpu_double_command, set_mipsfpu_none_command): Ditto.
6772 (set_mipsfpu_double_command, set_mipsfpu_none_command)