#include "value.h"
#include "target.h"
#include "thread.h"
+#include "command.h"
#include <sys/types.h>
#include <signal.h>
static struct thread_info *thread_list = NULL;
static int highest_thread_num;
-static void thread_info PARAMS ((void));
-
static void thread_command PARAMS ((char * tidstr, int from_tty));
static void prune_threads PARAMS ((void));
{
struct thread_info *tp;
- tp = xmalloc (sizeof (struct thread_info));
+ tp = (struct thread_info *) xmalloc (sizeof (struct thread_info));
tp->pid = pid;
tp->num = ++highest_thread_num;
if (target_has_execution
&& kill (tp->pid, 0) == -1)
{
- tp->pid == -1; /* Mark it as dead */
+ tp->pid = -1; /* Mark it as dead */
continue;
}
/* Switch from one thread to another. */
-void
+static void
thread_switch (pid)
int pid;
{
return;
inferior_pid = pid;
- pc_changed = 0;
flush_cached_frames ();
registers_changed ();
stop_pc = read_pc();