sys___set_tcb
sys___set_tcb }, /* 329 = __set_tcb */
int sys___set_tcb(struct proc *, void *, register_t *);