diff options
| author | Peter Maydell <peter.maydell@linaro.org> | 2020-11-19 21:55:55 +0000 |
|---|---|---|
| committer | Peter Maydell <peter.maydell@linaro.org> | 2020-12-10 11:44:55 +0000 |
| commit | ede97c9d71110821738a48f88ff9f10d6bec017f (patch) | |
| tree | 66e8193cfcae9ed88e082679d3800fe410f6d2b7 /io/channel-websock.c | |
| parent | 6e21a013fbdf54960a079dccc90772bb622e28e8 (diff) | |
target/arm: Enforce M-profile VMRS/VMSR register restrictions
For M-profile before v8.1M, the only valid register for VMSR/VMRS is
the FPSCR. We have a comment that states this, but the actual logic
to forbid accesses for any other register value is missing, so we
would end up with A-profile style behaviour. Add the missing check.
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Message-id: 20201119215617.29887-7-peter.maydell@linaro.org
Diffstat (limited to 'io/channel-websock.c')
0 files changed, 0 insertions, 0 deletions