You should have received a copy of the GNU General Public License
along with this program. If not, see <http://www.gnu.org/licenses/>. */
+#ifndef XTENSA_TDEP_H
+#define XTENSA_TDEP_H
#include "arch/xtensa.h"
data structure to their corresponding register in the AR register
file (see xtensa-tdep.c). */
+#endif /* XTENSA_TDEP_H */