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