2 <!-- Copyright (C) 2010-2012 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 <!DOCTYPE feature SYSTEM "gdb-target.dtd">
9 <feature name="org.gnu.gdb.i386.avx">
10 <reg name="ymm0h" bitsize="128" type="uint128"/>
11 <reg name="ymm1h" bitsize="128" type="uint128"/>
12 <reg name="ymm2h" bitsize="128" type="uint128"/>
13 <reg name="ymm3h" bitsize="128" type="uint128"/>
14 <reg name="ymm4h" bitsize="128" type="uint128"/>
15 <reg name="ymm5h" bitsize="128" type="uint128"/>
16 <reg name="ymm6h" bitsize="128" type="uint128"/>
17 <reg name="ymm7h" bitsize="128" type="uint128"/>
18 <reg name="ymm8h" bitsize="128" type="uint128"/>
19 <reg name="ymm9h" bitsize="128" type="uint128"/>
20 <reg name="ymm10h" bitsize="128" type="uint128"/>
21 <reg name="ymm11h" bitsize="128" type="uint128"/>
22 <reg name="ymm12h" bitsize="128" type="uint128"/>
23 <reg name="ymm13h" bitsize="128" type="uint128"/>
24 <reg name="ymm14h" bitsize="128" type="uint128"/>
25 <reg name="ymm15h" bitsize="128" type="uint128"/>