projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Mark shutdown_reboot() and shutdown_power_off() as NO_RETURN.
[pintos-anon]
/
src
/
devices
/
shutdown.c
diff --git
a/src/devices/shutdown.c
b/src/devices/shutdown.c
index fbc662b01c095edc25741ea265e5a01fe52e0c78..4c978f970216169d69b34d061ae7c1c3d746f857 100644
(file)
--- a/
src/devices/shutdown.c
+++ b/
src/devices/shutdown.c
@@
-23,19
+23,17
@@
static void print_stats (void);
void
shutdown_reboot (void)
{
void
shutdown_reboot (void)
{
- int i;
-
printf ("Rebooting...\n");
/* See [kbd] for details on how to program the keyboard
* controller. */
printf ("Rebooting...\n");
/* See [kbd] for details on how to program the keyboard
* controller. */
- for (
i = 0; i < 100; i++
)
+ for (
;;
)
{
{
- int
j
;
+ int
i
;
/* Poll keyboard controller's status byte until
* 'input buffer empty' is reported. */
/* Poll keyboard controller's status byte until
* 'input buffer empty' is reported. */
- for (
j = 0; j < 0x10000; j
++)
+ for (
i = 0; i < 0x10000; i
++)
{
if ((inb (CONTROL_REG) & 0x02) == 0)
break;
{
if ((inb (CONTROL_REG) & 0x02) == 0)
break;