Searched refs:push_remote_target (Results 1 – 3 of 3) sorted by relevance
174 push_remote_target (remote, 0); in kgdb_new_objfile()
1244 extern void push_remote_target (char *name, int from_tty);
4761 push_remote_target (char *name, int from_tty) in push_remote_target() function