Searched refs:tgt_ctx (Results 1 – 1 of 1) sorted by relevance
156 void *tgt_ctx) in save_event_ctx() argument162 assert(tgt_ctx != NULL); in save_event_ctx()163 tgt_gpregs = get_gpregs_ctx(tgt_ctx); in save_event_ctx()164 tgt_el3 = get_el3state_ctx(tgt_ctx); in save_event_ctx()178 static void restore_event_ctx(const sdei_dispatch_context_t *disp_ctx, void *tgt_ctx) in restore_event_ctx() argument183 assert(tgt_ctx != NULL); in restore_event_ctx()184 tgt_gpregs = get_gpregs_ctx(tgt_ctx); in restore_event_ctx()185 tgt_el3 = get_el3state_ctx(tgt_ctx); in restore_event_ctx()197 tgt_cve_2018_3639 = get_cve_2018_3639_ctx(tgt_ctx); in restore_event_ctx()