Searched refs:tgt_ctx (Results 1 – 1 of 1) sorted by relevance
171 void *tgt_ctx) in save_event_ctx() argument177 assert(tgt_ctx != NULL); in save_event_ctx()178 tgt_gpregs = get_gpregs_ctx(tgt_ctx); in save_event_ctx()179 tgt_el3 = get_el3state_ctx(tgt_ctx); in save_event_ctx()193 static void restore_event_ctx(const sdei_dispatch_context_t *disp_ctx, void *tgt_ctx) in restore_event_ctx() argument198 assert(tgt_ctx != NULL); in restore_event_ctx()199 tgt_gpregs = get_gpregs_ctx(tgt_ctx); in restore_event_ctx()200 tgt_el3 = get_el3state_ctx(tgt_ctx); in restore_event_ctx()212 tgt_cve_2018_3639 = get_cve_2018_3639_ctx(tgt_ctx); in restore_event_ctx()