Home
last modified time | relevance | path

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

/trusted-firmware-a/services/std_svc/sdei/
A Dsdei_intr_mgmt.c162 const gp_regs_t *tgt_gpregs; in save_event_ctx() local
166 tgt_gpregs = get_gpregs_ctx(tgt_ctx); in save_event_ctx()
174 memcpy(disp_ctx->x, tgt_gpregs, sizeof(disp_ctx->x)); in save_event_ctx()
183 gp_regs_t *tgt_gpregs; in restore_event_ctx() local
187 tgt_gpregs = get_gpregs_ctx(tgt_ctx); in restore_event_ctx()
194 memcpy(tgt_gpregs, disp_ctx->x, sizeof(disp_ctx->x)); in restore_event_ctx()

Completed in 5 milliseconds