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