Re: [Qemu-devel] [PATCH 12/16] cpus-common: remove redundant call to exclusive_idle()

[Richard Henderson]

On 09/23/2016 12:31 AM, Paolo Bonzini wrote:
> No need to call exclusive_idle() from cpu_exec_end since it is done
> immediately afterwards in cpu_exec_start.  Any exclusive section could
> run as soon as cpu_exec_end leaves, because cpu->running is false and the
> mutex is not taken, so the call does not add any protection either.
>
> Signed-off-by: Paolo Bonzini <address@hidden>
> ---
>  cpus-common.c              | 1 -
>  docs/tcg-exclusive.promela | 1 -
>  2 files changed, 2 deletions(-)

Reviewed-by: Richard Henderson <address@hidden>


r~