diff options
| author |   Richard Henderson <richard.henderson@linaro.org> | 2023-02-27 12:58:32 -1000 |
|---|---|---|
| committer |   Peter Maydell <peter.maydell@linaro.org> | 2023-03-06 14:08:12 +0000 |
| commit | 0ffe5b7ba883c6adbbf821f9be03475d96a2e35c (patch) | |
| tree | f3acfee8711dd6086f8947cee13d0117c8d639bc /scripts/coverage/compare_gcov_json.py | |
| parent | target/arm: Diagnose incorrect usage of arm_is_secure subroutines (diff) | |
| download | qemu-0ffe5b7ba883c6adbbf821f9be03475d96a2e35c.tar.xz qemu-0ffe5b7ba883c6adbbf821f9be03475d96a2e35c.zip | |
target/arm: Rewrite check_s2_mmu_setup
Integrate neighboring code from get_phys_addr_lpae which computed
starting level, as it is easier to validate when doing both at the
same time. Mirror the checks at the start of AArch{64,32}.S2Walk,
especially S2InvalidSL and S2InconsistentSL.
This reverts 49ba115bb74, which was incorrect -- there is nothing
in the ARM pseudocode that depends on TxSZ, i.e. outputsize; the
pseudocode is consistent in referencing PAMax.
Fixes: 49ba115bb74 ("target/arm: Pass outputsize down to check_s2_mmu_setup")
Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
Message-id: 20230227225832.816605-5-richard.henderson@linaro.org
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Diffstat (limited to 'scripts/coverage/compare_gcov_json.py')
0 files changed, 0 insertions, 0 deletions