#include "pthread_impl.h" #include <threads.h> void * __pthread_getspecific_impl(pthread_key_t k) { return (__pthread_self())->tsd[k]; }