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

/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/
H A Dprocess.h99 int proc_start_thread(struct proc_pcb *p, int tindex, void* arg0, void* arg1);
H A Dprocess.c292 proc_start_thread(struct proc_pcb *p, int tindex, void* arg0, void* arg1) function
337 error = proc_start_thread(pcb, 0, NULL, NULL);
620 error = proc_start_thread(p, tID, NULL, NULL);
/seL4-refos-master/apps/process_server/src/system/process/
H A Dprocess.h99 int proc_start_thread(struct proc_pcb *p, int tindex, void* arg0, void* arg1);
H A Dprocess.c292 proc_start_thread(struct proc_pcb *p, int tindex, void* arg0, void* arg1) function
337 error = proc_start_thread(pcb, 0, NULL, NULL);
620 error = proc_start_thread(p, tID, NULL, NULL);

Completed in 29 milliseconds