157 struct tcb *printing_tcp = NULL;
158 static struct tcb *current_tcp;
160 static struct tcb **tcbtab;
166 static void detach(struct tcb *tcp);
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()
700 	struct tcb *newtcbs = xcalloc(tcbtabsize, sizeof(newtcbs[0]));  in expand_tcbtab()
701 	struct tcb **newtab = xreallocarray(tcbtab, tcbtabsize * 2,  in expand_tcbtab()
709 static struct tcb *
713 	struct tcb *tcp;  in alloctcb()
743 droptcb(struct tcb *tcp)  in droptcb()
785 detach(struct tcb *tcp)  in detach()
977 	struct tcb *tcp;  in startup_attach()
1029 					struct tcb *cur_tcp;  in startup_attach()
1187 	struct tcb *tcp;  in startup_child()
1450 	struct tcb *tcp;  in init()
1786 static struct tcb *
1795 		struct tcb *tcp = tcbtab[i];  in pid2tcb()
1807 	struct tcb *tcp;  in cleanup()
1884 static struct tcb *
1902 		struct tcb *tcp = alloctcb(pid);  in maybe_allocate_tcb()
1918 static struct tcb *
1919 maybe_switch_tcbs(struct tcb *tcp, const int pid)  in maybe_switch_tcbs()
1922 	struct tcb *execve_thread;  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()