target-arm: get_phys_addr_lpae: more xn control
commitd8e052b387635639a6ba4a09a7874fd2f113b218
authorAndrew Jones <drjones@redhat.com>
Mon, 16 Mar 2015 12:30:46 +0000 (16 12:30 +0000)
committerPeter Maydell <peter.maydell@linaro.org>
Mon, 16 Mar 2015 12:30:46 +0000 (16 12:30 +0000)
tree9adcbdb0c9a24bd18965a8dedd454406989fefd6
parentd76951b65dfb1be4e41cfae6abebf8db7a1243a3
target-arm: get_phys_addr_lpae: more xn control

This patch makes the following changes to the determination of
whether an address is executable, when translating addresses
using LPAE.

1. No longer assumes that PL0 can't execute when it can't read.
   It can in AArch64, a difference from AArch32.
2. Use va_size == 64 to determine we're in AArch64, rather than
   arm_feature(env, ARM_FEATURE_V8), which is insufficient.
3. Add additional XN determinants
   - NS && is_secure && (SCR & SCR_SIF)
   - WXN && (prot & PAGE_WRITE)
   - AArch64: (prot_PL0 & PAGE_WRITE)
   - AArch32: UWXN && (prot_PL0 & PAGE_WRITE)
   - XN determination should also work in secure mode (untested)
   - XN may even work in EL2 (currently impossible to test)
4. Cleans up the bloated PAGE_EXEC condition - by removing it.

The helper get_S1prot is introduced. It may even work in EL2,
when support for that comes, but, as the function name implies,
it only works for stage 1 translations.

Signed-off-by: Andrew Jones <drjones@redhat.com>
Message-id: 1426099139-14463-4-git-send-email-drjones@redhat.com
Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
target-arm/helper.c