diff -u -r ../gdb-7.7/gdb/arm-linux-nat.c ./gdb/arm-linux-nat.c
--- ../gdb-7.7/gdb/arm-linux-nat.c	2014-01-08 10:23:36.000000000 +0100
+++ ./gdb/arm-linux-nat.c	2014-02-12 01:16:47.000000000 +0100
@@ -32,10 +32,8 @@
 #include "arm-linux-tdep.h"
 
 #include <elf/common.h>
-#include <sys/user.h>
 #include <sys/ptrace.h>
 #include <sys/utsname.h>
-#include <sys/procfs.h>
 
 /* Prototypes for supply_gregset etc.  */
 #include "gregset.h"
@@ -101,7 +99,7 @@
   tid = GET_THREAD_ID (inferior_ptid);
 
   /* Read the floating point state.  */
-  ret = ptrace (PT_GETFPREGS, tid, 0, fp);
+  ret = ptrace (PTRACE_GETFPREGS, tid, 0, fp);
   if (ret < 0)
     {
       warning (_("Unable to fetch floating point register."));
@@ -131,7 +129,7 @@
   tid = GET_THREAD_ID (inferior_ptid);
   
   /* Read the floating point state.  */
-  ret = ptrace (PT_GETFPREGS, tid, 0, fp);
+  ret = ptrace (PTRACE_GETFPREGS, tid, 0, fp);
   if (ret < 0)
     {
       warning (_("Unable to fetch the floating point registers."));
@@ -160,7 +158,7 @@
   tid = GET_THREAD_ID (inferior_ptid);
   
   /* Read the floating point state.  */
-  ret = ptrace (PT_GETFPREGS, tid, 0, fp);
+  ret = ptrace (PTRACE_GETFPREGS, tid, 0, fp);
   if (ret < 0)
     {
       warning (_("Unable to fetch the floating point registers."));
@@ -197,7 +195,7 @@
   tid = GET_THREAD_ID (inferior_ptid);
   
   /* Read the floating point state.  */
-  ret = ptrace (PT_GETFPREGS, tid, 0, fp);
+  ret = ptrace (PTRACE_GETFPREGS, tid, 0, fp);
   if (ret < 0)
     {
       warning (_("Unable to fetch the floating point registers."));