diff -r e21822be8189 -r a0b50d6ce746 drivers/timers_win32/timers_win32.c
--- a/drivers/timers_win32/timers_win32.c	Fri Feb 03 15:43:44 2012 +0100
+++ b/drivers/timers_win32/timers_win32.c	Sat Feb 04 00:57:39 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;