Christoffer Dall writes:

On Thu, Jul 31, 2014 at 07:21:44PM +0200, Paolo Bonzini wrote:

quoted

Il 31/07/2014 19:04, Peter Maydell ha scritto:

quoted

On 31 July 2014 17:57, Paolo Bonzini [off-list ref] wrote:

quoted

Il 09/07/2014 15:55, Alex Benn?e ha scritto:

<snip>

quoted

No, it's not.  It's just the state of the CPU, s390 will be using it too.

On x86 the states are uninitialized (UNINITIALIZED), stopped
(INIT_RECEIVED), running (RUNNABLE), halted (HALTED).  CPU 0 starts in
RUNNABLE state, other CPUs start in UNINITIALIZED state.  There are
x86-specific cases (uninitialized) and x86-isms (the INIT_RECEIVED
name), but the idea is widely applicable.

Alex, I think it makes perfect sense to use GET/SET_MP_STATE, will you
revise the patch?

I agree we should use the API that is explicitly for this so I'm looking
at re-doing the patch now.

(Don't forget to update the documentation to reflect it is now supported
on ARM, and which states are used to represent what there.)

Thanks,
-Christoffer

-- 
Alex Benn?e