blob: 35db1032dc4aad2e7a477ff6daabd1c3c44db811 [file] [log] [blame]
#include <threads.h>
int __pthread_key_delete(tss_t k);
void tss_delete(tss_t key)
{
__pthread_key_delete(key);
}