thr               167 gc/win32_threads.c static void GC_delete_gc_thread(GC_thread thr)
thr               169 gc/win32_threads.c     CloseHandle(thr->handle);
thr               171 gc/win32_threads.c     thr->stack_base = 0;
thr               172 gc/win32_threads.c     thr->id = 0;
thr               174 gc/win32_threads.c       thr->pthread_id = 0;
thr               176 gc/win32_threads.c     thr->in_use = FALSE;