target-arm: fix TTBCR write masking
commit74f1c6ddec8dc7566d9b75574bb006214cc7d3b4
authorSergey Fedorov <s.fedorov@samsung.com>
Tue, 10 Dec 2013 06:41:49 +0000 (10 10:41 +0400)
committerPeter Maydell <peter.maydell@linaro.org>
Tue, 10 Dec 2013 13:28:50 +0000 (10 13:28 +0000)
tree1b47961cab29209d0bf40ff19ecb1343b33bf5ac
parent09f7813522238555b77ec2b9f2d3bc20d6e3c796
target-arm: fix TTBCR write masking

Current implementation is not accurate according to ARMv7-AR reference
manual. See "B4.1.153 TTBCR, Translation Table Base Control Register,
VMSA | TTBCR format when using the Long-descriptor translation table
format". When LPAE feature is supported, EAE, bit[31] selects
translation descriptor format and, therefore, TTBCR format.

Signed-off-by: Sergey Fedorov <s.fedorov@samsung.com>
Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
Message-id: 1386657709-23399-1-git-send-email-s.fedorov@samsung.com
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
target-arm/helper.c