On 8/12/20 11:32 AM, Claudio Fontana wrote: > +CpusAccel whpx_cpus = { > + .create_vcpu_thread = whpx_start_vcpu_thread, > + .kick_vcpu_thread = whpx_kick_vcpu_thread, > + > + .synchronize_post_reset = whpx_cpu_synchronize_post_reset, > + .synchronize_post_init = whpx_cpu_synchronize_post_init, > + .synchronize_state = whpx_cpu_synchronize_state, > + .synchronize_pre_loadvm = whpx_cpu_synchronize_pre_loadvm, > +};
const. Otherwise, Reviewed-by: Richard Henderson <richard.hender...@linaro.org> r~