Searched refs:info_w32_command (Results 1 – 1 of 1) sorted by relevance
1057 info_w32_command (char *args, int from_tty) in info_w32_command() function2143 add_prefix_cmd ("w32", class_info, info_w32_command, in _initialize_win32_nat()