MCS locks are smaller and don't rely on vcore_id()
[akaros.git] / user / pthread /
drwxr-xr-x   ..
-rw-r--r-- 988 Makefile
-rw-r--r-- 13691 pthread.c
-rw-r--r-- 4778 pthread.h