gdb/features/i386/amd64-avx-mpx-avx512-pku-linux.xml


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

<?xml version="1.0"?>
<!-- Copyright (C) 2014-2017 Free Software Foundation, Inc.

     Copying and distribution of this file, with or without modification,
     are permitted in any medium without royalty provided the copyright
     notice and this notice are preserved.  -->

<!-- AMD64 with AVX, MPX, AVX512, PKEYS - Includes Linux-only
     special "register".  -->

<!DOCTYPE target SYSTEM "gdb-target.dtd">
<target>
  <architecture>i386:x86-64</architecture>
  <osabi>GNU/Linux</osabi>
  <xi:include href="64bit-core.xml"/>
  <xi:include href="64bit-sse.xml"/>
  <xi:include href="64bit-linux.xml"/>
  <xi:include href="64bit-segments.xml"/>
  <xi:include href="64bit-avx.xml"/>
  <xi:include href="64bit-mpx.xml"/>
  <xi:include href="64bit-avx512.xml"/>
  <xi:include href="64bit-pkeys.xml"/>
</target>