On 07/02/2017 10:59, Claudio Imbrenda wrote: > static inline int cpu_index(CPUState *cpu) > { > #if defined(CONFIG_USER_ONLY) > return cpu->host_tid; > #else > return cpu->cpu_index + 1; > #endif > } > > > maybe that can just become newstates[cpu->cpu_index] = 1 ? > (since we're not in CONFIG_USER_ONLY anyway)
Yes, I think it should be like that, especially if in the future we want to support CONFIG_USER_ONLY it makes no sense to use host PIDs. Paolo