which is the function pointer type void (*)(void*), used for a destructor for a thread-specific storage pointer
void (*)(void*)
Definition at line 96 of file p99_tss.h.