On 2/23/24 00:32, Jinjie Ruan via wrote:
+static CPAccessResult aa64_allint_access(CPUARMState *env, + const ARMCPRegInfo *ri, bool isread) +{ + if (arm_current_el(env) == 1 && arm_is_el2_enabled(env) && + (arm_hcrx_el2_eff(env) & HCRX_TALLINT)) {
No need to test arm_is_el2_enabled explicitly, as that is done by arm_hcrx_el2_eff. The bit test with TALLINT will fail if el2 is disabled. r~