print_thread_info (current_uiout, arg, -1);
}
+/* See gdbthread.h. */
+
+void
+switch_to_thread_no_regs (struct thread_info *thread)
+{
+ struct inferior *inf;
+
+ inf = find_inferior_ptid (thread->ptid);
+ gdb_assert (inf != NULL);
+ set_current_program_space (inf->pspace);
+ set_current_inferior (inf);
+
+ inferior_ptid = thread->ptid;
+ stop_pc = ~(CORE_ADDR) 0;
+}
+
/* Switch from one thread to another. */
void