388 ptrace_restart(int op, struct tcb *tcp, int sig)  in ptrace_restart()
607 printleader(struct tcb *tcp)  in printleader()
681 newoutf(struct tcb *tcp)  in newoutf()
713 	struct tcb *tcp;  in alloctcb()  local
743 droptcb(struct tcb *tcp)  in droptcb()
785 detach(struct tcb *tcp)  in detach()
977 	struct tcb *tcp;  in startup_attach()  local
1187 	struct tcb *tcp;  in startup_child()  local
1450 	struct tcb *tcp;  in init()  local
1795 		struct tcb *tcp = tcbtab[i];  in pid2tcb()  local
1807 	struct tcb *tcp;  in cleanup()  local
1902 		struct tcb *tcp = alloctcb(pid);  in maybe_allocate_tcb()  local
1919 maybe_switch_tcbs(struct tcb *tcp, const int pid)  in maybe_switch_tcbs()
1968 print_signalled(struct tcb *tcp, const int pid, int status)  in print_signalled()
1992 print_exited(struct tcb *tcp, const int pid, int status)  in print_exited()
2008 print_stopped(struct tcb *tcp, const siginfo_t *si, const unsigned int sig)  in print_stopped()
2026 startup_tcb(struct tcb *tcp)  in startup_tcb()
2056 	struct tcb *tcp;  in trace()  local