On 10/01/2018 14:48, Pavel Dovgalyuk wrote: > 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; > } >
Queued, thanks. Paolo