uthread_exit() replaced with uthread_destroy()
[akaros.git] / user / pthread /
drwxr-xr-x   ..
-rw-r--r-- 990 Makefile
-rw-r--r-- 19068 pthread.c
-rw-r--r-- 5128 pthread.h