Flushing TB cache is required because TBs key in the cache may match different code which existed in the previous state.
Signed-off-by: Pavel Dovgalyuk <pavel.dovga...@ispras.ru> Signed-off-by: Maria Klimushenkova <maria.klimushenk...@ispras.ru> --- exec.c | 1 + 1 file changed, 1 insertion(+) diff --git a/exec.c b/exec.c index 4722e52..ff31e71 100644 --- a/exec.c +++ b/exec.c @@ -622,6 +622,7 @@ static int cpu_common_post_load(void *opaque, int version_id) version_id is increased. */ cpu->interrupt_request &= ~0x01; tlb_flush(cpu); + tb_flush(cpu); return 0; }