-
-void *
-get_bsduthreadarg(thread_t th)
-{
- void *arg_ptr;
-struct uthread *ut;
-
- ut = get_bsdthread_info(th);
-
- if (ml_thread_is64bit(th) == TRUE)
- arg_ptr = (void *)saved_state64(find_user_regs(th));
- else
- arg_ptr = (void *)(ut->uu_arg);
-
- return(arg_ptr);
-}
-
-int *
-get_bsduthreadrval(thread_t th)
-{
-struct uthread *ut;
-
- ut = get_bsdthread_info(th);
- return(&ut->uu_rval[0]);
-}