diff -r 4a8b50dcc4c0 -r e7a45c77d6ec drivers/timers_win32/timers_win32.c
--- a/drivers/timers_win32/timers_win32.c	Mon Jan 23 21:40:59 2012 +0100
+++ b/drivers/timers_win32/timers_win32.c	Sat Feb 04 01:33:16 2012 +0100
@@ -45,7 +45,7 @@
 HANDLE timer_thread = NULL;
 HANDLE timer = NULL;
 
-int stop_timer=0;
+volatile int stop_timer=0;
 
 static TimerCallback_t init_callback;