it works now, but we don't know why... *sigh* :(
[ppcskel.git] / usb / core / core.h
index 50d8d2a0194838afe448b4860ca6f2c5114e770a..d48dea700eef83551b88c339b3447195103b8b88 100644 (file)
@@ -42,8 +42,7 @@
 #include "../../bootmii_ppc.h"
 inline static void wait_ms(int ms)
 {
-       int i=0;
-       for(;i<ms;i++)
+       while(ms--)
                udelay(1000);
 }