Searched defs:inferior_io_terminal (Results 1 – 3 of 3) sorted by relevance
141 const char *inferior_io_terminal = get_inferior_io_terminal (); in fork_inferior() local
184 const char *inferior_io_terminal = get_inferior_io_terminal (); in show_inferior_tty_command() local
263 const char *inferior_io_terminal = get_inferior_io_terminal (); in mi_cmd_inferior_tty_show() local