2 files changed, 4 insertions, 5 deletions
diff --git a/target-alpha/cpu.h b/target-alpha/cpu.h
index 65be4fb5e5..710a6021fa 100644
--- a/target-alpha/cpu.h
+++ b/target-alpha/cpu.h
@@ -407,6 +407,10 @@ int cpu_alpha_exec(CPUAlphaState *s);
    is returned if the signal was handled by the virtual CPU.  */
 int cpu_alpha_signal_handler(int host_signum, void *pinfo,
                              void *puc);
+int cpu_alpha_handle_mmu_fault (CPUState *env, uint64_t address, int rw,
+                                int mmu_idx, int is_softmmu);
+void do_interrupt (CPUState *env);
+
 int cpu_alpha_mfpr (CPUState *env, int iprn, uint64_t *valp);
 int cpu_alpha_mtpr (CPUState *env, int iprn, uint64_t val, uint64_t *oldvalp);
 void pal_init (CPUState *env);
diff --git a/target-alpha/exec.h b/target-alpha/exec.h
index 99b31312e3..bf0c80e237 100644
--- a/target-alpha/exec.h
+++ b/target-alpha/exec.h
@@ -48,11 +48,6 @@ static always_inline void regs_to_env(void)
 {
 }
 
-int cpu_alpha_handle_mmu_fault (CPUState *env, uint64_t address, int rw,
-                                int mmu_idx, int is_softmmu);
-
-void do_interrupt (CPUState *env);
-
 static always_inline int cpu_halted(CPUState *env) {
     if (!env->halted)
         return 0;