/* Target-dependent code for GNU/Linux x86.
- Copyright (C) 2002-2014 Free Software Foundation, Inc.
+ Copyright (C) 2002-2015 Free Software Foundation, Inc.
This file is part of GDB.
/* Register number for the "orig_eax" pseudo-register. If this
pseudo-register contains a value >= 0 it is interpreted as the
system call number that the kernel is supposed to restart. */
-#define I386_LINUX_ORIG_EAX_REGNUM I386_MPX_NUM_REGS
+#define I386_LINUX_ORIG_EAX_REGNUM (I386_ZMM7H_REGNUM + 1)
/* Total number of registers for GNU/Linux. */
#define I386_LINUX_NUM_REGS (I386_LINUX_ORIG_EAX_REGNUM + 1)
extern struct target_desc *tdesc_i386_mmx_linux;
extern struct target_desc *tdesc_i386_avx_linux;
extern struct target_desc *tdesc_i386_mpx_linux;
+extern struct target_desc *tdesc_i386_avx512_linux;
/* Format of XSAVE extended state is:
struct
xstate_hdr_bytes[512..575]
avx_bytes[576..831]
mpx_bytes [960..1032]
+ avx512_k_regs[1088..1152]
+ avx512_zmmh_regs0-7[1153..1407]
+ avx512_zmmh_regs8-15[1408..1663]
+ avx512_zmm_regs16-31[1664..2687]
future_state etc
};