When doing TCG code translation, the target-foo translate.c
code is allowed to bake assumptions into the generated code from
the current values of various fields in the CPUState. This then
imposes the requirement that if the field is changed then tb_flush
must be called to throw away the now-incorrect generated code.

However, cpu_reset() changes (unsurprisingly) lots of fields in
the CPUState, but it doesn't call tb_flush()...

So should cpu_reset() implementations be changed to call tb_flush()
as well as tlb_flush(), or is this supposed to work in some other
way?

thanks
-- PMM

Reply via email to