Searched refs:set_mipsfpu_double_command (Results 1 – 4 of 4) sorted by relevance
4271 set_mipsfpu_double_command (char *args, int from_tty) in set_mipsfpu_double_command() function5240 add_cmd ("double", class_support, set_mipsfpu_double_command, in _initialize_mips_tdep()
3352 set_mipsfpu_single_command, set_mipsfpu_double_command,
12861 (set_mipsfpu_double_command, set_mipsfpu_none_command): Ditto.
8303 (set_mipsfpu_single_command, set_mipsfpu_double_command)