-/* Copyright (C) 2007-2014 Free Software Foundation, Inc.
+/* Copyright (C) 2007-2015 Free Software Foundation, Inc.
This file is part of GDB.
void *pid_p)
{
struct thread_info *thr = (struct thread_info *) entry;
- win32_thread_info *th = inferior_target_data (thr);
+ win32_thread_info *th = (win32_thread_info *) inferior_target_data (thr);
int pid = *(int *) pid_p;
/* Only update the threads of this process. */
static DWORD64
win32_get_current_dr (int dr)
{
- win32_thread_info *th = inferior_target_data (current_thread);
+ win32_thread_info *th
+ = (win32_thread_info *) inferior_target_data (current_thread);
win32_require_context (th);