Symbol: sys___set_tcb
sys/kern/init_sysent.c
751
sys___set_tcb }, /* 329 = __set_tcb */
sys/sys/syscallargs.h
1425
int sys___set_tcb(struct proc *, void *, register_t *);