w32_close_handle  331 thread_win32.c     w32_close_handle(lock);
w32_close_handle  403 thread_win32.c     w32_close_handle(entry.event);
w32_close_handle  452 thread_win32.c     w32_close_handle(intr);
w32_close_handle  470 thread_win32.c     w32_close_handle(thread_id);