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