#include "softmmu_exec.h"
#endif /* !defined(CONFIG_USER_ONLY) */
-#if TARGET_LONG_BITS > HOST_LONG_BITS
-void do_madd (void);
-void do_maddu (void);
-void do_msub (void);
-void do_msubu (void);
-void do_muls (void);
-void do_mulsu (void);
-void do_macc (void);
-void do_macchi (void);
-void do_maccu (void);
-void do_macchiu (void);
-void do_msac (void);
-void do_msachi (void);
-void do_msacu (void);
-void do_msachiu (void);
-void do_mulhi (void);
-void do_mulhiu (void);
-void do_mulshi (void);
-void do_mulshiu (void);
-#endif
-
void do_mtc0_status_debug(uint32_t old, uint32_t val);
void do_mtc0_status_irqraise_debug(void);
void dump_fpu(CPUState *env);