1<?xml version="1.0"?>
2<!-- Copyright (C) 2010-2012 Free Software Foundation, Inc.
3
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.  -->
7
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</feature>
19