X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fthreads%2Finit.c;h=ac9460307d3d2b3d5596713bedb8c040db65bf0c;hp=9815a2030749dcece5d2c4e378a5b79120d1d9b7;hb=cc5c971c3cc498d528a2f74f4dc2f8e27a690311;hpb=500278652b3d3ec6ba08c150e749b65ca4a5d208

diff --git a/src/threads/init.c b/src/threads/init.c
index 9815a20..ac94603 100644
--- a/src/threads/init.c
+++ b/src/threads/init.c
@@ -396,15 +396,15 @@ reboot (void)
           {
             if ((inb (0x64) & 0x02) == 0)   
               break;
-            timer_usleep (2);
+            timer_udelay (2);
           }
 
-        timer_usleep (50);
+        timer_udelay (50);
 
         /* Pulse bit 0 of the output port P2 of the keyboard controller. 
          * This will reset the CPU. */
         outb (0x64, 0xfe);
-        timer_usleep (50);
+        timer_udelay (50);
     }
 }