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);