Home
last modified time | relevance | path

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

/trusted-firmware-a/services/std_svc/sdei/
A Dsdei_intr_mgmt.c127 return disp_ctx; in push_dispatch()
170 assert(disp_ctx != NULL); in save_event_ctx()
171 disp_ctx->map = map; in save_event_ctx()
174 memcpy(disp_ctx->x, tgt_gpregs, sizeof(disp_ctx->x)); in save_event_ctx()
178 return disp_ctx; in save_event_ctx()
194 memcpy(tgt_gpregs, disp_ctx->x, sizeof(disp_ctx->x)); in restore_event_ctx()
520 if (disp_ctx != NULL) in sdei_intr_handler()
621 if (disp_ctx != NULL) { in sdei_dispatch_event()
681 if (disp_ctx == NULL) in sdei_event_complete()
688 map = disp_ctx->map; in sdei_event_complete()
[all …]

Completed in 2 milliseconds