diff options
| author | Richard Henderson | 2022-03-01 22:59:54 +0100 |
|---|---|---|
| committer | Peter Maydell | 2022-03-02 20:27:37 +0100 |
| commit | 3974ff93a7632739189ed6fce374cd9c16b525fc (patch) | |
| tree | 644d991e58e2988b84beda281c1701f18fde67ab /docs/specs | |
| parent | target/arm: Fix TLBIRange.base for 16k and 64k pages (diff) | |
| download | qemu-3974ff93a7632739189ed6fce374cd9c16b525fc.tar.gz qemu-3974ff93a7632739189ed6fce374cd9c16b525fc.tar.xz qemu-3974ff93a7632739189ed6fce374cd9c16b525fc.zip | |
target/arm: Validate tlbi TG matches translation granule in use
For FEAT_LPA2, we will need other ARMVAParameters, which themselves
depend on the translation granule in use. We might as well validate
that the given TG matches; the architecture "does not require that
the instruction invalidates any entries" if this is not true.
Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
Message-id: 20220301215958.157011-15-richard.henderson@linaro.org
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Diffstat (limited to 'docs/specs')
0 files changed, 0 insertions, 0 deletions