w32_set_event 191 thread_win32.c w32_set_event(intr); w32_set_event 685 thread_win32.c w32_set_event(th->native_thread_data.interrupt_event);