On 8/12/20 11:32 AM, Claudio Fontana wrote:
> +CpusAccel hax_cpus = {
> + .create_vcpu_thread = hax_start_vcpu_thread,
> + .kick_vcpu_thread = hax_kick_vcpu_thread,
> +
> + .synchronize_post_reset = hax_cpu_synchronize_post_reset,
> + .synchronize_post_init = hax_cpu_synchronize_post_init,
> + .synchronize_state = hax_cpu_synchronize_state,
> + .synchronize_pre_loadvm = hax_cpu_synchronize_pre_loadvm,
> +};const. Otherwise, Reviewed-by: Richard Henderson <richard.hender...@linaro.org> r~
