int thread_support = 0; /* 1 if the thread library in use is supported */
static int gdbtk_task_initialization = 0;
-static int add_task_entry (p_task_id, index)
- void *p_task_id;
- int index;
+static int
+add_task_entry (void *p_task_id, int index)
{
struct task_entry *new_task_entry = NULL;
struct task_entry *pt;
}
int
-get_entry_number (p_task_id)
- void *p_task_id;
+get_entry_number (void *p_task_id)
{
struct task_entry *pt;
return 0;
}
-static struct task_entry *get_thread_entry_vptr (thread)
- void *thread;
+static struct task_entry *
+get_thread_entry_vptr (void *thread)
{
struct task_entry *pt;
return 0;
}
-static struct task_entry *get_entry_vptr (p_task_num)
- int p_task_num;
+static struct task_entry *
+get_entry_vptr (int p_task_num)
{
struct task_entry *pt;
return NULL;
}
-void init_task_list ()
+void
+init_task_list (void)
{
struct task_entry *pt, *old_pt;
highest_task_num = 0;
}
-int valid_task_id (task)
- int task;
+int
+valid_task_id (int task)
{
return get_entry_vptr (task) != NULL;
}
-void *get_self_id ()
+void *
+get_self_id (void)
{
struct value* val;
void *self_id;
/* Print detailed information about specified task */
static void
-info_task (arg, from_tty)
- char *arg;
- int from_tty;
+info_task (char *arg, int from_tty)
{
void *temp_task;
struct task_entry *pt, *pt2;
tasks_fields structure
*/
-print_align ()
+print_align (void)
{
struct task_fields tf;
void *tf_base = &(tf);
/* Print information about currently known tasks */
static void
-info_tasks (arg, from_tty)
- char *arg;
- int from_tty;
+info_tasks (char *arg, int from_tty)
{
struct value* val;
int i, task_number, state;
actually print anything. */
int
-gdbtk_tcl_tasks_initialize ()
+gdbtk_tcl_tasks_initialize (void)
{
gdbtk_task_initialization = 1;
info_tasks ("", gdb_stdout);
}
static void
-info_tasks_command (arg, from_tty)
- char *arg;
- int from_tty;
+info_tasks_command (char *arg, int from_tty)
{
if (arg == NULL || *arg == '\000')
info_tasks (arg, from_tty);
static void
switch_to_thread (ptid_t ptid)
-
{
if (ptid_equal (ptid, inferior_ptid))
return;
/* Switch to a specified task. */
-static int task_switch (tid, lwpid)
- void *tid, *lwpid;
+static int
+task_switch (void *tid, void *lwpid)
{
int res = 0, pid;
return -1;
}
-static void task_command (tidstr, from_tty)
- char *tidstr;
- int from_tty;
+static void
+task_command (char *tidstr, int from_tty)
{
int num;
struct task_entry *e;
}
void
-_initialize_tasks ()
+_initialize_tasks (void)
{
static struct cmd_list_element *task_cmd_list = NULL;
extern struct cmd_list_element *cmdlist;