Searched refs:proc_release (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/
H A Dprocess.h128 void proc_release(struct proc_pcb *p);
132 This is done to avoid leaving IPC state inconsistent. See proc_release() documentation for
205 See the documentation under proc_release() for details.
H A Dprocess.c369 proc_release(struct proc_pcb *p) function
697 proc_release(pcb);
/seL4-refos-master/apps/process_server/src/system/process/
H A Dprocess.h128 void proc_release(struct proc_pcb *p);
132 This is done to avoid leaving IPC state inconsistent. See proc_release() documentation for
205 See the documentation under proc_release() for details.
H A Dprocess.c369 proc_release(struct proc_pcb *p) function
697 proc_release(pcb);

Completed in 30 milliseconds