Searched refs:push_remote_target (Results 1 – 2 of 2) sorted by relevance
1212 extern void push_remote_target (char *name, int from_tty);
4826 push_remote_target (char *name, int from_tty) in push_remote_target() function