#include "cpummu.h"
#include "cpummu030.h"
#include "debug.h"
+#include "uae.h"
#ifndef CPU_TESTER
#define SUPPORT_MMU 1
extern void init_fpucw_x87_80(void);
#endif
#endif
+extern void fpu_reset(void);
#define PREC_NORMAL 0
#define PREC_FLOAT 1
extern void fpuop_save(uae_u32);
extern void fpuop_restore(uae_u32);
extern uae_u32 fpp_get_fpsr (void);
-extern void fpu_reset (void);
-extern void fpux_save (int*);
-extern void fpux_restore (int*);
extern bool fpu_get_constant(fpdata *fp, int cr);
extern int fpp_cond(int condition);
extern uae_u32 getlocaltime (void);
extern bool isguiactive(void);
extern bool is_mainthread(void);
+extern void fpu_reset(void);
+extern void fpux_save(int*);
+extern void fpux_restore(int*);
extern int quit_program;
extern bool console_emulation;