tree 5451d2f17364778d777aa9f59441611dca642594
parent c1a1f80518d360b694b32d7a00cd91b79683d026
author Richard Henderson <richard.henderson@linaro.org> 1686043179 +0100
committer Peter Maydell <peter.maydell@linaro.org> 1686043179 +0100

target/arm: Move mte check for store-exclusive

Push the mte check behind the exclusive_addr check.
Document the several ways that we are still out of spec
with this implementation.

Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
Message-id: 20230530191438.411344-18-richard.henderson@linaro.org
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>