#ifndef I386_TDEP_H
#define I386_TDEP_H
+#include "gdbarch.h"
#include "infrun.h"
struct frame_info;
/* Floating-point registers. */
-/* All FPU control regusters (except for FIOFF and FOOFF) are 16-bit
+/* All FPU control registers (except for FIOFF and FOOFF) are 16-bit
(at most) in the FPU, but are zero-extended to 32 bits in GDB's
register cache. */