Fix x86_64 register names in <sys/user.h>.

Change-Id: Ieb327247a41f6195589716170e324d1cd1251b96

diff --git a/libc/include/sys/user.h b/libc/include/sys/user.h
index 1a25ac1..bf762e7 100644 (file)
--- a/libc/include/sys/user.h
+++ b/libc/include/sys/user.h
@@ -117,22 +117,22 @@ struct user_regs_struct {
   unsigned long r14;
   unsigned long r13;
   unsigned long r12;
-  unsigned long bp;
-  unsigned long bx;
+  unsigned long rbp;
+  unsigned long rbx;
   unsigned long r11;
   unsigned long r10;
   unsigned long r9;
   unsigned long r8;
-  unsigned long ax;
-  unsigned long cx;
-  unsigned long dx;
-  unsigned long si;
-  unsigned long di;
-  unsigned long orig_ax;
-  unsigned long ip;
+  unsigned long rax;
+  unsigned long rcx;
+  unsigned long rdx;
+  unsigned long rsi;
+  unsigned long rdi;
+  unsigned long orig_rax;
+  unsigned long rip;
   unsigned long cs;
-  unsigned long flags;
-  unsigned long sp;
+  unsigned long eflags;
+  unsigned long rsp;
   unsigned long ss;
   unsigned long fs_base;
   unsigned long gs_base;