On 16/06/2017 01:04, Emilio G. Cota wrote: > va = dest_gpr(ctx, ra); > if (ctx->tb->cflags & CF_USE_ICOUNT) { > - gen_io_start(); > + gen_io_start(cpu_env); > gen_helper_load_pcc(va, cpu_env); > - gen_io_end(); > + gen_io_start(cpu_env);
Careful, looks like a cut-and-paste issue here. Paolo > ret = EXIT_PC_STALE;