projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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;
{
if ((inb (0x64) & 0x02) == 0)
break;
- timer_u
sleep
(2);
+ timer_u
delay
(2);
}
}
- timer_u
sleep
(50);
+ timer_u
delay
(50);
/* Pulse bit 0 of the output port P2 of the keyboard controller.
* This will reset the CPU. */
outb (0x64, 0xfe);
/* Pulse bit 0 of the output port P2 of the keyboard controller.
* This will reset the CPU. */
outb (0x64, 0xfe);
- timer_u
sleep
(50);
+ timer_u
delay
(50);
}
}
}
}