Home
last modified time | relevance | path

Searched refs:tgt_ctx (Results 1 – 1 of 1) sorted by relevance

/trusted-firmware-a/services/std_svc/sdei/
A Dsdei_intr_mgmt.c159 void *tgt_ctx) in save_event_ctx() argument
165 assert(tgt_ctx != NULL); in save_event_ctx()
166 tgt_gpregs = get_gpregs_ctx(tgt_ctx); in save_event_ctx()
167 tgt_el3 = get_el3state_ctx(tgt_ctx); in save_event_ctx()
181 static void restore_event_ctx(const sdei_dispatch_context_t *disp_ctx, void *tgt_ctx) in restore_event_ctx() argument
186 assert(tgt_ctx != NULL); in restore_event_ctx()
187 tgt_gpregs = get_gpregs_ctx(tgt_ctx); in restore_event_ctx()
188 tgt_el3 = get_el3state_ctx(tgt_ctx); in restore_event_ctx()
200 tgt_cve_2018_3639 = get_cve_2018_3639_ctx(tgt_ctx); in restore_event_ctx()

Completed in 3 milliseconds