xen/arm: drop unreachable EL0 check when emulating ACTLR

do_sysreg() and do_cp15_32() inject an undefined exception when the
trapped access to ACTLR_EL1 (resp. ACTLR) originates from EL0. That
branch cannot be taken. ACTLR_EL1 can be accessed by EL1 and above, and no
enable makes them accessible at EL0. The only trap covering them,
HCR_EL2.TACR (HCR.TAC on AArch32), applies to accesses from EL1 only.

Refer Arm ARM (DDI 0487M.b) D1.4.5.6 "Prioritization of Synchronous
exceptions": "attempting to execute an instruction that is defined to
never be accessible at the current Exception level and Security state,
regardless of any enables or traps" is priority 18, whereas an exception
taken to EL2 as the result of a configuration control in HCR_EL2 is
priority 24. The former wins, so an access from EL0 is UNDEFINED and the
TACR trap is not taken.

An EL0 access therefore never reaches EL2: it is taken to EL1, as Xen
never sets HCR_EL2.TGE for guests, and it is reported with EC=0x00
(Unknown reason) rather than EC=0x18/0x03.

Signed-off-by: Michal Orzel <michal.orzel@amd.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
This commit is contained in:
Michal Orzel committed 2026-08-17 08:29:57 +02:00
1 parent 0a249bcb02
commit ddd5011e62
2 files changed
-4

No files matched your search

-2
View File
@@ -94,8 +94,6 @@ void do_sysreg(struct cpu_user_regs *regs,
* ARMv8 (DDI 0487A.d): D7.2.1
*/
case HSR_SYSREG_ACTLR_EL1:
if ( regs_mode_is_user(regs) )
return inject_undef_exception(regs);
if ( hsr.sysreg.read )
set_user_reg(regs, regidx, v->arch.actlr);
break;
-2
View File
@@ -216,8 +216,6 @@ void do_cp15_32(struct cpu_user_regs *regs, const union hsr hsr)
* ARMv8 (DDI 0487A.d): G6.2.1
*/
case HSR_CPREG32(ACTLR):
if ( regs_mode_is_user(regs) )
return inject_undef_exception(regs);
if ( cp32.read )
set_user_reg(regs, regidx, v->arch.actlr);
break;
Reference in new issue
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.