summaryrefslogtreecommitdiff
path: root/hw/sparc64
diff options
context:
space:
mode:
authorAlex Bennée <alex.bennee@linaro.org>2017-03-01 13:20:02 +0000
committerAlex Bennée <alex.bennee@linaro.org>2017-03-09 10:41:38 +0000
commit5ee5993001cf32addb86a92e2ae8cb090fbc1462 (patch)
tree5c54fe7fef9dddfcc18ec6c56ae2e17903e2b726 /hw/sparc64
parentc34c762015fec023c3ea5cf3629cbac462a80973 (diff)
downloadqemu-5ee5993001cf32addb86a92e2ae8cb090fbc1462.zip
sparc/sparc64: grab BQL before calling cpu_check_irqs
IRQ modification is part of device emulation and should be done while the BQL is held to prevent races when MTTCG is enabled. This adds assertions in the hw emulation layer and wraps the calls from helpers in the BQL. Reported-by: Mark Cave-Ayland <mark.cave-ayland@ilande.co.uk> Signed-off-by: Alex Bennée <alex.bennee@linaro.org>
Diffstat (limited to 'hw/sparc64')
-rw-r--r--hw/sparc64/sparc64.c3
1 files changed, 3 insertions, 0 deletions
diff --git a/hw/sparc64/sparc64.c b/hw/sparc64/sparc64.c
index b3d219c769..4e4fdab065 100644
--- a/hw/sparc64/sparc64.c
+++ b/hw/sparc64/sparc64.c
@@ -55,6 +55,9 @@ void cpu_check_irqs(CPUSPARCState *env)
uint32_t pil = env->pil_in |
(env->softint & ~(SOFTINT_TIMER | SOFTINT_STIMER));
+ /* We should be holding the BQL before we mess with IRQs */
+ g_assert(qemu_mutex_iothread_locked());
+
/* TT_IVEC has a higher priority (16) than TT_EXTINT (31..17) */
if (env->ivec_status & 0x20) {
return;