Symbol: sys___get_tcb
sys/kern/init_sysent.c
753
sys___get_tcb }, /* 330 = __get_tcb */
sys/sys/syscallargs.h
1421
int sys___get_tcb(struct proc *, void *, register_t *);