w32_resume_thread  613 thread_win32.c     w32_resume_thread(th->thread_id);
w32_resume_thread  721 thread_win32.c 	w32_resume_thread(timer_thread.id);