Searched refs:disp_resume_context (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/lib/barrelfish/arch/aarch64/
H A Ddispatch.c59 disp_resume_context(struct dispatcher_shared_generic *disp, uint64_t *regs) function
155 disp_resume_context(&disp->d, archregs->regs);
184 disp_resume_context(&disp->d, to_state->regs);
264 disp->crit_pc_low = (lvaddr_t)disp_resume_context;
/barrelfish-master/lib/barrelfish/arch/arm/
H A Ddispatch.c57 disp_resume_context(struct dispatcher_shared_generic *disp, uint32_t *regs) function
137 disp_resume_context(&disp->d, archregs->regs);
166 disp_resume_context(&disp->d, to_state->regs);
246 disp->crit_pc_low = (lvaddr_t)disp_resume_context;

Completed in 66 milliseconds