w32_resume_thread  486 thread_win32.c     w32_resume_thread(th->thread_id);
w32_resume_thread  558 thread_win32.c 	w32_resume_thread(timer_thread_id);