Searched refs:proc_queue_release (Results 1 - 6 of 6) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/
H A Dprocess.h123 to block the client, and use proc_queue_release() instead to release the client once the IPC is
137 void proc_queue_release(struct proc_pcb *p);
H A Dprocess.c432 proc_queue_release(struct proc_pcb *p) function
/seL4-refos-master/apps/process_server/src/system/process/
H A Dprocess.h123 to block the client, and use proc_queue_release() instead to release the client once the IPC is
137 void proc_queue_release(struct proc_pcb *p);
H A Dprocess.c432 proc_queue_release(struct proc_pcb *p) function
/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/
H A Dproc_syscall.c288 proc_queue_release(pcb);
/seL4-refos-master/apps/process_server/src/dispatchers/
H A Dproc_syscall.c288 proc_queue_release(pcb);

Completed in 91 milliseconds