sys___threxit
sys___threxit }, /* 302 = __threxit */
int sys___threxit(struct proc *, void *, register_t *);