Reboot when Ctrl+Alt+Del is pressed.

[pintos-anon] / src / threads / init.c

diff --git a/src/threads/init.c b/src/threads/init.c
index 9815a2030749dcece5d2c4e378a5b79120d1d9b7..ac9460307d3d2b3d5596713bedb8c040db65bf0c 100644 (file)
--- 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);
     }
 }