Searched refs:saved_spsr_el3 (Results 1 – 2 of 2) sorted by relevance
181 uint32_t saved_spsr_el3; member
126 tsp_ctx->saved_spsr_el3 = SMC_GET_EL3(&tsp_ctx->cpu_ctx, in tspd_sel1_interrupt_handler()327 tsp_ctx->saved_spsr_el3); in tspd_smc_handler()