Searched defs:el3_ctx (Results 1 – 3 of 3) sorted by relevance
33 el3_state_t *el3_ctx = get_el3state_ctx(ctx); in plat_ea_handler() local
46 el3_state_t *el3_ctx = get_el3state_ctx(ctx); in arm_execution_state_switch() local
167 el3_state_t *el3_ctx = get_el3state_ctx(ns_ctx); in sdei_client_el() local