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