w32_set_event     108 thread_win32.c 	    w32_set_event(intr);
w32_set_event     531 thread_win32.c     w32_set_event(th->native_thread_data.interrupt_event);