Searched refs:el3_ctx (Results 1 – 2 of 2) sorted by relevance
46 el3_state_t *el3_ctx = get_el3state_ctx(ctx); in arm_execution_state_switch() local61 spsr = read_ctx_reg(el3_ctx, CTX_SPSR_EL3); in arm_execution_state_switch()95 scr = read_ctx_reg(el3_ctx, CTX_SCR_EL3); in arm_execution_state_switch()
167 el3_state_t *el3_ctx = get_el3state_ctx(ns_ctx); in sdei_client_el() local169 return ((read_ctx_reg(el3_ctx, CTX_SCR_EL3) & SCR_HCE_BIT) != 0U) ? in sdei_client_el()