-/* Copyright (C) 2018-2019 Free Software Foundation, Inc.
+/* Copyright (C) 2018-2020 Free Software Foundation, Inc.
This file is part of GDB.
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 X86_TDESC_H
-#define X86_TDESC_H
+#ifndef GDBSERVER_X86_TDESC_H
+#define GDBSERVER_X86_TDESC_H
/* The "expedite" registers for x86 targets. Since whether the
variable is used depends on host/configuration, we mark it
static const char *amd64_expedite_regs[] = {"rbp", "rsp", "rip", NULL};
#endif
-#endif /* X86_TDESC_H */
+#endif /* GDBSERVER_X86_TDESC_H */