diff --git a/gdbstub.h b/gdbstub.h
index 63b88da..7b42596 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);