-/* Target-dependent code for Linux/x86.
- Copyright 2002
- Free Software Foundation, Inc.
+/* Target-dependent code for GNU/Linux x86.
+
+ Copyright (C) 2002, 2003, 2007 Free Software Foundation, Inc.
This file is part of GDB.
You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software
- Foundation, Inc., 59 Temple Place - Suite 330,
- Boston, MA 02111-1307, USA. */
+ Foundation, Inc., 51 Franklin Street, Fifth Floor,
+ Boston, MA 02110-1301, USA. */
#ifndef I386_LINUX_TDEP_H
#define I386_LINUX_TDEP_H
system call number that the kernel is supposed to restart. */
#define I386_LINUX_ORIG_EAX_REGNUM I386_SSE_NUM_REGS
+/* Total number of registers for GNU/Linux. */
+#define I386_LINUX_NUM_REGS (I386_LINUX_ORIG_EAX_REGNUM + 1)
+
#endif /* i386-linux-tdep.h */