On 1/5/23 08:43, Alex Bennée wrote:
+unsigned int gdb_get_max_cpus(void) +{ + CPUState *cpu; + unsigned int max_cpus = 1; /* global variable max_cpus exists only in system mode */
You can delete the out-of-date comment, since there's no global variable anywhere. Otherwise, Reviewed-by: Richard Henderson <richard.hender...@linaro.org> r~