|
@@ -22,6 +22,7 @@
|
|
#include "system/cpus.h"
|
|
#include "system/cpus.h"
|
|
#include "system/runstate.h"
|
|
#include "system/runstate.h"
|
|
#include "system/replay.h"
|
|
#include "system/replay.h"
|
|
|
|
+#include "system/tcg.h"
|
|
#include "hw/core/cpu.h"
|
|
#include "hw/core/cpu.h"
|
|
#include "hw/cpu/cluster.h"
|
|
#include "hw/cpu/cluster.h"
|
|
#include "hw/boards.h"
|
|
#include "hw/boards.h"
|
|
@@ -171,7 +172,9 @@ static void gdb_vm_state_change(void *opaque, bool running, RunState state)
|
|
} else {
|
|
} else {
|
|
trace_gdbstub_hit_break();
|
|
trace_gdbstub_hit_break();
|
|
}
|
|
}
|
|
- tb_flush(cpu);
|
|
|
|
|
|
+ if (tcg_enabled()) {
|
|
|
|
+ tb_flush(cpu);
|
|
|
|
+ }
|
|
ret = GDB_SIGNAL_TRAP;
|
|
ret = GDB_SIGNAL_TRAP;
|
|
break;
|
|
break;
|
|
case RUN_STATE_PAUSED:
|
|
case RUN_STATE_PAUSED:
|