While investigating the mess we have with cpu_index and (possible) other cpu id values, I came across a couple of bugs in CONFIG_USER_ONLY mode.
David Gibson (2): linux-user: Don't leak cpus on thread exit linux-user: Fix cpu_index generation exec.c | 19 ------------------- linux-user/syscall.c | 7 ++----- 2 files changed, 2 insertions(+), 24 deletions(-) -- 2.7.4