Re: [PATCH v4 14/18] hw/riscv, target/riscv: send resync updiscon trace packets

[Jay Chang]

>
> +void helper_trace_updiscon(CPURISCVState *env)
> +{
> +    RISCVCPU *cpu = env_archcpu(env);
> +    TraceEncoder *te = TRACE_ENCODER(cpu->trencoder);
> +
> +    te->updiscon_pending = true;
> +    te->trace_next_insn = true;
>
Could we use trencoder_report_updiscon() here instead of setting
updiscon_pending and trace_next_insn directly?

Thanks
Jay Chang