cpus-common: remove redundant call to exclusive_idle()
commitcf07da65f335b9a74e62f5413078f67280572f36
authorPaolo Bonzini <pbonzini@redhat.com>
Fri, 2 Sep 2016 19:02:10 +0000 (2 21:02 +0200)
committerPaolo Bonzini <pbonzini@redhat.com>
Tue, 27 Sep 2016 09:57:30 +0000 (27 11:57 +0200)
tree7768c32680b0d7b04bec4cced6e0fd22ff1dbe01
parentc978b3168727d3a76ffcb18462ea972f50b53634
cpus-common: remove redundant call to exclusive_idle()

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.

Reviewed-by: Richard Henderson <rth@twiddle.net>
Reviewed-by: Alex Bennée <alex.bennee@linaro.org>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
cpus-common.c
docs/tcg-exclusive.promela