Merge GDB 7.5.1

gdb/gdbserver/regcache.c

 /* Register support routines for the remote server for GDB.
    Copyright (C) 2001-2002, 2004-2005, 2007-2012 Free Software
    Foundation, Inc.
 
    This file is part of GDB.
 
    This program is free software; you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
    the Free Software Foundation; either version 3 of the License, or
    (at your option) any later version.
 
    This program is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
 
 #include "server.h"
 #include "regdef.h"
+#include "gdbthread.h"
 
 #include <stdlib.h>
 #include <string.h>
 
 static int register_bytes;
 
 static struct reg *reg_defs;
 static int num_registers;
 
 const char **gdbserver_expedite_regs;
@@ skipping 389 matching lines @@
 regcache_write_pc (struct regcache *regcache, CORE_ADDR pc)
 {
   if (the_target->write_pc)
     the_target->write_pc (regcache, pc);
   else
     internal_error (__FILE__, __LINE__,
                     "regcache_write_pc: Unable to update PC");
 }
 
 #endif