|
@@ -624,16 +624,7 @@ static int gdb_handle_vcont(const char *p)
|
|
|
GDBProcess *process;
|
|
|
CPUState *cpu;
|
|
|
GDBThreadIdKind kind;
|
|
|
-#ifdef CONFIG_USER_ONLY
|
|
|
- int max_cpus = 1; /* global variable max_cpus exists only in system mode */
|
|
|
-
|
|
|
- CPU_FOREACH(cpu) {
|
|
|
- max_cpus = max_cpus <= cpu->cpu_index ? cpu->cpu_index + 1 : max_cpus;
|
|
|
- }
|
|
|
-#else
|
|
|
- MachineState *ms = MACHINE(qdev_get_machine());
|
|
|
- unsigned int max_cpus = ms->smp.max_cpus;
|
|
|
-#endif
|
|
|
+ unsigned int max_cpus = gdb_get_max_cpus();
|
|
|
/* uninitialised CPUs stay 0 */
|
|
|
newstates = g_new0(char, max_cpus);
|
|
|
|