diff --git a/target-mips/exec.h b/target-mips/exec.h
index ed9094c7e67d69f82bb5e2fbeb08d9ca798a331c..2cd1e02c48345b297792f9354a63523e816136ba 100644
--- a/target-mips/exec.h
+++ b/target-mips/exec.h
@@ -81,6 +81,8 @@ uint32_t do_swr_kernel (uint32_t);
 #endif
 void do_pmon (int function);
 
+void dump_sc (void);
+
 int cpu_mips_handle_mmu_fault (CPUState *env, target_ulong address, int rw,
                                int is_user, int is_softmmu);
 void do_interrupt (CPUState *env);