e16f70f4
13d1afa4
1
2
3 4 5 6 7
#include <threads.h> #include <pthread.h> void tss_delete(tss_t key) { __pthread_key_delete(key); }