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

/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/
H A Dprocess.h179 struct proc_tcb *proc_get_thread(struct proc_pcb *p, int tindex);
H A Dprocess.c149 struct proc_tcb *t0 = proc_get_thread(p, 0);
507 proc_get_thread(struct proc_pcb *p, int tindex) function
563 struct proc_tcb * t = proc_get_thread(p, 0);
/seL4-refos-master/apps/process_server/src/system/process/
H A Dprocess.h179 struct proc_tcb *proc_get_thread(struct proc_pcb *p, int tindex);
H A Dprocess.c149 struct proc_tcb *t0 = proc_get_thread(p, 0);
507 proc_get_thread(struct proc_pcb *p, int tindex) function
563 struct proc_tcb * t = proc_get_thread(p, 0);

Completed in 29 milliseconds