diff --git a/cpu-all.h b/cpu-all.h
index e8cb0756de..3eacfa89aa 100644
--- a/cpu-all.h
+++ b/cpu-all.h
@@ -302,6 +302,8 @@ void page_unprotect_range(uint8_t *data, unsigned long data_size);
 
 #endif
 
-#endif
+#endif /* SINGLE_CPU_DEFINES */
+
+void cpu_abort(CPUState *env, const char *fmt, ...);
 
 #endif /* CPU_ALL_H */