Home
last modified time | relevance | path

Searched refs:el3_ctx (Results 1 – 2 of 2) sorted by relevance

/trusted-firmware-a-3.4.0/plat/arm/common/aarch64/
Dexecution_state_switch.c46 el3_state_t *el3_ctx = get_el3state_ctx(ctx); in arm_execution_state_switch() local
61 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()
/trusted-firmware-a-3.4.0/services/std_svc/sdei/
Dsdei_private.h167 el3_state_t *el3_ctx = get_el3state_ctx(ns_ctx); in sdei_client_el() local
169 return ((read_ctx_reg(el3_ctx, CTX_SCR_EL3) & SCR_HCE_BIT) != 0U) ? in sdei_client_el()