GC_delete_thread  582 gc/pthread_support.c void GC_delete_thread(pthread_t id)
GC_delete_thread  598 gc/solaris_threads.c void GC_delete_thread(thread_t id)
GC_delete_thread  179 gc/win32_threads.c static void GC_delete_thread(DWORD thread_id) {