2 <!-- Copyright (C) 2014-2019 Free Software Foundation, Inc.
4 Copying and distribution of this file, with or without modification,
5 are permitted in any medium without royalty provided the copyright
6 notice and this notice are preserved. -->
8 <!-- AMD64 with AVX, MPX, AVX512, PKEYS - Includes Linux-only
9 special "register". -->
11 <!DOCTYPE target SYSTEM
"gdb-target.dtd">
13 <architecture>i386:x86-
64</architecture>
14 <osabi>GNU/Linux
</osabi>
15 <xi:include href=
"64bit-core.xml"/>
16 <xi:include href=
"64bit-sse.xml"/>
17 <xi:include href=
"64bit-linux.xml"/>
18 <xi:include href=
"64bit-segments.xml"/>
19 <xi:include href=
"64bit-avx.xml"/>
20 <xi:include href=
"64bit-mpx.xml"/>
21 <xi:include href=
"64bit-avx512.xml"/>
22 <xi:include href=
"64bit-pkeys.xml"/>
This page took 0.031009 seconds and 4 git commands to generate.