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~

Reply via email to