From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:41298) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1c4UKO-0000lW-El for qemu-devel@nongnu.org; Wed, 09 Nov 2016 09:58:17 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1c4UKN-0002No-MI for qemu-devel@nongnu.org; Wed, 09 Nov 2016 09:58:16 -0500 Received: from mail-wm0-x22b.google.com ([2a00:1450:400c:c09::22b]:35383) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1c4UKN-0002Mz-F0 for qemu-devel@nongnu.org; Wed, 09 Nov 2016 09:58:15 -0500 Received: by mail-wm0-x22b.google.com with SMTP id a197so312256556wmd.0 for ; Wed, 09 Nov 2016 06:58:15 -0800 (PST) From: =?UTF-8?q?Alex=20Benn=C3=A9e?= Date: Wed, 9 Nov 2016 14:57:46 +0000 Message-Id: <20161109145748.27282-18-alex.bennee@linaro.org> In-Reply-To: <20161109145748.27282-1-alex.bennee@linaro.org> References: <20161109145748.27282-1-alex.bennee@linaro.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Subject: [Qemu-devel] [PATCH v6 17/19] target-arm: helpers which may affect global state need the BQL List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: pbonzini@redhat.com Cc: qemu-devel@nongnu.org, mttcg@listserver.greensocs.com, fred.konrad@greensocs.com, a.rigo@virtualopensystems.com, cota@braap.org, bobby.prani@gmail.com, nikunj@linux.vnet.ibm.com, mark.burton@greensocs.com, jan.kiszka@siemens.com, serge.fdrv@gmail.com, rth@twiddle.net, peter.maydell@linaro.org, claudio.fontana@huawei.com, =?UTF-8?q?Alex=20Benn=C3=A9e?= , "open list:ARM" As the arm_call_el_change_hook may affect global state (for example with updating the global GIC state) we need to assert/take the BQL. Signed-off-by: Alex Bennée --- target-arm/helper.c | 6 ++++++ target-arm/op_helper.c | 4 ++++ 2 files changed, 10 insertions(+) diff --git a/target-arm/helper.c b/target-arm/helper.c index b5b65ca..3f47fa7 100644 --- a/target-arm/helper.c +++ b/target-arm/helper.c @@ -6669,6 +6669,12 @@ void arm_cpu_do_interrupt(CPUState *cs) arm_cpu_do_interrupt_aarch32(cs); } + /* Hooks may change global state so BQL should be held, also the + * BQL needs to be held for any modification of + * cs->interrupt_request. + */ + g_assert(qemu_mutex_iothread_locked()); + arm_call_el_change_hook(cpu); if (!kvm_enabled()) { diff --git a/target-arm/op_helper.c b/target-arm/op_helper.c index 4f0c754..41beabc 100644 --- a/target-arm/op_helper.c +++ b/target-arm/op_helper.c @@ -487,7 +487,9 @@ void HELPER(cpsr_write_eret)(CPUARMState *env, uint32_t val) */ env->regs[15] &= (env->thumb ? ~1 : ~3); + qemu_mutex_lock_iothread(); arm_call_el_change_hook(arm_env_get_cpu(env)); + qemu_mutex_unlock_iothread(); } /* Access to user mode registers from privileged modes. */ @@ -1013,7 +1015,9 @@ void HELPER(exception_return)(CPUARMState *env) env->pc = env->elr_el[cur_el]; } + qemu_mutex_lock_iothread(); arm_call_el_change_hook(arm_env_get_cpu(env)); + qemu_mutex_unlock_iothread(); return; -- 2.10.1