Searched refs:saved_elr_el3 (Results 1 – 2 of 2) sorted by relevance
182 uint64_t saved_elr_el3; member
195 tsp_ctx->saved_elr_el3 = SMC_GET_EL3(&tsp_ctx->cpu_ctx, in tspd_sel1_interrupt_handler()396 tsp_ctx->saved_elr_el3); in tspd_smc_handler()