Searched refs:el3_ctx (Results 1 – 3 of 3) sorted by relevance
33 el3_state_t *el3_ctx = get_el3state_ctx(ctx); in plat_ea_handler() local43 elr_el3 = read_ctx_reg(el3_ctx, CTX_ELR_EL3); in plat_ea_handler()45 write_ctx_reg(el3_ctx, CTX_ELR_EL3, elr_el3); in plat_ea_handler()
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()
