* along with this program; if not, see <http://www.gnu.org/licenses/>.
*/
#include "qemu/osdep.h"
+#include "exec/gdbstub.h"
#include "qemu.h"
+#include "user-internals.h"
#ifdef CONFIG_GPROF
#include <sys/gmon.h>
#endif
#ifdef CONFIG_GCOV
__gcov_dump();
#endif
- gdb_exit(env, code);
- qemu_plugin_atexit_cb();
+ gdb_exit(code);
+ qemu_plugin_user_exit();
}