--- a/drivers/timers_win32/timers_win32.cpp	Tue May 06 09:11:41 2008 +0200
+++ b/drivers/timers_win32/timers_win32.cpp	Tue May 06 15:31:33 2008 +0200
@@ -216,6 +216,11 @@
 
 static class_timers s_timers;
 
+void TimerCleanup(void)
+{
+	/* only used in realtime apps */
+}
+
 void StartTimerLoop(TimerCallback_t init_callback)
    {
    s_timers.start_timer_thread();
@@ -225,7 +230,7 @@
    s_timers.resume_timer_thread();
    }
 
-void StopTimerLoop(void)
+void StopTimerLoop(TimerCallback_t init_callback)
    {
    s_timers.stop_timer_thread();
    }