Searched refs:proc_save_caller (Results 1 - 8 of 8) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/
H A Dprocess.h186 int proc_save_caller(struct proc_pcb *p);
197 /*! @brief Reply to the saved cap previous saved by proc_save_caller().
H A Dprocess.c520 proc_save_caller(struct proc_pcb *p) function
/seL4-refos-master/apps/process_server/src/system/process/
H A Dprocess.h186 int proc_save_caller(struct proc_pcb *p);
197 /*! @brief Reply to the saved cap previous saved by proc_save_caller().
H A Dprocess.c520 proc_save_caller(struct proc_pcb *p) function
/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/
H A Dfault_handler.c92 int error = proc_save_caller(f->pcb);
H A Dproc_syscall.c269 proc_save_caller(pcb);
/seL4-refos-master/apps/process_server/src/dispatchers/
H A Dfault_handler.c92 int error = proc_save_caller(f->pcb);
H A Dproc_syscall.c269 proc_save_caller(pcb);

Completed in 36 milliseconds