drivers/timers_win32/timers_win32.c
changeset 629 b9274b595650
parent 606 15a175f6305d
child 680 9a2474509269
equal deleted inserted replaced
628:9e496a2aadca 629:b9274b595650
    75 		TerminateThread(*Thread, -1);
    75 		TerminateThread(*Thread, -1);
    76 	}
    76 	}
    77 	CloseHandle(*Thread);
    77 	CloseHandle(*Thread);
    78 }
    78 }
    79 
    79 
       
    80 #if !defined(WIN32) || defined(__CYGWIN__)
    80 int TimerThreadLoop(void)
    81 int TimerThreadLoop(void)
       
    82 #else
       
    83 DWORD TimerThreadLoop(LPVOID arg)
       
    84 #endif
    81 {
    85 {
    82 
    86 
    83 
    87 
    84 	while(!stop_timer)
    88 	while(!stop_timer)
    85 	{
    89 	{