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 I386FBSD_TDEP_H
-#define I386FBSD_TDEP_H
+#ifndef I386_FBSD_TDEP_H
+#define I386_FBSD_TDEP_H
/* Get XSAVE extended state xcr0 from core dump. */
extern uint64_t i386fbsd_core_read_xcr0 (bfd *abfd);
matches the layout on Linux. */
#define I386_FBSD_XSAVE_XCR0_OFFSET 464
-#endif /* i386fbsd-tdep.h */
+#endif /* i386-fbsd-tdep.h */