1 files changed, 1 insertions, 0 deletions
diff --git a/gdbstub.h b/gdbstub.h
index 63b88dadc5..7b42596f15 100644
--- a/gdbstub.h
+++ b/gdbstub.h
@@ -5,6 +5,7 @@
 
 #ifdef CONFIG_USER_ONLY
 int gdb_handlesig (CPUState *, int);
+void gdb_exit(CPUState *, int);
 #endif
 int gdbserver_start(int);