Searched refs:tgt_ctx (Results 1 – 1 of 1) sorted by relevance
157 void *tgt_ctx) in save_event_ctx() argument163 assert(tgt_ctx != NULL); in save_event_ctx()164 tgt_gpregs = get_gpregs_ctx(tgt_ctx); in save_event_ctx()165 tgt_el3 = get_el3state_ctx(tgt_ctx); in save_event_ctx()179 static void restore_event_ctx(const sdei_dispatch_context_t *disp_ctx, void *tgt_ctx) in restore_event_ctx() argument184 assert(tgt_ctx != NULL); in restore_event_ctx()185 tgt_gpregs = get_gpregs_ctx(tgt_ctx); in restore_event_ctx()186 tgt_el3 = get_el3state_ctx(tgt_ctx); in restore_event_ctx()198 tgt_cve_2018_3639 = get_cve_2018_3639_ctx(tgt_ctx); in restore_event_ctx()
Completed in 3 milliseconds