/* Cache and manage the values of registers for GDB, the GNU debugger.
- Copyright (C) 1986-1987, 1989, 1991, 1994-1996, 1998, 2000-2002,
- 2007-2012 Free Software Foundation, Inc.
+ Copyright (C) 1986-2013 Free Software Foundation, Inc.
This file is part of GDB.