diff --git a/firmware/thread.c b/firmware/thread.c
index 49fd4c3926..6a583a470a 100644
--- a/firmware/thread.c
+++ b/firmware/thread.c
@@ -281,6 +281,9 @@ void check_sleepers(void)
 static inline void sleep_core(void)
 {
     static long last_tick = 0;
+#if CONFIG_CPU == S3C2440
+    int i;
+#endif
     
     for (;;)
     {