From 8634d77bdb1df00972159fefe5caf1d28911f05f Mon Sep 17 00:00:00 2001 From: Emilio G. Cota Date: Sun, 21 Oct 2018 13:27:28 -0400 Subject: *-user: notify plugin of exit Reviewed-by: Alex Bennée Signed-off-by: Emilio G. Cota Reviewed-by: Richard Henderson Signed-off-by: Alex Bennée --- linux-user/exit.c | 1 + 1 file changed, 1 insertion(+) (limited to 'linux-user') diff --git a/linux-user/exit.c b/linux-user/exit.c index bdda720553..a362ef67d2 100644 --- a/linux-user/exit.c +++ b/linux-user/exit.c @@ -35,4 +35,5 @@ void preexit_cleanup(CPUArchState *env, int code) __gcov_dump(); #endif gdb_exit(env, code); + qemu_plugin_atexit_cb(); } -- cgit v1.2.3-55-g7522