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

/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/
H A Dthread.h72 void thread_release(struct proc_tcb *thread);
H A Dthread.c82 thread_release(struct proc_tcb *thread) function
H A Dprocess.c420 thread_release(thread);
631 thread_release(thread);
/seL4-refos-master/apps/process_server/src/system/process/
H A Dthread.h72 void thread_release(struct proc_tcb *thread);
H A Dthread.c82 thread_release(struct proc_tcb *thread) function
H A Dprocess.c420 thread_release(thread);
631 thread_release(thread);
/seL4-refos-master/projects/refos/impl/apps/process_server/src/test/
H A Dtest_process.c147 thread_release(&thr[i]);
/seL4-refos-master/apps/process_server/src/test/
H A Dtest_process.c147 thread_release(&thr[i]);

Completed in 83 milliseconds