On 10/4/22 04:05, Peter Maydell wrote:
FEAT_E0PD adds new bits E0PD0 and E0PD1 to TCR_EL1, which allow the OS to forbid EL0 access to half of the address space. Since this is an EL0-specific variation on the existing TCR_ELx.{EPD0,EPD1}, we can implement it entirely in aa64_va_parameters().This requires moving the existing regime_is_user() to internals.h so that the code in helper.c can get at it. Signed-off-by: Peter Maydell<[email protected]> --- Based-on:[email protected] ("[PATCH v2 0/3] target/arm: Enforce implemented granule size limits") but only to avoid textual conflicts.
Reviewed-by: Richard Henderson <[email protected]> r~
