On 05/04/2018 18:01, Peter Maydell wrote: > * however, if the guest reprograms the clock during the tcg_cpu_exec() > run, we don't do anything to cause us to stop earlier
Anything that does this from the vCPU thread should be between gen_icount_start and gen_icount_end. (In fact, it's the entire reason why cpu_io_recompile exists). For completeness, if the I/O thread does it, it should (in icount mode only) kick the running VCPU. Am I missing something? Paolo