diff options
author | Richard Henderson <richard.henderson@linaro.org> | 2023-02-22 23:05:01 -1000 |
---|---|---|
committer | Richard Henderson <richard.henderson@linaro.org> | 2023-03-05 13:44:07 -0800 |
commit | 0953674ed0acacfa9b2409678f8ce8333398ee1c (patch) | |
tree | 5b84b8ee0c68499cbb51a7b05f9f12911df6d99a /pc-bios | |
parent | 20f7fe93f59fd840b06de2341f789725e382902b (diff) |
accel/tcg: Honor TLB_DISCARD_WRITE in atomic_mmu_lookup
Using an atomic write or read-write insn on ROM is basically
a happens-never case. Handle it via stop-the-world, which
will generate non-atomic serial code, where we can correctly
ignore the write while producing the correct read result.
Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
Diffstat (limited to 'pc-bios')
0 files changed, 0 insertions, 0 deletions