Rev 58 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
void thread_exit()
{
thread_terminate(-1);
}
int* __errno()
return ¤t_thread->err_no;