diff -r 381af6bb6155 -r 24a2aec61731 drivers/timers_win32/timers_win32.c
--- a/drivers/timers_win32/timers_win32.c	Fri Feb 03 22:13:25 2012 +0100
+++ b/drivers/timers_win32/timers_win32.c	Fri Feb 03 22:34:44 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;